0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.29/0.38 c #variables 23324 #constraints 23718
111.99/112.43 c #Conflicts: 1000 | #Constraints: 24717
111.99/112.43 c #Conflicts: 2000 | #Constraints: 25717
111.99/112.43 c INPROCESSING
111.99/112.43 c GARBAGE COLLECT
111.99/112.43 c #Conflicts: 3000 | #Constraints: 24970
111.99/112.43 c #Conflicts: 4000 | #Constraints: 25970
111.99/112.43 c INPROCESSING
111.99/112.43 c GARBAGE COLLECT
111.99/112.43 c #Conflicts: 5000 | #Constraints: 25497
111.99/112.43 c #Conflicts: 6000 | #Constraints: 26497
111.99/112.43 c INPROCESSING
111.99/112.43 c GARBAGE COLLECT
111.99/112.43 c #Conflicts: 7000 | #Constraints: 25719
111.99/112.43 c #Conflicts: 8000 | #Constraints: 26719
111.99/112.43 c #Conflicts: 9000 | #Constraints: 27719
111.99/112.43 c #Conflicts: 10000 | #Constraints: 28719
111.99/112.43 c #Conflicts: 11000 | #Constraints: 29719
111.99/112.43 c #Conflicts: 12000 | #Constraints: 30719
111.99/112.43 c INPROCESSING
111.99/112.43 c GARBAGE COLLECT
111.99/112.43 c #Conflicts: 13000 | #Constraints: 27736
111.99/112.43 c #Conflicts: 14000 | #Constraints: 28736
111.99/112.43 c #Conflicts: 15000 | #Constraints: 29736
111.99/112.43 c #Conflicts: 16000 | #Constraints: 30736
111.99/112.43 c INPROCESSING
111.99/112.43 c GARBAGE COLLECT
111.99/112.43 c #Conflicts: 17000 | #Constraints: 28598
111.99/112.43 c #Conflicts: 18000 | #Constraints: 29598
111.99/112.43 c #Conflicts: 19000 | #Constraints: 30598
111.99/112.43 c #Conflicts: 20000 | #Constraints: 31598
111.99/112.43 c #Conflicts: 21000 | #Constraints: 32598
111.99/112.43 c #Conflicts: 22000 | #Constraints: 33598
111.99/112.43 c #Conflicts: 23000 | #Constraints: 34598
111.99/112.43 c #Conflicts: 24000 | #Constraints: 35598
111.99/112.43 c #Conflicts: 25000 | #Constraints: 36598
111.99/112.43 c INPROCESSING
111.99/112.43 c GARBAGE COLLECT
111.99/112.43 c #Conflicts: 26000 | #Constraints: 30758
111.99/112.43 c #Conflicts: 27000 | #Constraints: 31758
111.99/112.43 c #Conflicts: 28000 | #Constraints: 32758
111.99/112.43 c #Conflicts: 29000 | #Constraints: 33758
111.99/112.43 c #Conflicts: 30000 | #Constraints: 34758
111.99/112.43 c INPROCESSING
111.99/112.43 c GARBAGE COLLECT
111.99/112.43 c #Conflicts: 31000 | #Constraints: 31469
111.99/112.43 c #Conflicts: 32000 | #Constraints: 32469
111.99/112.43 c #Conflicts: 33000 | #Constraints: 33469
111.99/112.43 c #Conflicts: 34000 | #Constraints: 34469
111.99/112.43 c #Conflicts: 35000 | #Constraints: 35469
111.99/112.43 c #Conflicts: 36000 | #Constraints: 36469
111.99/112.43 c #Conflicts: 37000 | #Constraints: 37469
111.99/112.43 c #Conflicts: 38000 | #Constraints: 38469
111.99/112.43 c #Conflicts: 39000 | #Constraints: 39469
111.99/112.43 c #Conflicts: 40000 | #Constraints: 40469
111.99/112.43 c #Conflicts: 41000 | #Constraints: 41469
111.99/112.43 c #Conflicts: 42000 | #Constraints: 42469
111.99/112.43 c #Conflicts: 43000 | #Constraints: 43469
111.99/112.43 c INPROCESSING
111.99/112.43 c GARBAGE COLLECT
111.99/112.43 c #Conflicts: 44000 | #Constraints: 34658
111.99/112.43 c #Conflicts: 45000 | #Constraints: 35658
111.99/112.43 c #Conflicts: 46000 | #Constraints: 36658
111.99/112.43 c #Conflicts: 47000 | #Constraints: 37658
111.99/112.43 c #Conflicts: 48000 | #Constraints: 38658
111.99/112.43 c #Conflicts: 49000 | #Constraints: 39658
111.99/112.43 c #Conflicts: 50000 | #Constraints: 40658
111.99/112.43 c #Conflicts: 51000 | #Constraints: 41658
111.99/112.43 c #Conflicts: 52000 | #Constraints: 42658
111.99/112.43 c #Conflicts: 53000 | #Constraints: 43658
111.99/112.43 c #Conflicts: 54000 | #Constraints: 44658
111.99/112.43 c #Conflicts: 55000 | #Constraints: 45658
111.99/112.43 c #Conflicts: 56000 | #Constraints: 46658
111.99/112.43 c #Conflicts: 57000 | #Constraints: 47658
111.99/112.43 c INPROCESSING
111.99/112.43 c GARBAGE COLLECT
111.99/112.43 c #Conflicts: 58000 | #Constraints: 36755
111.99/112.43 c #Conflicts: 59000 | #Constraints: 37755
111.99/112.43 c #Conflicts: 60000 | #Constraints: 38755
111.99/112.43 c #Conflicts: 61000 | #Constraints: 39755
111.99/112.43 c #Conflicts: 62000 | #Constraints: 40755
111.99/112.43 c #Conflicts: 63000 | #Constraints: 41755
111.99/112.43 c #Conflicts: 64000 | #Constraints: 42755
111.99/112.43 c #Conflicts: 65000 | #Constraints: 43755
111.99/112.43 c #Conflicts: 66000 | #Constraints: 44755
111.99/112.43 c #Conflicts: 67000 | #Constraints: 45755
111.99/112.43 c #Conflicts: 68000 | #Constraints: 46755
111.99/112.43 c #Conflicts: 69000 | #Constraints: 47755
111.99/112.43 c #Conflicts: 70000 | #Constraints: 48755
111.99/112.43 c #Conflicts: 71000 | #Constraints: 49755
111.99/112.43 c #Conflicts: 72000 | #Constraints: 50755
111.99/112.43 c #Conflicts: 73000 | #Constraints: 51755
111.99/112.43 c #Conflicts: 74000 | #Constraints: 52755
236.11/237.00 c INPROCESSING
236.11/237.00 c GARBAGE COLLECT
236.11/237.00 c #Conflicts: 75000 | #Constraints: 39693
236.11/237.00 c #Conflicts: 76000 | #Constraints: 40693
236.11/237.00 c #Conflicts: 77000 | #Constraints: 41693
236.11/237.00 c #Conflicts: 78000 | #Constraints: 42693
236.11/237.00 c #Conflicts: 79000 | #Constraints: 43693
236.11/237.00 c #Conflicts: 80000 | #Constraints: 44693
236.11/237.00 c #Conflicts: 81000 | #Constraints: 45693
236.11/237.00 c #Conflicts: 82000 | #Constraints: 46693
236.11/237.00 c #Conflicts: 83000 | #Constraints: 47693
236.11/237.00 c #Conflicts: 84000 | #Constraints: 48693
236.11/237.00 c #Conflicts: 85000 | #Constraints: 49693
236.11/237.00 c #Conflicts: 86000 | #Constraints: 50693
236.11/237.00 c #Conflicts: 87000 | #Constraints: 51693
236.11/237.00 c #Conflicts: 88000 | #Constraints: 52693
236.11/237.00 c #Conflicts: 89000 | #Constraints: 53693
236.11/237.00 c #Conflicts: 90000 | #Constraints: 54693
236.11/237.00 c #Conflicts: 91000 | #Constraints: 55693
236.11/237.00 c #Conflicts: 92000 | #Constraints: 56693
236.11/237.00 c INPROCESSING
236.11/237.01 c GARBAGE COLLECT
236.11/237.01 c #Conflicts: 93000 | #Constraints: 41594
236.11/237.01 c #Conflicts: 94000 | #Constraints: 42594
236.11/237.01 c #Conflicts: 95000 | #Constraints: 43594
236.11/237.01 c #Conflicts: 96000 | #Constraints: 44594
236.11/237.01 c #Conflicts: 97000 | #Constraints: 45594
236.11/237.01 c #Conflicts: 98000 | #Constraints: 46594
236.11/237.01 c #Conflicts: 99000 | #Constraints: 47594
236.11/237.01 c #Conflicts: 100000 | #Constraints: 48594
236.11/237.01 c #Conflicts: 101000 | #Constraints: 49595
236.11/237.01 c #Conflicts: 102000 | #Constraints: 50595
236.11/237.01 c #Conflicts: 103000 | #Constraints: 51595
236.11/237.01 c #Conflicts: 104000 | #Constraints: 52595
236.11/237.01 c #Conflicts: 105000 | #Constraints: 53595
236.11/237.01 c #Conflicts: 106000 | #Constraints: 54595
236.11/237.01 c #Conflicts: 107000 | #Constraints: 55595
236.11/237.01 c #Conflicts: 108000 | #Constraints: 56595
236.11/237.01 c #Conflicts: 109000 | #Constraints: 57595
236.11/237.01 c #Conflicts: 110000 | #Constraints: 58595
236.11/237.01 c #Conflicts: 111000 | #Constraints: 59595
236.11/237.01 c #Conflicts: 112000 | #Constraints: 60595
236.11/237.01 c INPROCESSING
236.11/237.01 c GARBAGE COLLECT
236.11/237.01 c #Conflicts: 113000 | #Constraints: 43350
236.11/237.01 c #Conflicts: 114000 | #Constraints: 44350
236.11/237.01 c #Conflicts: 115000 | #Constraints: 45350
236.11/237.01 c #Conflicts: 116000 | #Constraints: 46350
236.11/237.01 c #Conflicts: 117000 | #Constraints: 47350
236.11/237.01 c #Conflicts: 118000 | #Constraints: 48350
236.11/237.01 c #Conflicts: 119000 | #Constraints: 49350
236.11/237.01 c #Conflicts: 120000 | #Constraints: 50350
236.11/237.01 c #Conflicts: 121000 | #Constraints: 51350
236.11/237.01 c #Conflicts: 122000 | #Constraints: 52350
236.11/237.01 c #Conflicts: 123000 | #Constraints: 53350
236.11/237.01 c #Conflicts: 124000 | #Constraints: 54350
236.11/237.01 c #Conflicts: 125000 | #Constraints: 55350
236.11/237.01 c #Conflicts: 126000 | #Constraints: 56350
236.11/237.01 c #Conflicts: 127000 | #Constraints: 57350
236.11/237.01 c #Conflicts: 128000 | #Constraints: 58350
236.11/237.01 c #Conflicts: 129000 | #Constraints: 59350
236.11/237.01 c #Conflicts: 130000 | #Constraints: 60350
236.11/237.01 c #Conflicts: 131000 | #Constraints: 61350
236.11/237.01 c #Conflicts: 132000 | #Constraints: 62350
236.11/237.01 c #Conflicts: 133000 | #Constraints: 63350
236.11/237.01 c #Conflicts: 134000 | #Constraints: 64350
236.11/237.01 c #Conflicts: 135000 | #Constraints: 65350
236.11/237.01 c INPROCESSING
236.11/237.01 c GARBAGE COLLECT
236.11/237.01 c #Conflicts: 136000 | #Constraints: 46148
236.11/237.01 c #Conflicts: 137000 | #Constraints: 47148
236.11/237.01 c #Conflicts: 138000 | #Constraints: 48148
236.11/237.01 c #Conflicts: 139000 | #Constraints: 49148
236.11/237.01 c #Conflicts: 140000 | #Constraints: 50148
236.11/237.01 c #Conflicts: 141000 | #Constraints: 51148
236.11/237.01 c #Conflicts: 142000 | #Constraints: 52148
236.11/237.01 c #Conflicts: 143000 | #Constraints: 53148
236.11/237.01 c #Conflicts: 144000 | #Constraints: 54148
236.11/237.01 c #Conflicts: 145000 | #Constraints: 55148
236.11/237.01 c #Conflicts: 146000 | #Constraints: 56148
236.11/237.01 c #Conflicts: 147000 | #Constraints: 57148
236.11/237.01 c #Conflicts: 148000 | #Constraints: 58148
236.11/237.01 c #Conflicts: 149000 | #Constraints: 59148
236.11/237.01 c #Conflicts: 150000 | #Constraints: 60148
410.54/411.80 c #Conflicts: 151000 | #Constraints: 61148
410.54/411.80 c #Conflicts: 152000 | #Constraints: 62148
410.54/411.80 c #Conflicts: 153000 | #Constraints: 63148
410.54/411.80 c #Conflicts: 154000 | #Constraints: 64148
410.54/411.80 c #Conflicts: 155000 | #Constraints: 65148
410.54/411.80 c #Conflicts: 156000 | #Constraints: 66148
410.54/411.80 c #Conflicts: 157000 | #Constraints: 67148
410.54/411.80 c #Conflicts: 158000 | #Constraints: 68148
410.54/411.80 c #Conflicts: 159000 | #Constraints: 69148
410.54/411.80 c INPROCESSING
410.54/411.80 c GARBAGE COLLECT
410.54/411.80 c #Conflicts: 160000 | #Constraints: 47924
410.54/411.80 c #Conflicts: 161000 | #Constraints: 48924
410.54/411.80 c #Conflicts: 162000 | #Constraints: 49924
410.54/411.80 c #Conflicts: 163000 | #Constraints: 50924
410.54/411.80 c #Conflicts: 164000 | #Constraints: 51924
410.54/411.80 c #Conflicts: 165000 | #Constraints: 52924
410.54/411.80 c #Conflicts: 166000 | #Constraints: 53924
410.54/411.80 c #Conflicts: 167000 | #Constraints: 54924
410.54/411.80 c #Conflicts: 168000 | #Constraints: 55924
410.54/411.80 c #Conflicts: 169000 | #Constraints: 56924
410.54/411.80 c #Conflicts: 170000 | #Constraints: 57924
410.54/411.80 c #Conflicts: 171000 | #Constraints: 58924
410.54/411.80 c #Conflicts: 172000 | #Constraints: 59924
410.54/411.80 c #Conflicts: 173000 | #Constraints: 60924
410.54/411.80 c #Conflicts: 174000 | #Constraints: 61924
410.54/411.80 c #Conflicts: 175000 | #Constraints: 62924
410.54/411.80 c #Conflicts: 176000 | #Constraints: 63924
410.54/411.80 c #Conflicts: 177000 | #Constraints: 64924
410.54/411.80 c #Conflicts: 178000 | #Constraints: 65924
410.54/411.80 c #Conflicts: 179000 | #Constraints: 66924
410.54/411.80 c #Conflicts: 180000 | #Constraints: 67924
410.54/411.80 c #Conflicts: 181000 | #Constraints: 68924
410.54/411.80 c #Conflicts: 182000 | #Constraints: 69924
410.54/411.80 c #Conflicts: 183000 | #Constraints: 70924
410.54/411.80 c #Conflicts: 184000 | #Constraints: 71924
410.54/411.80 c #Conflicts: 185000 | #Constraints: 72924
410.54/411.80 c #Conflicts: 186000 | #Constraints: 73924
410.54/411.80 c INPROCESSING
410.54/411.80 c GARBAGE COLLECT
410.54/411.80 c #Conflicts: 187000 | #Constraints: 50637
410.54/411.80 c #Conflicts: 188000 | #Constraints: 51637
410.54/411.80 c #Conflicts: 189000 | #Constraints: 52637
410.54/411.80 c #Conflicts: 190000 | #Constraints: 53637
410.54/411.80 c #Conflicts: 191000 | #Constraints: 54637
410.54/411.80 c #Conflicts: 192000 | #Constraints: 55637
410.54/411.80 c #Conflicts: 193000 | #Constraints: 56637
410.54/411.80 c #Conflicts: 194000 | #Constraints: 57637
410.54/411.80 c #Conflicts: 195000 | #Constraints: 58637
410.54/411.80 c #Conflicts: 196000 | #Constraints: 59637
410.54/411.80 c #Conflicts: 197000 | #Constraints: 60637
410.54/411.80 c #Conflicts: 198000 | #Constraints: 61637
410.54/411.80 c #Conflicts: 199000 | #Constraints: 62637
410.54/411.80 c #Conflicts: 200000 | #Constraints: 63637
410.54/411.80 c #Conflicts: 201000 | #Constraints: 64637
410.54/411.80 c #Conflicts: 202000 | #Constraints: 65637
410.54/411.80 c #Conflicts: 203000 | #Constraints: 66637
410.54/411.80 c #Conflicts: 204000 | #Constraints: 67637
410.54/411.80 c #Conflicts: 205000 | #Constraints: 68637
410.54/411.80 c #Conflicts: 206000 | #Constraints: 69637
410.54/411.80 c #Conflicts: 207000 | #Constraints: 70637
410.54/411.80 c #Conflicts: 208000 | #Constraints: 71637
410.54/411.80 c #Conflicts: 209000 | #Constraints: 72637
410.54/411.80 c #Conflicts: 210000 | #Constraints: 73637
410.54/411.80 c #Conflicts: 211000 | #Constraints: 74637
410.54/411.80 c #Conflicts: 212000 | #Constraints: 75637
410.54/411.80 c #Conflicts: 213000 | #Constraints: 76637
410.54/411.80 c #Conflicts: 214000 | #Constraints: 77637
410.54/411.80 c INPROCESSING
410.54/411.80 c GARBAGE COLLECT
410.54/411.80 c #Conflicts: 215000 | #Constraints: 52367
410.54/411.80 c #Conflicts: 216000 | #Constraints: 53367
410.54/411.80 c #Conflicts: 217000 | #Constraints: 54367
410.54/411.80 c #Conflicts: 218000 | #Constraints: 55367
410.54/411.80 c #Conflicts: 219000 | #Constraints: 56367
410.54/411.80 c #Conflicts: 220000 | #Constraints: 57367
410.54/411.80 c #Conflicts: 221000 | #Constraints: 58367
410.54/411.80 c #Conflicts: 222000 | #Constraints: 59367
410.54/411.80 c #Conflicts: 223000 | #Constraints: 60367
410.54/411.80 c #Conflicts: 224000 | #Constraints: 61367
410.54/411.80 c #Conflicts: 225000 | #Constraints: 62367
410.54/411.80 c #Conflicts: 226000 | #Constraints: 63367
410.54/411.80 c #Conflicts: 227000 | #Constraints: 64367
569.90/571.62 c #Conflicts: 228000 | #Constraints: 65367
569.90/571.62 c #Conflicts: 229000 | #Constraints: 66367
569.90/571.62 c #Conflicts: 230000 | #Constraints: 67367
569.90/571.62 c #Conflicts: 231000 | #Constraints: 68367
569.90/571.62 c #Conflicts: 232000 | #Constraints: 69367
569.90/571.62 c #Conflicts: 233000 | #Constraints: 70367
569.90/571.62 c #Conflicts: 234000 | #Constraints: 71367
569.90/571.62 c #Conflicts: 235000 | #Constraints: 72367
569.90/571.62 c #Conflicts: 236000 | #Constraints: 73367
569.90/571.62 c #Conflicts: 237000 | #Constraints: 74367
569.90/571.62 c #Conflicts: 238000 | #Constraints: 75368
569.90/571.62 c #Conflicts: 239000 | #Constraints: 76368
569.90/571.62 c #Conflicts: 240000 | #Constraints: 77368
569.90/571.62 c #Conflicts: 241000 | #Constraints: 78368
569.90/571.62 c #Conflicts: 242000 | #Constraints: 79368
569.90/571.62 c #Conflicts: 243000 | #Constraints: 80368
569.90/571.62 c #Conflicts: 244000 | #Constraints: 81368
569.90/571.62 c INPROCESSING
569.90/571.62 c GARBAGE COLLECT
569.90/571.62 c #Conflicts: 245000 | #Constraints: 53861
569.90/571.62 c #Conflicts: 246000 | #Constraints: 54861
569.90/571.62 c #Conflicts: 247000 | #Constraints: 55861
569.90/571.62 c #Conflicts: 248000 | #Constraints: 56861
569.90/571.62 c #Conflicts: 249000 | #Constraints: 57861
569.90/571.62 c #Conflicts: 250000 | #Constraints: 58861
569.90/571.62 c #Conflicts: 251000 | #Constraints: 59861
569.90/571.62 c #Conflicts: 252000 | #Constraints: 60861
569.90/571.62 c #Conflicts: 253000 | #Constraints: 61861
569.90/571.62 c #Conflicts: 254000 | #Constraints: 62861
569.90/571.62 c #Conflicts: 255000 | #Constraints: 63861
569.90/571.62 c #Conflicts: 256000 | #Constraints: 64861
569.90/571.62 c #Conflicts: 257000 | #Constraints: 65861
569.90/571.62 c #Conflicts: 258000 | #Constraints: 66861
569.90/571.62 c #Conflicts: 259000 | #Constraints: 67861
569.90/571.62 c #Conflicts: 260000 | #Constraints: 68861
569.90/571.62 c #Conflicts: 261000 | #Constraints: 69861
569.90/571.62 c #Conflicts: 262000 | #Constraints: 70861
569.90/571.62 c #Conflicts: 263000 | #Constraints: 71861
569.90/571.62 c #Conflicts: 264000 | #Constraints: 72861
569.90/571.62 c #Conflicts: 265000 | #Constraints: 73861
569.90/571.62 c #Conflicts: 266000 | #Constraints: 74861
569.90/571.62 c #Conflicts: 267000 | #Constraints: 75861
569.90/571.62 c #Conflicts: 268000 | #Constraints: 76861
569.90/571.62 c #Conflicts: 269000 | #Constraints: 77861
569.90/571.62 c #Conflicts: 270000 | #Constraints: 78861
569.90/571.62 c #Conflicts: 271000 | #Constraints: 79861
569.90/571.62 c #Conflicts: 272000 | #Constraints: 80861
569.90/571.62 c #Conflicts: 273000 | #Constraints: 81861
569.90/571.62 c #Conflicts: 274000 | #Constraints: 82861
569.90/571.62 c #Conflicts: 275000 | #Constraints: 83861
569.90/571.62 c #Conflicts: 276000 | #Constraints: 84861
569.90/571.62 c #Conflicts: 277000 | #Constraints: 85861
569.90/571.62 c INPROCESSING
569.90/571.62 c GARBAGE COLLECT
569.90/571.62 c #Conflicts: 278000 | #Constraints: 56655
569.90/571.62 c #Conflicts: 279000 | #Constraints: 57655
569.90/571.62 c #Conflicts: 280000 | #Constraints: 58655
569.90/571.62 c #Conflicts: 281000 | #Constraints: 59655
569.90/571.62 c #Conflicts: 282000 | #Constraints: 60655
569.90/571.62 c #Conflicts: 283000 | #Constraints: 61655
569.90/571.62 c #Conflicts: 284000 | #Constraints: 62655
569.90/571.62 c #Conflicts: 285000 | #Constraints: 63655
569.90/571.62 c #Conflicts: 286000 | #Constraints: 64655
569.90/571.62 c #Conflicts: 287000 | #Constraints: 65655
569.90/571.62 c #Conflicts: 288000 | #Constraints: 66655
569.90/571.62 c #Conflicts: 289000 | #Constraints: 67655
569.90/571.62 c #Conflicts: 290000 | #Constraints: 68655
569.90/571.62 c #Conflicts: 291000 | #Constraints: 69655
569.90/571.62 c #Conflicts: 292000 | #Constraints: 70655
569.90/571.62 c #Conflicts: 293000 | #Constraints: 71655
569.90/571.62 c #Conflicts: 294000 | #Constraints: 72655
569.90/571.62 c #Conflicts: 295000 | #Constraints: 73655
569.90/571.62 c #Conflicts: 296000 | #Constraints: 74655
569.90/571.62 c #Conflicts: 297000 | #Constraints: 75655
569.90/571.62 c #Conflicts: 298000 | #Constraints: 76655
569.90/571.62 c #Conflicts: 299000 | #Constraints: 77655
569.90/571.62 c #Conflicts: 300000 | #Constraints: 78655
569.90/571.62 c #Conflicts: 301000 | #Constraints: 79655
569.90/571.62 c #Conflicts: 302000 | #Constraints: 80655
569.90/571.62 c #Conflicts: 303000 | #Constraints: 81655
569.90/571.62 c #Conflicts: 304000 | #Constraints: 82655
733.85/736.05 c #Conflicts: 305000 | #Constraints: 83655
733.85/736.05 c #Conflicts: 306000 | #Constraints: 84655
733.85/736.05 c #Conflicts: 307000 | #Constraints: 85655
733.85/736.05 c #Conflicts: 308000 | #Constraints: 86655
733.85/736.05 c #Conflicts: 309000 | #Constraints: 87655
733.85/736.05 c #Conflicts: 310000 | #Constraints: 88655
733.85/736.05 c #Conflicts: 311000 | #Constraints: 89655
733.85/736.05 c INPROCESSING
733.85/736.05 c GARBAGE COLLECT
733.85/736.05 c #Conflicts: 312000 | #Constraints: 58455
733.85/736.05 c #Conflicts: 313000 | #Constraints: 59455
733.85/736.05 c #Conflicts: 314000 | #Constraints: 60455
733.85/736.05 c #Conflicts: 315000 | #Constraints: 61455
733.85/736.05 c #Conflicts: 316000 | #Constraints: 62455
733.85/736.05 c #Conflicts: 317000 | #Constraints: 63455
733.85/736.05 c #Conflicts: 318000 | #Constraints: 64455
733.85/736.05 c #Conflicts: 319000 | #Constraints: 65455
733.85/736.05 c #Conflicts: 320000 | #Constraints: 66455
733.85/736.05 c #Conflicts: 321000 | #Constraints: 67455
733.85/736.05 c #Conflicts: 322000 | #Constraints: 68455
733.85/736.05 c #Conflicts: 323000 | #Constraints: 69455
733.85/736.05 c #Conflicts: 324000 | #Constraints: 70455
733.85/736.05 c #Conflicts: 325000 | #Constraints: 71455
733.85/736.05 c #Conflicts: 326000 | #Constraints: 72455
733.85/736.05 c #Conflicts: 327000 | #Constraints: 73455
733.85/736.05 c #Conflicts: 328000 | #Constraints: 74455
733.85/736.05 c #Conflicts: 329000 | #Constraints: 75455
733.85/736.05 c #Conflicts: 330000 | #Constraints: 76455
733.85/736.05 c #Conflicts: 331000 | #Constraints: 77455
733.85/736.05 c #Conflicts: 332000 | #Constraints: 78455
733.85/736.05 c #Conflicts: 333000 | #Constraints: 79455
733.85/736.05 c #Conflicts: 334000 | #Constraints: 80455
733.85/736.05 c #Conflicts: 335000 | #Constraints: 81455
733.85/736.05 c #Conflicts: 336000 | #Constraints: 82455
733.85/736.05 c #Conflicts: 337000 | #Constraints: 83455
733.85/736.05 c #Conflicts: 338000 | #Constraints: 84455
733.85/736.05 c #Conflicts: 339000 | #Constraints: 85455
733.85/736.05 c #Conflicts: 340000 | #Constraints: 86455
733.85/736.05 c #Conflicts: 341000 | #Constraints: 87455
733.85/736.05 c #Conflicts: 342000 | #Constraints: 88455
733.85/736.05 c #Conflicts: 343000 | #Constraints: 89455
733.85/736.05 c #Conflicts: 344000 | #Constraints: 90455
733.85/736.05 c #Conflicts: 345000 | #Constraints: 91455
733.85/736.05 c #Conflicts: 346000 | #Constraints: 92455
733.85/736.05 c #Conflicts: 347000 | #Constraints: 93455
733.85/736.05 c #Conflicts: 348000 | #Constraints: 94455
733.85/736.05 c INPROCESSING
733.85/736.05 c GARBAGE COLLECT
733.85/736.05 c #Conflicts: 349000 | #Constraints: 61381
733.85/736.05 c #Conflicts: 350000 | #Constraints: 62381
733.85/736.05 c #Conflicts: 351000 | #Constraints: 63381
733.85/736.05 c #Conflicts: 352000 | #Constraints: 64381
733.85/736.05 c #Conflicts: 353000 | #Constraints: 65381
733.85/736.05 c #Conflicts: 354000 | #Constraints: 66381
733.85/736.05 c #Conflicts: 355000 | #Constraints: 67381
733.85/736.05 c #Conflicts: 356000 | #Constraints: 68381
733.85/736.05 c #Conflicts: 357000 | #Constraints: 69381
733.85/736.05 c #Conflicts: 358000 | #Constraints: 70381
733.85/736.05 c #Conflicts: 359000 | #Constraints: 71381
733.85/736.05 c #Conflicts: 360000 | #Constraints: 72381
733.85/736.05 c #Conflicts: 361000 | #Constraints: 73381
733.85/736.05 c #Conflicts: 362000 | #Constraints: 74381
733.85/736.05 c #Conflicts: 363000 | #Constraints: 75381
733.85/736.05 c #Conflicts: 364000 | #Constraints: 76381
733.85/736.05 c #Conflicts: 365000 | #Constraints: 77381
733.85/736.05 c #Conflicts: 366000 | #Constraints: 78381
733.85/736.05 c #Conflicts: 367000 | #Constraints: 79381
733.85/736.05 c #Conflicts: 368000 | #Constraints: 80381
733.85/736.05 c #Conflicts: 369000 | #Constraints: 81381
733.85/736.05 c #Conflicts: 370000 | #Constraints: 82381
733.85/736.05 c #Conflicts: 371000 | #Constraints: 83381
733.85/736.05 c #Conflicts: 372000 | #Constraints: 84381
733.85/736.05 c #Conflicts: 373000 | #Constraints: 85381
733.85/736.05 c #Conflicts: 374000 | #Constraints: 86381
733.85/736.05 c #Conflicts: 375000 | #Constraints: 87381
733.85/736.05 c #Conflicts: 376000 | #Constraints: 88381
733.85/736.05 c #Conflicts: 377000 | #Constraints: 89381
733.85/736.05 c #Conflicts: 378000 | #Constraints: 90381
733.85/736.05 c #Conflicts: 379000 | #Constraints: 91381
733.85/736.05 c #Conflicts: 380000 | #Constraints: 92381
733.85/736.05 c #Conflicts: 381000 | #Constraints: 93381
733.85/736.05 c #Conflicts: 382000 | #Constraints: 94381
913.36/916.07 c #Conflicts: 383000 | #Constraints: 95381
913.36/916.07 c #Conflicts: 384000 | #Constraints: 96381
913.36/916.07 c #Conflicts: 385000 | #Constraints: 97381
913.36/916.07 c #Conflicts: 386000 | #Constraints: 98381
913.36/916.07 c INPROCESSING
913.36/916.07 c GARBAGE COLLECT
913.36/916.07 c #Conflicts: 387000 | #Constraints: 63214
913.36/916.07 c #Conflicts: 388000 | #Constraints: 64214
913.36/916.07 c #Conflicts: 389000 | #Constraints: 65214
913.36/916.07 c #Conflicts: 390000 | #Constraints: 66214
913.36/916.07 c #Conflicts: 391000 | #Constraints: 67214
913.36/916.07 c #Conflicts: 392000 | #Constraints: 68214
913.36/916.07 c #Conflicts: 393000 | #Constraints: 69214
913.36/916.07 c #Conflicts: 394000 | #Constraints: 70214
913.36/916.07 c #Conflicts: 395000 | #Constraints: 71214
913.36/916.07 c #Conflicts: 396000 | #Constraints: 72215
913.36/916.07 c #Conflicts: 397000 | #Constraints: 73215
913.36/916.07 c #Conflicts: 398000 | #Constraints: 74215
913.36/916.07 c #Conflicts: 399000 | #Constraints: 75215
913.36/916.07 c #Conflicts: 400000 | #Constraints: 76215
913.36/916.07 c #Conflicts: 401000 | #Constraints: 77215
913.36/916.07 c #Conflicts: 402000 | #Constraints: 78215
913.36/916.07 c #Conflicts: 403000 | #Constraints: 79215
913.36/916.07 c #Conflicts: 404000 | #Constraints: 80215
913.36/916.07 c #Conflicts: 405000 | #Constraints: 81215
913.36/916.07 c #Conflicts: 406000 | #Constraints: 82215
913.36/916.07 c #Conflicts: 407000 | #Constraints: 83215
913.36/916.07 c #Conflicts: 408000 | #Constraints: 84215
913.36/916.07 c #Conflicts: 409000 | #Constraints: 85215
913.36/916.07 c #Conflicts: 410000 | #Constraints: 86215
913.36/916.07 c #Conflicts: 411000 | #Constraints: 87215
913.36/916.07 c #Conflicts: 412000 | #Constraints: 88215
913.36/916.07 c #Conflicts: 413000 | #Constraints: 89215
913.36/916.07 c #Conflicts: 414000 | #Constraints: 90215
913.36/916.07 c #Conflicts: 415000 | #Constraints: 91215
913.36/916.07 c #Conflicts: 416000 | #Constraints: 92215
913.36/916.07 c #Conflicts: 417000 | #Constraints: 93215
913.36/916.07 c #Conflicts: 418000 | #Constraints: 94215
913.36/916.07 c #Conflicts: 419000 | #Constraints: 95215
913.36/916.07 c #Conflicts: 420000 | #Constraints: 96215
913.36/916.07 c #Conflicts: 421000 | #Constraints: 97215
913.36/916.07 c #Conflicts: 422000 | #Constraints: 98215
913.36/916.07 c #Conflicts: 423000 | #Constraints: 99215
913.36/916.07 c #Conflicts: 424000 | #Constraints: 100215
913.36/916.07 c #Conflicts: 425000 | #Constraints: 101215
913.36/916.07 c #Conflicts: 426000 | #Constraints: 102215
913.36/916.07 c INPROCESSING
913.36/916.07 c GARBAGE COLLECT
913.36/916.07 c #Conflicts: 427000 | #Constraints: 64799
913.36/916.07 c #Conflicts: 428000 | #Constraints: 65799
913.36/916.07 c #Conflicts: 429000 | #Constraints: 66799
913.36/916.07 c #Conflicts: 430000 | #Constraints: 67799
913.36/916.07 c #Conflicts: 431000 | #Constraints: 68799
913.36/916.07 c #Conflicts: 432000 | #Constraints: 69799
913.36/916.07 c #Conflicts: 433000 | #Constraints: 70799
913.36/916.07 c #Conflicts: 434000 | #Constraints: 71799
913.36/916.07 c #Conflicts: 435000 | #Constraints: 72799
913.36/916.07 c #Conflicts: 436000 | #Constraints: 73799
913.36/916.07 c #Conflicts: 437000 | #Constraints: 74799
913.36/916.07 c #Conflicts: 438000 | #Constraints: 75799
913.36/916.07 c #Conflicts: 439000 | #Constraints: 76799
913.36/916.07 c #Conflicts: 440000 | #Constraints: 77799
913.36/916.07 c #Conflicts: 441000 | #Constraints: 78799
913.36/916.07 c #Conflicts: 442000 | #Constraints: 79799
913.36/916.07 c #Conflicts: 443000 | #Constraints: 80799
913.36/916.07 c #Conflicts: 444000 | #Constraints: 81799
913.36/916.07 c #Conflicts: 445000 | #Constraints: 82799
913.36/916.07 c #Conflicts: 446000 | #Constraints: 83799
913.36/916.07 c #Conflicts: 447000 | #Constraints: 84799
913.36/916.07 c #Conflicts: 448000 | #Constraints: 85799
913.36/916.07 c #Conflicts: 449000 | #Constraints: 86799
913.36/916.07 c #Conflicts: 450000 | #Constraints: 87799
913.36/916.07 c #Conflicts: 451000 | #Constraints: 88799
913.36/916.07 c #Conflicts: 452000 | #Constraints: 89799
913.36/916.07 c #Conflicts: 453000 | #Constraints: 90799
913.36/916.07 c #Conflicts: 454000 | #Constraints: 91799
913.36/916.07 c #Conflicts: 455000 | #Constraints: 92799
913.36/916.07 c #Conflicts: 456000 | #Constraints: 93799
913.36/916.07 c #Conflicts: 457000 | #Constraints: 94799
913.36/916.07 c #Conflicts: 458000 | #Constraints: 95799
913.36/916.07 c #Conflicts: 459000 | #Constraints: 96799
1097.05/1100.25 c #Conflicts: 460000 | #Constraints: 97799
1097.05/1100.25 c #Conflicts: 461000 | #Constraints: 98799
1097.05/1100.25 c #Conflicts: 462000 | #Constraints: 99799
1097.05/1100.25 c #Conflicts: 463000 | #Constraints: 100799
1097.05/1100.25 c #Conflicts: 464000 | #Constraints: 101799
1097.05/1100.25 c #Conflicts: 465000 | #Constraints: 102799
1097.05/1100.25 c #Conflicts: 466000 | #Constraints: 103799
1097.05/1100.25 c #Conflicts: 467000 | #Constraints: 104799
1097.05/1100.25 c #Conflicts: 468000 | #Constraints: 105799
1097.05/1100.25 c #Conflicts: 469000 | #Constraints: 106799
1097.05/1100.25 c INPROCESSING
1097.05/1100.25 c GARBAGE COLLECT
1097.05/1100.25 c #Conflicts: 470000 | #Constraints: 67390
1097.05/1100.25 c #Conflicts: 471000 | #Constraints: 68390
1097.05/1100.25 c #Conflicts: 472000 | #Constraints: 69390
1097.05/1100.25 c #Conflicts: 473000 | #Constraints: 70390
1097.05/1100.25 c #Conflicts: 474000 | #Constraints: 71390
1097.05/1100.25 c #Conflicts: 475000 | #Constraints: 72390
1097.05/1100.25 c #Conflicts: 476000 | #Constraints: 73390
1097.05/1100.25 c #Conflicts: 477000 | #Constraints: 74390
1097.05/1100.25 c #Conflicts: 478000 | #Constraints: 75390
1097.05/1100.25 c #Conflicts: 479000 | #Constraints: 76390
1097.05/1100.25 c #Conflicts: 480000 | #Constraints: 77390
1097.05/1100.25 c #Conflicts: 481000 | #Constraints: 78390
1097.05/1100.25 c #Conflicts: 482000 | #Constraints: 79390
1097.05/1100.25 c #Conflicts: 483000 | #Constraints: 80390
1097.05/1100.25 c #Conflicts: 484000 | #Constraints: 81390
1097.05/1100.25 c #Conflicts: 485000 | #Constraints: 82390
1097.05/1100.25 c #Conflicts: 486000 | #Constraints: 83390
1097.05/1100.25 c #Conflicts: 487000 | #Constraints: 84390
1097.05/1100.25 c #Conflicts: 488000 | #Constraints: 85390
1097.05/1100.25 c #Conflicts: 489000 | #Constraints: 86390
1097.05/1100.25 c #Conflicts: 490000 | #Constraints: 87390
1097.05/1100.25 c #Conflicts: 491000 | #Constraints: 88390
1097.05/1100.25 c #Conflicts: 492000 | #Constraints: 89390
1097.05/1100.25 c #Conflicts: 493000 | #Constraints: 90390
1097.05/1100.25 c #Conflicts: 494000 | #Constraints: 91390
1097.05/1100.25 c #Conflicts: 495000 | #Constraints: 92390
1097.05/1100.25 c #Conflicts: 496000 | #Constraints: 93390
1097.05/1100.25 c #Conflicts: 497000 | #Constraints: 94390
1097.05/1100.25 c #Conflicts: 498000 | #Constraints: 95390
1097.05/1100.25 c #Conflicts: 499000 | #Constraints: 96390
1097.05/1100.25 c #Conflicts: 500000 | #Constraints: 97390
1097.05/1100.25 c #Conflicts: 501000 | #Constraints: 98390
1097.05/1100.25 c #Conflicts: 502000 | #Constraints: 99390
1097.05/1100.25 c #Conflicts: 503000 | #Constraints: 100390
1097.05/1100.25 c #Conflicts: 504000 | #Constraints: 101390
1097.05/1100.25 c #Conflicts: 505000 | #Constraints: 102390
1097.05/1100.25 c #Conflicts: 506000 | #Constraints: 103390
1097.05/1100.25 c #Conflicts: 507000 | #Constraints: 104390
1097.05/1100.25 c #Conflicts: 508000 | #Constraints: 105390
1097.05/1100.25 c #Conflicts: 509000 | #Constraints: 106390
1097.05/1100.25 c #Conflicts: 510000 | #Constraints: 107390
1097.05/1100.25 c #Conflicts: 511000 | #Constraints: 108390
1097.05/1100.25 c #Conflicts: 512000 | #Constraints: 109390
1097.05/1100.25 c #Conflicts: 513000 | #Constraints: 110390
1097.05/1100.25 c INPROCESSING
1097.05/1100.25 c GARBAGE COLLECT
1097.05/1100.25 c #Conflicts: 514000 | #Constraints: 69034
1097.05/1100.25 c #Conflicts: 515000 | #Constraints: 70034
1097.05/1100.25 c #Conflicts: 516000 | #Constraints: 71034
1097.05/1100.25 c #Conflicts: 517000 | #Constraints: 72034
1097.05/1100.25 c #Conflicts: 518000 | #Constraints: 73034
1097.05/1100.25 c #Conflicts: 519000 | #Constraints: 74034
1097.05/1100.25 c #Conflicts: 520000 | #Constraints: 75034
1097.05/1100.25 c #Conflicts: 521000 | #Constraints: 76034
1097.05/1100.25 c #Conflicts: 522000 | #Constraints: 77034
1097.05/1100.25 c #Conflicts: 523000 | #Constraints: 78034
1097.05/1100.25 c #Conflicts: 524000 | #Constraints: 79034
1097.05/1100.25 c #Conflicts: 525000 | #Constraints: 80034
1097.05/1100.25 c #Conflicts: 526000 | #Constraints: 81034
1097.05/1100.25 c #Conflicts: 527000 | #Constraints: 82034
1097.05/1100.25 c #Conflicts: 528000 | #Constraints: 83034
1097.05/1100.25 c #Conflicts: 529000 | #Constraints: 84034
1097.05/1100.25 c #Conflicts: 530000 | #Constraints: 85034
1097.05/1100.25 c #Conflicts: 531000 | #Constraints: 86034
1097.05/1100.25 c #Conflicts: 532000 | #Constraints: 87034
1097.05/1100.25 c #Conflicts: 533000 | #Constraints: 88034
1097.05/1100.25 c #Conflicts: 534000 | #Constraints: 89034
1097.05/1100.25 c #Conflicts: 535000 | #Constraints: 90034
1097.05/1100.25 c #Conflicts: 536000 | #Constraints: 91034
1097.05/1100.25 c #Conflicts: 537000 | #Constraints: 92034
1101.95/1105.12 c INPROCESSING
1101.95/1105.12 c GARBAGE COLLECT
1101.95/1105.12 c rational objective 196
1232.66/1236.21 c #Conflicts: 538000 | #Constraints: 69295
1232.66/1236.21 c #Conflicts: 539000 | #Constraints: 70295
1232.66/1236.21 c #Conflicts: 540000 | #Constraints: 71295
1232.66/1236.21 c #Conflicts: 541000 | #Constraints: 72295
1232.66/1236.21 c #Conflicts: 542000 | #Constraints: 73295
1232.66/1236.21 c #Conflicts: 543000 | #Constraints: 74295
1232.66/1236.21 c #Conflicts: 544000 | #Constraints: 75295
1232.66/1236.21 c #Conflicts: 545000 | #Constraints: 76295
1232.66/1236.21 c #Conflicts: 546000 | #Constraints: 77295
1232.66/1236.21 c #Conflicts: 547000 | #Constraints: 78295
1232.66/1236.21 c #Conflicts: 548000 | #Constraints: 79295
1232.66/1236.21 c #Conflicts: 549000 | #Constraints: 80295
1232.66/1236.21 c #Conflicts: 550000 | #Constraints: 81295
1232.66/1236.21 c #Conflicts: 551000 | #Constraints: 82295
1232.66/1236.21 c #Conflicts: 552000 | #Constraints: 83295
1232.66/1236.21 c #Conflicts: 553000 | #Constraints: 84295
1232.66/1236.21 c #Conflicts: 554000 | #Constraints: 85295
1232.66/1236.21 c #Conflicts: 555000 | #Constraints: 86295
1232.66/1236.21 c #Conflicts: 556000 | #Constraints: 87295
1232.66/1236.21 c #Conflicts: 557000 | #Constraints: 88295
1232.66/1236.21 c #Conflicts: 558000 | #Constraints: 89295
1232.66/1236.21 c #Conflicts: 559000 | #Constraints: 90295
1232.66/1236.21 c #Conflicts: 560000 | #Constraints: 91295
1232.66/1236.21 c #Conflicts: 561000 | #Constraints: 92295
1232.66/1236.21 c #Conflicts: 562000 | #Constraints: 93295
1232.66/1236.21 c #Conflicts: 563000 | #Constraints: 94295
1232.66/1236.21 c #Conflicts: 564000 | #Constraints: 95295
1232.66/1236.21 c #Conflicts: 565000 | #Constraints: 96295
1232.66/1236.21 c #Conflicts: 566000 | #Constraints: 97295
1232.66/1236.21 c #Conflicts: 567000 | #Constraints: 98295
1232.66/1236.21 c #Conflicts: 568000 | #Constraints: 99295
1232.66/1236.21 c #Conflicts: 569000 | #Constraints: 100295
1232.66/1236.21 c #Conflicts: 570000 | #Constraints: 101295
1232.66/1236.21 c #Conflicts: 571000 | #Constraints: 102295
1232.66/1236.21 c #Conflicts: 572000 | #Constraints: 103295
1232.66/1236.21 c #Conflicts: 573000 | #Constraints: 104295
1232.66/1236.21 c #Conflicts: 574000 | #Constraints: 105295
1232.66/1236.21 c #Conflicts: 575000 | #Constraints: 106295
1232.66/1236.21 c #Conflicts: 576000 | #Constraints: 107295
1232.66/1236.21 c #Conflicts: 577000 | #Constraints: 108295
1232.66/1236.21 c #Conflicts: 578000 | #Constraints: 109295
1232.66/1236.21 c #Conflicts: 579000 | #Constraints: 110295
1232.66/1236.21 c #Conflicts: 580000 | #Constraints: 111295
1232.66/1236.21 c #Conflicts: 581000 | #Constraints: 112295
1232.66/1236.21 c #Conflicts: 582000 | #Constraints: 113295
1232.66/1236.21 c #Conflicts: 583000 | #Constraints: 114295
1232.66/1236.21 c #Conflicts: 584000 | #Constraints: 115295
1232.66/1236.21 c #Conflicts: 585000 | #Constraints: 116295
1232.66/1236.21 c INPROCESSING
1232.66/1236.21 c GARBAGE COLLECT
1232.66/1236.21 c rational objective 196
1402.73/1406.86 c #Conflicts: 586000 | #Constraints: 72372
1402.73/1406.86 c #Conflicts: 587000 | #Constraints: 73372
1402.73/1406.86 c #Conflicts: 588000 | #Constraints: 74372
1402.73/1406.86 c #Conflicts: 589000 | #Constraints: 75372
1402.73/1406.86 c #Conflicts: 590000 | #Constraints: 76372
1402.73/1406.86 c #Conflicts: 591000 | #Constraints: 77372
1402.73/1406.86 c #Conflicts: 592000 | #Constraints: 78372
1402.73/1406.86 c #Conflicts: 593000 | #Constraints: 79372
1402.73/1406.86 c #Conflicts: 594000 | #Constraints: 80372
1402.73/1406.86 c #Conflicts: 595000 | #Constraints: 81372
1402.73/1406.86 c #Conflicts: 596000 | #Constraints: 82372
1402.73/1406.86 c #Conflicts: 597000 | #Constraints: 83372
1402.73/1406.86 c #Conflicts: 598000 | #Constraints: 84372
1402.73/1406.86 c #Conflicts: 599000 | #Constraints: 85372
1402.73/1406.86 c #Conflicts: 600000 | #Constraints: 86372
1402.73/1406.86 c #Conflicts: 601000 | #Constraints: 87372
1402.73/1406.86 c #Conflicts: 602000 | #Constraints: 88372
1402.73/1406.86 c #Conflicts: 603000 | #Constraints: 89372
1402.73/1406.86 c #Conflicts: 604000 | #Constraints: 90372
1402.73/1406.86 c #Conflicts: 605000 | #Constraints: 91372
1402.73/1406.86 c #Conflicts: 606000 | #Constraints: 92372
1402.73/1406.86 c #Conflicts: 607000 | #Constraints: 93372
1402.73/1406.86 c #Conflicts: 608000 | #Constraints: 94372
1402.73/1406.86 c #Conflicts: 609000 | #Constraints: 95372
1402.73/1406.86 c #Conflicts: 610000 | #Constraints: 96372
1402.73/1406.86 c #Conflicts: 611000 | #Constraints: 97372
1402.73/1406.86 c #Conflicts: 612000 | #Constraints: 98372
1402.73/1406.86 c #Conflicts: 613000 | #Constraints: 99372
1402.73/1406.86 c #Conflicts: 614000 | #Constraints: 100372
1402.73/1406.86 c #Conflicts: 615000 | #Constraints: 101372
1402.73/1406.86 c #Conflicts: 616000 | #Constraints: 102372
1402.73/1406.86 c #Conflicts: 617000 | #Constraints: 103372
1402.73/1406.86 c #Conflicts: 618000 | #Constraints: 104372
1402.73/1406.86 c #Conflicts: 619000 | #Constraints: 105372
1402.73/1406.86 c #Conflicts: 620000 | #Constraints: 106372
1402.73/1406.86 c #Conflicts: 621000 | #Constraints: 107372
1402.73/1406.86 c #Conflicts: 622000 | #Constraints: 108372
1402.73/1406.86 c #Conflicts: 623000 | #Constraints: 109372
1402.73/1406.86 c #Conflicts: 624000 | #Constraints: 110372
1402.73/1406.86 c #Conflicts: 625000 | #Constraints: 111372
1402.73/1406.86 c #Conflicts: 626000 | #Constraints: 112372
1402.73/1406.86 c #Conflicts: 627000 | #Constraints: 113372
1402.73/1406.86 c #Conflicts: 628000 | #Constraints: 114372
1402.73/1406.86 c #Conflicts: 629000 | #Constraints: 115372
1402.73/1406.86 c #Conflicts: 630000 | #Constraints: 116372
1402.73/1406.86 c #Conflicts: 631000 | #Constraints: 117372
1402.73/1406.86 c #Conflicts: 632000 | #Constraints: 118372
1402.73/1406.86 c #Conflicts: 633000 | #Constraints: 119372
1402.73/1406.86 c #Conflicts: 634000 | #Constraints: 120372
1402.73/1406.86 c INPROCESSING
1402.73/1406.86 c GARBAGE COLLECT
1402.73/1406.86 c #Conflicts: 635000 | #Constraints: 74220
1402.73/1406.86 c #Conflicts: 636000 | #Constraints: 75220
1402.73/1406.86 c #Conflicts: 637000 | #Constraints: 76220
1402.73/1406.86 c #Conflicts: 638000 | #Constraints: 77220
1402.73/1406.86 c #Conflicts: 639000 | #Constraints: 78220
1402.73/1406.86 c #Conflicts: 640000 | #Constraints: 79220
1402.73/1406.86 c #Conflicts: 641000 | #Constraints: 80220
1402.73/1406.86 c #Conflicts: 642000 | #Constraints: 81220
1402.73/1406.86 c #Conflicts: 643000 | #Constraints: 82220
1402.73/1406.86 c #Conflicts: 644000 | #Constraints: 83220
1402.73/1406.86 c #Conflicts: 645000 | #Constraints: 84220
1402.73/1406.86 c #Conflicts: 646000 | #Constraints: 85220
1402.73/1406.86 c #Conflicts: 647000 | #Constraints: 86220
1402.73/1406.86 c #Conflicts: 648000 | #Constraints: 87220
1402.73/1406.86 c #Conflicts: 649000 | #Constraints: 88220
1402.73/1406.86 c #Conflicts: 650000 | #Constraints: 89220
1402.73/1406.86 c #Conflicts: 651000 | #Constraints: 90220
1402.73/1406.86 c #Conflicts: 652000 | #Constraints: 91220
1402.73/1406.86 c #Conflicts: 653000 | #Constraints: 92220
1402.73/1406.86 c #Conflicts: 654000 | #Constraints: 93220
1402.73/1406.86 c #Conflicts: 655000 | #Constraints: 94220
1402.73/1406.86 c #Conflicts: 656000 | #Constraints: 95220
1402.73/1406.86 c #Conflicts: 657000 | #Constraints: 96220
1402.73/1406.86 c #Conflicts: 658000 | #Constraints: 97220
1402.73/1406.86 c #Conflicts: 659000 | #Constraints: 98220
1402.73/1406.86 c #Conflicts: 660000 | #Constraints: 99220
1402.73/1406.86 c #Conflicts: 661000 | #Constraints: 100220
1402.73/1406.86 c #Conflicts: 662000 | #Constraints: 101220
1402.73/1406.86 c #Conflicts: 663000 | #Constraints: 102220
1402.73/1406.86 c #Conflicts: 664000 | #Constraints: 103220
1734.82/1739.90 c #Conflicts: 665000 | #Constraints: 104220
1734.82/1739.90 c #Conflicts: 666000 | #Constraints: 105220
1734.82/1739.90 c #Conflicts: 667000 | #Constraints: 106220
1734.82/1739.90 c #Conflicts: 668000 | #Constraints: 107220
1734.82/1739.90 c #Conflicts: 669000 | #Constraints: 108220
1734.82/1739.90 c #Conflicts: 670000 | #Constraints: 109220
1734.82/1739.90 c #Conflicts: 671000 | #Constraints: 110220
1734.82/1739.90 c #Conflicts: 672000 | #Constraints: 111220
1734.82/1739.90 c #Conflicts: 673000 | #Constraints: 112220
1734.82/1739.90 c #Conflicts: 674000 | #Constraints: 113220
1734.82/1739.90 c #Conflicts: 675000 | #Constraints: 114220
1734.82/1739.90 c #Conflicts: 676000 | #Constraints: 115220
1734.82/1739.90 c #Conflicts: 677000 | #Constraints: 116220
1734.82/1739.90 c #Conflicts: 678000 | #Constraints: 117220
1734.82/1739.90 c #Conflicts: 679000 | #Constraints: 118220
1734.82/1739.90 c #Conflicts: 680000 | #Constraints: 119220
1734.82/1739.90 c #Conflicts: 681000 | #Constraints: 120220
1734.82/1739.90 c #Conflicts: 682000 | #Constraints: 121220
1734.82/1739.90 c #Conflicts: 683000 | #Constraints: 122220
1734.82/1739.90 c #Conflicts: 684000 | #Constraints: 123220
1734.82/1739.90 c #Conflicts: 685000 | #Constraints: 124220
1734.82/1739.90 c #Conflicts: 686000 | #Constraints: 125220
1734.82/1739.90 c INPROCESSING
1734.82/1739.90 c GARBAGE COLLECT
1734.82/1739.90 c #Conflicts: 687000 | #Constraints: 77105
1734.82/1739.90 c #Conflicts: 688000 | #Constraints: 78105
1734.82/1739.90 c #Conflicts: 689000 | #Constraints: 79105
1734.82/1739.90 c #Conflicts: 690000 | #Constraints: 80106
1734.82/1739.90 c #Conflicts: 691000 | #Constraints: 81106
1734.82/1739.90 c #Conflicts: 692000 | #Constraints: 82106
1734.82/1739.90 c #Conflicts: 693000 | #Constraints: 83106
1734.82/1739.90 c #Conflicts: 694000 | #Constraints: 84106
1734.82/1739.90 c #Conflicts: 695000 | #Constraints: 85106
1734.82/1739.90 c #Conflicts: 696000 | #Constraints: 86106
1734.82/1739.90 c #Conflicts: 697000 | #Constraints: 87106
1734.82/1739.90 c #Conflicts: 698000 | #Constraints: 88106
1734.82/1739.90 c #Conflicts: 699000 | #Constraints: 89106
1734.82/1739.90 c #Conflicts: 700000 | #Constraints: 90106
1734.82/1739.90 c #Conflicts: 701000 | #Constraints: 91106
1734.82/1739.90 c #Conflicts: 702000 | #Constraints: 92106
1734.82/1739.90 c #Conflicts: 703000 | #Constraints: 93106
1734.82/1739.90 c #Conflicts: 704000 | #Constraints: 94106
1734.82/1739.90 c #Conflicts: 705000 | #Constraints: 95106
1734.82/1739.90 c #Conflicts: 706000 | #Constraints: 96106
1734.82/1739.90 c #Conflicts: 707000 | #Constraints: 97106
1734.82/1739.90 c #Conflicts: 708000 | #Constraints: 98106
1734.82/1739.90 c #Conflicts: 709000 | #Constraints: 99106
1734.82/1739.90 c #Conflicts: 710000 | #Constraints: 100106
1734.82/1739.90 c #Conflicts: 711000 | #Constraints: 101106
1734.82/1739.90 c #Conflicts: 712000 | #Constraints: 102106
1734.82/1739.90 c #Conflicts: 713000 | #Constraints: 103106
1734.82/1739.90 c #Conflicts: 714000 | #Constraints: 104106
1734.82/1739.90 c #Conflicts: 715000 | #Constraints: 105106
1734.82/1739.90 c #Conflicts: 716000 | #Constraints: 106106
1734.82/1739.90 c #Conflicts: 717000 | #Constraints: 107106
1734.82/1739.90 c #Conflicts: 718000 | #Constraints: 108106
1734.82/1739.90 c #Conflicts: 719000 | #Constraints: 109106
1734.82/1739.90 c #Conflicts: 720000 | #Constraints: 110106
1734.82/1739.90 c #Conflicts: 721000 | #Constraints: 111106
1734.82/1739.90 c #Conflicts: 722000 | #Constraints: 112106
1734.92/1739.90 c #Conflicts: 723000 | #Constraints: 113106
1734.92/1739.90 c #Conflicts: 724000 | #Constraints: 114106
1734.92/1739.90 c #Conflicts: 725000 | #Constraints: 115106
1734.92/1739.90 c #Conflicts: 726000 | #Constraints: 116106
1734.92/1739.90 c #Conflicts: 727000 | #Constraints: 117106
1734.92/1739.90 c #Conflicts: 728000 | #Constraints: 118106
1734.92/1739.90 c #Conflicts: 729000 | #Constraints: 119106
1734.92/1739.90 c #Conflicts: 730000 | #Constraints: 120106
1734.92/1739.90 c #Conflicts: 731000 | #Constraints: 121106
1734.92/1739.90 c #Conflicts: 732000 | #Constraints: 122106
1734.92/1739.90 c #Conflicts: 733000 | #Constraints: 123106
1734.92/1739.90 c #Conflicts: 734000 | #Constraints: 124106
1734.92/1739.90 c #Conflicts: 735000 | #Constraints: 125106
1734.92/1739.90 c #Conflicts: 736000 | #Constraints: 126106
1734.92/1739.90 c #Conflicts: 737000 | #Constraints: 127106
1734.92/1739.90 c #Conflicts: 738000 | #Constraints: 128106
1734.92/1739.90 c #Conflicts: 739000 | #Constraints: 129106
1734.92/1739.90 c INPROCESSING
1734.92/1739.90 c GARBAGE COLLECT
1734.92/1739.90 c #Conflicts: 740000 | #Constraints: 78766
1734.92/1739.90 c #Conflicts: 741000 | #Constraints: 79766
1906.57/1912.06 c #Conflicts: 742000 | #Constraints: 80766
1906.57/1912.06 c #Conflicts: 743000 | #Constraints: 81766
1906.57/1912.06 c #Conflicts: 744000 | #Constraints: 82766
1906.57/1912.06 c #Conflicts: 745000 | #Constraints: 83766
1906.57/1912.06 c #Conflicts: 746000 | #Constraints: 84766
1906.57/1912.06 c #Conflicts: 747000 | #Constraints: 85766
1906.57/1912.06 c #Conflicts: 748000 | #Constraints: 86766
1906.57/1912.06 c #Conflicts: 749000 | #Constraints: 87766
1906.57/1912.06 c #Conflicts: 750000 | #Constraints: 88766
1906.57/1912.06 c #Conflicts: 751000 | #Constraints: 89766
1906.57/1912.06 c #Conflicts: 752000 | #Constraints: 90766
1906.57/1912.06 c #Conflicts: 753000 | #Constraints: 91766
1906.57/1912.06 c #Conflicts: 754000 | #Constraints: 92766
1906.57/1912.06 c #Conflicts: 755000 | #Constraints: 93766
1906.57/1912.06 c #Conflicts: 756000 | #Constraints: 94766
1906.57/1912.06 c #Conflicts: 757000 | #Constraints: 95766
1906.57/1912.06 c #Conflicts: 758000 | #Constraints: 96766
1906.57/1912.06 c #Conflicts: 759000 | #Constraints: 97766
1906.57/1912.06 c #Conflicts: 760000 | #Constraints: 98766
1906.57/1912.06 c #Conflicts: 761000 | #Constraints: 99766
1906.57/1912.06 c #Conflicts: 762000 | #Constraints: 100766
1906.57/1912.06 c #Conflicts: 763000 | #Constraints: 101766
1906.57/1912.06 c #Conflicts: 764000 | #Constraints: 102766
1906.57/1912.06 c #Conflicts: 765000 | #Constraints: 103766
1906.57/1912.06 c #Conflicts: 766000 | #Constraints: 104766
1906.57/1912.06 c #Conflicts: 767000 | #Constraints: 105766
1906.57/1912.06 c #Conflicts: 768000 | #Constraints: 106766
1906.57/1912.06 c #Conflicts: 769000 | #Constraints: 107766
1906.57/1912.06 c #Conflicts: 770000 | #Constraints: 108766
1906.57/1912.06 c #Conflicts: 771000 | #Constraints: 109766
1906.57/1912.06 c #Conflicts: 772000 | #Constraints: 110766
1906.57/1912.06 c #Conflicts: 773000 | #Constraints: 111766
1906.57/1912.06 c #Conflicts: 774000 | #Constraints: 112766
1906.57/1912.06 c #Conflicts: 775000 | #Constraints: 113766
1906.57/1912.06 c #Conflicts: 776000 | #Constraints: 114766
1906.57/1912.06 c #Conflicts: 777000 | #Constraints: 115766
1906.57/1912.06 c #Conflicts: 778000 | #Constraints: 116766
1906.57/1912.06 c #Conflicts: 779000 | #Constraints: 117766
1906.57/1912.06 c #Conflicts: 780000 | #Constraints: 118766
1906.57/1912.06 c #Conflicts: 781000 | #Constraints: 119766
1906.57/1912.06 c #Conflicts: 782000 | #Constraints: 120766
1906.57/1912.06 c #Conflicts: 783000 | #Constraints: 121766
1906.57/1912.06 c #Conflicts: 784000 | #Constraints: 122766
1906.57/1912.06 c #Conflicts: 785000 | #Constraints: 123766
1906.57/1912.06 c #Conflicts: 786000 | #Constraints: 124766
1906.57/1912.06 c #Conflicts: 787000 | #Constraints: 125766
1906.57/1912.06 c #Conflicts: 788000 | #Constraints: 126766
1906.57/1912.06 c #Conflicts: 789000 | #Constraints: 127766
1906.57/1912.06 c #Conflicts: 790000 | #Constraints: 128766
1906.57/1912.06 c #Conflicts: 791000 | #Constraints: 129766
1906.57/1912.06 c #Conflicts: 792000 | #Constraints: 130766
1906.57/1912.06 c #Conflicts: 793000 | #Constraints: 131766
1906.57/1912.06 c #Conflicts: 794000 | #Constraints: 132766
1906.57/1912.06 c #Conflicts: 795000 | #Constraints: 133766
1906.57/1912.06 c INPROCESSING
1906.57/1912.06 c GARBAGE COLLECT
1906.57/1912.06 c #Conflicts: 796000 | #Constraints: 81498
1906.57/1912.06 c #Conflicts: 797000 | #Constraints: 82498
1906.57/1912.06 c #Conflicts: 798000 | #Constraints: 83498
1906.57/1912.06 c #Conflicts: 799000 | #Constraints: 84498
1906.57/1912.06 c #Conflicts: 800000 | #Constraints: 85498
1906.57/1912.06 c #Conflicts: 801000 | #Constraints: 86498
1906.57/1912.06 c #Conflicts: 802000 | #Constraints: 87498
1906.57/1912.06 c #Conflicts: 803000 | #Constraints: 88498
1906.57/1912.06 c #Conflicts: 804000 | #Constraints: 89498
1906.57/1912.06 c #Conflicts: 805000 | #Constraints: 90498
1906.57/1912.06 c #Conflicts: 806000 | #Constraints: 91498
1906.57/1912.06 c #Conflicts: 807000 | #Constraints: 92498
1906.57/1912.06 c #Conflicts: 808000 | #Constraints: 93498
1906.57/1912.06 c #Conflicts: 809000 | #Constraints: 94498
1906.57/1912.06 c #Conflicts: 810000 | #Constraints: 95498
1906.57/1912.06 c #Conflicts: 811000 | #Constraints: 96498
1906.57/1912.06 c #Conflicts: 812000 | #Constraints: 97498
1906.57/1912.06 c #Conflicts: 813000 | #Constraints: 98498
1906.57/1912.06 c #Conflicts: 814000 | #Constraints: 99498
1906.57/1912.06 c #Conflicts: 815000 | #Constraints: 100498
1906.57/1912.06 c #Conflicts: 816000 | #Constraints: 101498
1906.57/1912.06 c #Conflicts: 817000 | #Constraints: 102498
1906.57/1912.06 c #Conflicts: 818000 | #Constraints: 103498
1906.57/1912.06 c #Conflicts: 819000 | #Constraints: 104498
2092.76/2098.74 c #Conflicts: 820000 | #Constraints: 105498
2092.76/2098.74 c #Conflicts: 821000 | #Constraints: 106498
2092.76/2098.74 c #Conflicts: 822000 | #Constraints: 107498
2092.76/2098.74 c #Conflicts: 823000 | #Constraints: 108498
2092.76/2098.74 c #Conflicts: 824000 | #Constraints: 109498
2092.76/2098.74 c #Conflicts: 825000 | #Constraints: 110498
2092.76/2098.74 c #Conflicts: 826000 | #Constraints: 111498
2092.76/2098.74 c #Conflicts: 827000 | #Constraints: 112498
2092.76/2098.74 c #Conflicts: 828000 | #Constraints: 113498
2092.76/2098.74 c #Conflicts: 829000 | #Constraints: 114498
2092.76/2098.74 c #Conflicts: 830000 | #Constraints: 115498
2092.76/2098.74 c #Conflicts: 831000 | #Constraints: 116498
2092.76/2098.74 c #Conflicts: 832000 | #Constraints: 117498
2092.76/2098.74 c #Conflicts: 833000 | #Constraints: 118498
2092.76/2098.74 c #Conflicts: 834000 | #Constraints: 119498
2092.76/2098.74 c #Conflicts: 835000 | #Constraints: 120498
2092.76/2098.74 c #Conflicts: 836000 | #Constraints: 121498
2092.76/2098.74 c #Conflicts: 837000 | #Constraints: 122498
2092.76/2098.74 c #Conflicts: 838000 | #Constraints: 123498
2092.76/2098.74 c #Conflicts: 839000 | #Constraints: 124498
2092.76/2098.74 c #Conflicts: 840000 | #Constraints: 125498
2092.76/2098.74 c #Conflicts: 841000 | #Constraints: 126498
2092.76/2098.74 c #Conflicts: 842000 | #Constraints: 127498
2092.76/2098.74 c #Conflicts: 843000 | #Constraints: 128498
2092.76/2098.74 c #Conflicts: 844000 | #Constraints: 129498
2092.76/2098.74 c #Conflicts: 845000 | #Constraints: 130498
2092.76/2098.74 c #Conflicts: 846000 | #Constraints: 131498
2092.76/2098.74 c #Conflicts: 847000 | #Constraints: 132498
2092.76/2098.74 c #Conflicts: 848000 | #Constraints: 133498
2092.76/2098.74 c #Conflicts: 849000 | #Constraints: 134498
2092.76/2098.74 c #Conflicts: 850000 | #Constraints: 135498
2092.76/2098.74 c #Conflicts: 851000 | #Constraints: 136498
2092.76/2098.74 c #Conflicts: 852000 | #Constraints: 137498
2092.76/2098.74 c INPROCESSING
2092.76/2098.74 c GARBAGE COLLECT
2092.76/2098.74 c #Conflicts: 853000 | #Constraints: 82998
2092.76/2098.74 c #Conflicts: 854000 | #Constraints: 83998
2092.76/2098.74 c #Conflicts: 855000 | #Constraints: 84998
2092.76/2098.74 c #Conflicts: 856000 | #Constraints: 85998
2092.76/2098.74 c #Conflicts: 857000 | #Constraints: 86998
2092.76/2098.74 c #Conflicts: 858000 | #Constraints: 87998
2092.76/2098.74 c #Conflicts: 859000 | #Constraints: 88998
2092.76/2098.74 c #Conflicts: 860000 | #Constraints: 89998
2092.76/2098.74 c #Conflicts: 861000 | #Constraints: 90998
2092.76/2098.74 c #Conflicts: 862000 | #Constraints: 91998
2092.76/2098.74 c #Conflicts: 863000 | #Constraints: 92998
2092.76/2098.74 c #Conflicts: 864000 | #Constraints: 93998
2092.76/2098.74 c #Conflicts: 865000 | #Constraints: 94998
2092.76/2098.74 c #Conflicts: 866000 | #Constraints: 95998
2092.76/2098.74 c #Conflicts: 867000 | #Constraints: 96998
2092.76/2098.74 c #Conflicts: 868000 | #Constraints: 97998
2092.76/2098.74 c #Conflicts: 869000 | #Constraints: 98998
2092.76/2098.74 c #Conflicts: 870000 | #Constraints: 99998
2092.76/2098.74 c #Conflicts: 871000 | #Constraints: 100998
2092.76/2098.74 c #Conflicts: 872000 | #Constraints: 101998
2092.76/2098.74 c #Conflicts: 873000 | #Constraints: 102998
2092.76/2098.74 c #Conflicts: 874000 | #Constraints: 103998
2092.76/2098.74 c #Conflicts: 875000 | #Constraints: 104998
2092.76/2098.74 c #Conflicts: 876000 | #Constraints: 105998
2092.76/2098.74 c #Conflicts: 877000 | #Constraints: 106998
2092.76/2098.74 c #Conflicts: 878000 | #Constraints: 107998
2092.76/2098.74 c #Conflicts: 879000 | #Constraints: 108998
2092.76/2098.74 c #Conflicts: 880000 | #Constraints: 109998
2092.76/2098.74 c #Conflicts: 881000 | #Constraints: 110998
2092.76/2098.74 c #Conflicts: 882000 | #Constraints: 111998
2092.76/2098.74 c #Conflicts: 883000 | #Constraints: 112998
2092.76/2098.74 c #Conflicts: 884000 | #Constraints: 113998
2092.76/2098.74 c #Conflicts: 885000 | #Constraints: 114998
2092.76/2098.74 c #Conflicts: 886000 | #Constraints: 115998
2092.76/2098.74 c #Conflicts: 887000 | #Constraints: 116998
2092.76/2098.74 c #Conflicts: 888000 | #Constraints: 117998
2092.76/2098.74 c #Conflicts: 889000 | #Constraints: 118998
2092.76/2098.74 c #Conflicts: 890000 | #Constraints: 119998
2092.76/2098.74 c #Conflicts: 891000 | #Constraints: 120998
2092.76/2098.74 c #Conflicts: 892000 | #Constraints: 121998
2092.76/2098.74 c #Conflicts: 893000 | #Constraints: 122998
2092.76/2098.74 c #Conflicts: 894000 | #Constraints: 123998
2092.76/2098.74 c #Conflicts: 895000 | #Constraints: 124998
2092.76/2098.74 c #Conflicts: 896000 | #Constraints: 125998
2092.76/2098.74 c #Conflicts: 897000 | #Constraints: 126998
2308.22/2314.84 c #Conflicts: 898000 | #Constraints: 127998
2308.22/2314.84 c #Conflicts: 899000 | #Constraints: 128998
2308.22/2314.84 c #Conflicts: 900000 | #Constraints: 129998
2308.22/2314.84 c #Conflicts: 901000 | #Constraints: 130998
2308.22/2314.84 c #Conflicts: 902000 | #Constraints: 131998
2308.22/2314.84 c #Conflicts: 903000 | #Constraints: 132998
2308.22/2314.84 c #Conflicts: 904000 | #Constraints: 133998
2308.22/2314.84 c #Conflicts: 905000 | #Constraints: 134998
2308.22/2314.84 c #Conflicts: 906000 | #Constraints: 135998
2308.22/2314.84 c #Conflicts: 907000 | #Constraints: 136998
2308.22/2314.84 c #Conflicts: 908000 | #Constraints: 137998
2308.22/2314.84 c #Conflicts: 909000 | #Constraints: 138998
2308.22/2314.84 c #Conflicts: 910000 | #Constraints: 139998
2308.22/2314.84 c #Conflicts: 911000 | #Constraints: 140998
2308.22/2314.84 c #Conflicts: 912000 | #Constraints: 141998
2308.22/2314.84 c INPROCESSING
2308.22/2314.84 c GARBAGE COLLECT
2308.22/2314.84 c #Conflicts: 913000 | #Constraints: 85536
2308.22/2314.84 c #Conflicts: 914000 | #Constraints: 86536
2308.22/2314.84 c #Conflicts: 915000 | #Constraints: 87536
2308.22/2314.84 c #Conflicts: 916000 | #Constraints: 88536
2308.22/2314.84 c #Conflicts: 917000 | #Constraints: 89536
2308.22/2314.84 c #Conflicts: 918000 | #Constraints: 90536
2308.22/2314.84 c #Conflicts: 919000 | #Constraints: 91536
2308.22/2314.84 c #Conflicts: 920000 | #Constraints: 92536
2308.22/2314.84 c #Conflicts: 921000 | #Constraints: 93536
2308.22/2314.84 c #Conflicts: 922000 | #Constraints: 94536
2308.22/2314.84 c #Conflicts: 923000 | #Constraints: 95536
2308.22/2314.84 c #Conflicts: 924000 | #Constraints: 96536
2308.22/2314.84 c #Conflicts: 925000 | #Constraints: 97536
2308.22/2314.84 c #Conflicts: 926000 | #Constraints: 98536
2308.22/2314.84 c #Conflicts: 927000 | #Constraints: 99536
2308.22/2314.84 c #Conflicts: 928000 | #Constraints: 100536
2308.22/2314.84 c #Conflicts: 929000 | #Constraints: 101536
2308.22/2314.84 c #Conflicts: 930000 | #Constraints: 102536
2308.22/2314.84 c #Conflicts: 931000 | #Constraints: 103536
2308.22/2314.84 c #Conflicts: 932000 | #Constraints: 104536
2308.22/2314.84 c #Conflicts: 933000 | #Constraints: 105536
2308.22/2314.84 c #Conflicts: 934000 | #Constraints: 106536
2308.22/2314.84 c #Conflicts: 935000 | #Constraints: 107536
2308.22/2314.84 c #Conflicts: 936000 | #Constraints: 108536
2308.22/2314.84 c #Conflicts: 937000 | #Constraints: 109536
2308.22/2314.84 c #Conflicts: 938000 | #Constraints: 110536
2308.22/2314.84 c #Conflicts: 939000 | #Constraints: 111536
2308.22/2314.84 c #Conflicts: 940000 | #Constraints: 112536
2308.22/2314.84 c #Conflicts: 941000 | #Constraints: 113536
2308.22/2314.84 c #Conflicts: 942000 | #Constraints: 114536
2308.22/2314.84 c #Conflicts: 943000 | #Constraints: 115536
2308.22/2314.84 c #Conflicts: 944000 | #Constraints: 116536
2308.22/2314.84 c #Conflicts: 945000 | #Constraints: 117536
2308.22/2314.84 c #Conflicts: 946000 | #Constraints: 118536
2308.22/2314.84 c #Conflicts: 947000 | #Constraints: 119536
2308.22/2314.84 c #Conflicts: 948000 | #Constraints: 120537
2308.22/2314.84 c #Conflicts: 949000 | #Constraints: 121537
2308.22/2314.84 c #Conflicts: 950000 | #Constraints: 122537
2308.22/2314.84 c #Conflicts: 951000 | #Constraints: 123537
2308.22/2314.84 c #Conflicts: 952000 | #Constraints: 124537
2308.22/2314.84 c #Conflicts: 953000 | #Constraints: 125537
2308.22/2314.84 c #Conflicts: 954000 | #Constraints: 126537
2308.22/2314.84 c #Conflicts: 955000 | #Constraints: 127537
2308.22/2314.84 c #Conflicts: 956000 | #Constraints: 128537
2308.22/2314.84 c #Conflicts: 957000 | #Constraints: 129537
2308.22/2314.84 c #Conflicts: 958000 | #Constraints: 130537
2308.22/2314.84 c #Conflicts: 959000 | #Constraints: 131537
2308.22/2314.84 c #Conflicts: 960000 | #Constraints: 132537
2308.22/2314.84 c #Conflicts: 961000 | #Constraints: 133537
2308.22/2314.84 c #Conflicts: 962000 | #Constraints: 134537
2308.22/2314.84 c #Conflicts: 963000 | #Constraints: 135537
2308.22/2314.84 c #Conflicts: 964000 | #Constraints: 136537
2308.22/2314.84 c #Conflicts: 965000 | #Constraints: 137537
2308.22/2314.84 c #Conflicts: 966000 | #Constraints: 138537
2308.22/2314.84 c #Conflicts: 967000 | #Constraints: 139537
2308.22/2314.84 c #Conflicts: 968000 | #Constraints: 140537
2308.22/2314.84 c #Conflicts: 969000 | #Constraints: 141538
2308.22/2314.84 c #Conflicts: 970000 | #Constraints: 142538
2308.22/2314.84 c #Conflicts: 971000 | #Constraints: 143538
2308.22/2314.84 c #Conflicts: 972000 | #Constraints: 144538
2308.22/2314.84 c #Conflicts: 973000 | #Constraints: 145538
2308.22/2314.84 c INPROCESSING
2308.22/2314.84 c GARBAGE COLLECT
2308.22/2314.84 c #Conflicts: 974000 | #Constraints: 87111
2308.22/2314.84 c #Conflicts: 975000 | #Constraints: 88111
2822.83/2831.11 c #Conflicts: 976000 | #Constraints: 89111
2822.83/2831.11 c #Conflicts: 977000 | #Constraints: 90111
2822.83/2831.11 c #Conflicts: 978000 | #Constraints: 91111
2822.83/2831.11 c #Conflicts: 979000 | #Constraints: 92111
2822.83/2831.11 c #Conflicts: 980000 | #Constraints: 93111
2822.83/2831.11 c #Conflicts: 981000 | #Constraints: 94111
2822.83/2831.11 c #Conflicts: 982000 | #Constraints: 95111
2822.83/2831.11 c #Conflicts: 983000 | #Constraints: 96111
2822.83/2831.11 c #Conflicts: 984000 | #Constraints: 97111
2822.83/2831.11 c #Conflicts: 985000 | #Constraints: 98111
2822.83/2831.11 c #Conflicts: 986000 | #Constraints: 99111
2822.83/2831.11 c #Conflicts: 987000 | #Constraints: 100111
2822.83/2831.11 c #Conflicts: 988000 | #Constraints: 101111
2822.83/2831.11 c #Conflicts: 989000 | #Constraints: 102111
2822.83/2831.11 c #Conflicts: 990000 | #Constraints: 103111
2822.83/2831.11 c #Conflicts: 991000 | #Constraints: 104111
2822.83/2831.11 c #Conflicts: 992000 | #Constraints: 105111
2822.83/2831.11 c #Conflicts: 993000 | #Constraints: 106111
2822.83/2831.11 c #Conflicts: 994000 | #Constraints: 107111
2822.83/2831.11 c #Conflicts: 995000 | #Constraints: 108111
2822.83/2831.11 c #Conflicts: 996000 | #Constraints: 109111
2822.83/2831.11 c #Conflicts: 997000 | #Constraints: 110111
2822.83/2831.11 c #Conflicts: 998000 | #Constraints: 111111
2822.83/2831.11 c #Conflicts: 999000 | #Constraints: 112111
2822.83/2831.11 c #Conflicts: 1000000 | #Constraints: 113111
2822.83/2831.11 c #Conflicts: 1001000 | #Constraints: 114111
2822.83/2831.11 c #Conflicts: 1002000 | #Constraints: 115111
2822.83/2831.11 c #Conflicts: 1003000 | #Constraints: 116111
2822.83/2831.11 c #Conflicts: 1004000 | #Constraints: 117111
2822.83/2831.11 c #Conflicts: 1005000 | #Constraints: 118111
2822.83/2831.11 c #Conflicts: 1006000 | #Constraints: 119111
2822.83/2831.11 c #Conflicts: 1007000 | #Constraints: 120111
2822.83/2831.11 c #Conflicts: 1008000 | #Constraints: 121111
2822.83/2831.11 c #Conflicts: 1009000 | #Constraints: 122111
2822.83/2831.11 c #Conflicts: 1010000 | #Constraints: 123111
2822.83/2831.11 c #Conflicts: 1011000 | #Constraints: 124112
2822.83/2831.11 c #Conflicts: 1012000 | #Constraints: 125112
2822.83/2831.11 c #Conflicts: 1013000 | #Constraints: 126112
2822.83/2831.11 c #Conflicts: 1014000 | #Constraints: 127112
2822.83/2831.11 c #Conflicts: 1015000 | #Constraints: 128112
2822.83/2831.11 c #Conflicts: 1016000 | #Constraints: 129112
2822.83/2831.11 c #Conflicts: 1017000 | #Constraints: 130112
2822.83/2831.11 c #Conflicts: 1018000 | #Constraints: 131112
2822.83/2831.11 c #Conflicts: 1019000 | #Constraints: 132112
2822.83/2831.11 c #Conflicts: 1020000 | #Constraints: 133112
2822.83/2831.11 c #Conflicts: 1021000 | #Constraints: 134112
2822.83/2831.11 c #Conflicts: 1022000 | #Constraints: 135112
2822.83/2831.11 c #Conflicts: 1023000 | #Constraints: 136112
2822.83/2831.11 c #Conflicts: 1024000 | #Constraints: 137112
2822.83/2831.11 c #Conflicts: 1025000 | #Constraints: 138112
2822.83/2831.11 c #Conflicts: 1026000 | #Constraints: 139112
2822.83/2831.11 c #Conflicts: 1027000 | #Constraints: 140112
2822.83/2831.11 c #Conflicts: 1028000 | #Constraints: 141113
2822.83/2831.11 c #Conflicts: 1029000 | #Constraints: 142113
2822.83/2831.11 c #Conflicts: 1030000 | #Constraints: 143113
2822.83/2831.11 c #Conflicts: 1031000 | #Constraints: 144113
2822.83/2831.11 c #Conflicts: 1032000 | #Constraints: 145113
2822.83/2831.11 c #Conflicts: 1033000 | #Constraints: 146113
2822.83/2831.11 c #Conflicts: 1034000 | #Constraints: 147113
2822.83/2831.11 c #Conflicts: 1035000 | #Constraints: 148113
2822.83/2831.11 c #Conflicts: 1036000 | #Constraints: 149113
2822.83/2831.11 c #Conflicts: 1037000 | #Constraints: 150113
2822.83/2831.11 c INPROCESSING
2822.83/2831.11 c GARBAGE COLLECT
2822.83/2831.11 c #Conflicts: 1038000 | #Constraints: 89323
2822.83/2831.11 c #Conflicts: 1039000 | #Constraints: 90323
2822.83/2831.11 c #Conflicts: 1040000 | #Constraints: 91323
2822.83/2831.11 c #Conflicts: 1041000 | #Constraints: 92323
2822.83/2831.11 c #Conflicts: 1042000 | #Constraints: 93323
2822.83/2831.11 c #Conflicts: 1043000 | #Constraints: 94323
2822.83/2831.11 c #Conflicts: 1044000 | #Constraints: 95323
2822.83/2831.11 c #Conflicts: 1045000 | #Constraints: 96323
2822.83/2831.11 c #Conflicts: 1046000 | #Constraints: 97323
2822.83/2831.11 c #Conflicts: 1047000 | #Constraints: 98323
2822.83/2831.11 c #Conflicts: 1048000 | #Constraints: 99323
2822.83/2831.11 c #Conflicts: 1049000 | #Constraints: 100323
2822.83/2831.11 c #Conflicts: 1050000 | #Constraints: 101323
2822.83/2831.11 c #Conflicts: 1051000 | #Constraints: 102323
2822.83/2831.11 c #Conflicts: 1052000 | #Constraints: 103323
2822.83/2831.11 c #Conflicts: 1053000 | #Constraints: 104323
3060.76/3069.71 c #Conflicts: 1054000 | #Constraints: 105323
3060.76/3069.71 c #Conflicts: 1055000 | #Constraints: 106323
3060.76/3069.71 c #Conflicts: 1056000 | #Constraints: 107323
3060.76/3069.71 c #Conflicts: 1057000 | #Constraints: 108323
3060.76/3069.71 c #Conflicts: 1058000 | #Constraints: 109323
3060.76/3069.71 c #Conflicts: 1059000 | #Constraints: 110324
3060.76/3069.71 c #Conflicts: 1060000 | #Constraints: 111324
3060.76/3069.71 c #Conflicts: 1061000 | #Constraints: 112324
3060.76/3069.71 c #Conflicts: 1062000 | #Constraints: 113324
3060.76/3069.71 c #Conflicts: 1063000 | #Constraints: 114324
3060.76/3069.71 c #Conflicts: 1064000 | #Constraints: 115324
3060.76/3069.71 c #Conflicts: 1065000 | #Constraints: 116324
3060.76/3069.71 c #Conflicts: 1066000 | #Constraints: 117325
3060.76/3069.71 c #Conflicts: 1067000 | #Constraints: 118325
3060.76/3069.71 c #Conflicts: 1068000 | #Constraints: 119325
3060.76/3069.71 c #Conflicts: 1069000 | #Constraints: 120325
3060.76/3069.71 c #Conflicts: 1070000 | #Constraints: 121325
3060.76/3069.71 c #Conflicts: 1071000 | #Constraints: 122325
3060.76/3069.71 c INPROCESSING
3060.76/3069.71 c GARBAGE COLLECT
3060.76/3069.71 c #Conflicts: 1072000 | #Constraints: 88672
3060.76/3069.71 c #Conflicts: 1073000 | #Constraints: 89672
3060.76/3069.71 c #Conflicts: 1074000 | #Constraints: 90672
3060.76/3069.71 c #Conflicts: 1075000 | #Constraints: 91672
3060.76/3069.71 c #Conflicts: 1076000 | #Constraints: 92672
3060.76/3069.71 c #Conflicts: 1077000 | #Constraints: 93672
3060.76/3069.71 c #Conflicts: 1078000 | #Constraints: 94672
3060.76/3069.71 c #Conflicts: 1079000 | #Constraints: 95672
3060.76/3069.71 c #Conflicts: 1080000 | #Constraints: 96672
3060.76/3069.71 c #Conflicts: 1081000 | #Constraints: 97672
3060.76/3069.71 c #Conflicts: 1082000 | #Constraints: 98672
3060.76/3069.71 c #Conflicts: 1083000 | #Constraints: 99672
3060.76/3069.71 c #Conflicts: 1084000 | #Constraints: 100672
3060.76/3069.71 c #Conflicts: 1085000 | #Constraints: 101672
3060.76/3069.71 c #Conflicts: 1086000 | #Constraints: 102672
3060.76/3069.71 c #Conflicts: 1087000 | #Constraints: 103672
3060.76/3069.71 c #Conflicts: 1088000 | #Constraints: 104672
3060.76/3069.71 c #Conflicts: 1089000 | #Constraints: 105672
3060.76/3069.71 c #Conflicts: 1090000 | #Constraints: 106672
3060.76/3069.71 c #Conflicts: 1091000 | #Constraints: 107672
3060.76/3069.71 c #Conflicts: 1092000 | #Constraints: 108672
3060.76/3069.71 c #Conflicts: 1093000 | #Constraints: 109672
3060.76/3069.71 c #Conflicts: 1094000 | #Constraints: 110672
3060.76/3069.71 c #Conflicts: 1095000 | #Constraints: 111672
3060.76/3069.71 c #Conflicts: 1096000 | #Constraints: 112672
3060.76/3069.71 c #Conflicts: 1097000 | #Constraints: 113672
3060.76/3069.71 c #Conflicts: 1098000 | #Constraints: 114672
3060.76/3069.71 c #Conflicts: 1099000 | #Constraints: 115672
3060.76/3069.71 c #Conflicts: 1100000 | #Constraints: 116672
3060.76/3069.71 c #Conflicts: 1101000 | #Constraints: 117672
3060.76/3069.71 c #Conflicts: 1102000 | #Constraints: 118672
3060.76/3069.71 c #Conflicts: 1103000 | #Constraints: 119672
3060.76/3069.71 c #Conflicts: 1104000 | #Constraints: 120672
3060.76/3069.71 c #Conflicts: 1105000 | #Constraints: 121672
3060.76/3069.71 c #Conflicts: 1106000 | #Constraints: 122672
3060.76/3069.71 c #Conflicts: 1107000 | #Constraints: 123672
3060.76/3069.71 c #Conflicts: 1108000 | #Constraints: 124672
3060.76/3069.71 c #Conflicts: 1109000 | #Constraints: 125672
3060.76/3069.71 c #Conflicts: 1110000 | #Constraints: 126672
3060.76/3069.71 c #Conflicts: 1111000 | #Constraints: 127672
3060.76/3069.71 c #Conflicts: 1112000 | #Constraints: 128672
3060.76/3069.71 c #Conflicts: 1113000 | #Constraints: 129672
3060.76/3069.71 c #Conflicts: 1114000 | #Constraints: 130672
3060.76/3069.71 c #Conflicts: 1115000 | #Constraints: 131672
3060.76/3069.71 c #Conflicts: 1116000 | #Constraints: 132672
3060.76/3069.71 c #Conflicts: 1117000 | #Constraints: 133672
3060.76/3069.71 c #Conflicts: 1118000 | #Constraints: 134672
3060.76/3069.71 c #Conflicts: 1119000 | #Constraints: 135672
3060.76/3069.71 c #Conflicts: 1120000 | #Constraints: 136672
3060.76/3069.71 c #Conflicts: 1121000 | #Constraints: 137672
3060.76/3069.71 c #Conflicts: 1122000 | #Constraints: 138672
3060.76/3069.71 c #Conflicts: 1123000 | #Constraints: 139672
3060.76/3069.71 c #Conflicts: 1124000 | #Constraints: 140672
3060.76/3069.71 c #Conflicts: 1125000 | #Constraints: 141672
3060.76/3069.71 c #Conflicts: 1126000 | #Constraints: 142672
3060.76/3069.71 c #Conflicts: 1127000 | #Constraints: 143672
3060.76/3069.71 c #Conflicts: 1128000 | #Constraints: 144672
3060.76/3069.71 c #Conflicts: 1129000 | #Constraints: 145672
3060.76/3069.71 c #Conflicts: 1130000 | #Constraints: 146672
3060.76/3069.71 c #Conflicts: 1131000 | #Constraints: 147672
3243.58/3253.18 c #Conflicts: 1132000 | #Constraints: 148672
3243.58/3253.18 c #Conflicts: 1133000 | #Constraints: 149672
3243.58/3253.18 c #Conflicts: 1134000 | #Constraints: 150672
3243.58/3253.18 c #Conflicts: 1135000 | #Constraints: 151672
3243.58/3253.18 c #Conflicts: 1136000 | #Constraints: 152672
3243.58/3253.18 c #Conflicts: 1137000 | #Constraints: 153672
3243.58/3253.18 c INPROCESSING
3243.58/3253.18 c GARBAGE COLLECT
3243.58/3253.18 c #Conflicts: 1138000 | #Constraints: 91073
3243.58/3253.18 c #Conflicts: 1139000 | #Constraints: 92073
3243.58/3253.18 c #Conflicts: 1140000 | #Constraints: 93073
3243.58/3253.18 c #Conflicts: 1141000 | #Constraints: 94073
3243.58/3253.18 c #Conflicts: 1142000 | #Constraints: 95073
3243.58/3253.18 c #Conflicts: 1143000 | #Constraints: 96073
3243.58/3253.18 c #Conflicts: 1144000 | #Constraints: 97073
3243.58/3253.18 c #Conflicts: 1145000 | #Constraints: 98073
3243.58/3253.18 c #Conflicts: 1146000 | #Constraints: 99073
3243.58/3253.18 c #Conflicts: 1147000 | #Constraints: 100073
3243.58/3253.18 c #Conflicts: 1148000 | #Constraints: 101073
3243.58/3253.18 c #Conflicts: 1149000 | #Constraints: 102073
3243.58/3253.18 c #Conflicts: 1150000 | #Constraints: 103073
3243.58/3253.18 c #Conflicts: 1151000 | #Constraints: 104073
3243.58/3253.18 c #Conflicts: 1152000 | #Constraints: 105073
3243.58/3253.18 c #Conflicts: 1153000 | #Constraints: 106073
3243.58/3253.18 c #Conflicts: 1154000 | #Constraints: 107073
3243.58/3253.18 c #Conflicts: 1155000 | #Constraints: 108073
3243.58/3253.18 c #Conflicts: 1156000 | #Constraints: 109073
3243.58/3253.18 c #Conflicts: 1157000 | #Constraints: 110073
3243.58/3253.18 c #Conflicts: 1158000 | #Constraints: 111073
3243.58/3253.18 c #Conflicts: 1159000 | #Constraints: 112073
3243.58/3253.18 c #Conflicts: 1160000 | #Constraints: 113073
3243.58/3253.18 c #Conflicts: 1161000 | #Constraints: 114073
3243.58/3253.18 c #Conflicts: 1162000 | #Constraints: 115073
3243.58/3253.18 c #Conflicts: 1163000 | #Constraints: 116073
3243.58/3253.18 c #Conflicts: 1164000 | #Constraints: 117073
3243.58/3253.18 c #Conflicts: 1165000 | #Constraints: 118073
3243.58/3253.18 c #Conflicts: 1166000 | #Constraints: 119073
3243.58/3253.18 c #Conflicts: 1167000 | #Constraints: 120073
3243.58/3253.18 c #Conflicts: 1168000 | #Constraints: 121073
3243.58/3253.18 c #Conflicts: 1169000 | #Constraints: 122073
3243.58/3253.18 c #Conflicts: 1170000 | #Constraints: 123073
3243.58/3253.18 c #Conflicts: 1171000 | #Constraints: 124073
3243.58/3253.18 c #Conflicts: 1172000 | #Constraints: 125073
3243.58/3253.18 c INPROCESSING
3243.58/3253.18 c GARBAGE COLLECT
3243.58/3253.18 c #Conflicts: 1173000 | #Constraints: 90806
3243.58/3253.18 c #Conflicts: 1174000 | #Constraints: 91806
3243.58/3253.18 c #Conflicts: 1175000 | #Constraints: 92806
3243.58/3253.18 c #Conflicts: 1176000 | #Constraints: 93806
3243.58/3253.18 c #Conflicts: 1177000 | #Constraints: 94806
3243.58/3253.18 c #Conflicts: 1178000 | #Constraints: 95806
3243.58/3253.18 c #Conflicts: 1179000 | #Constraints: 96806
3243.58/3253.18 c #Conflicts: 1180000 | #Constraints: 97806
3243.58/3253.18 c #Conflicts: 1181000 | #Constraints: 98806
3243.58/3253.18 c #Conflicts: 1182000 | #Constraints: 99806
3243.58/3253.18 c #Conflicts: 1183000 | #Constraints: 100806
3243.58/3253.18 c #Conflicts: 1184000 | #Constraints: 101806
3243.58/3253.18 c #Conflicts: 1185000 | #Constraints: 102806
3243.58/3253.18 c #Conflicts: 1186000 | #Constraints: 103806
3243.58/3253.18 c #Conflicts: 1187000 | #Constraints: 104806
3243.58/3253.18 c #Conflicts: 1188000 | #Constraints: 105806
3243.58/3253.18 c #Conflicts: 1189000 | #Constraints: 106806
3243.58/3253.18 c #Conflicts: 1190000 | #Constraints: 107806
3243.58/3253.18 c #Conflicts: 1191000 | #Constraints: 108806
3243.58/3253.18 c #Conflicts: 1192000 | #Constraints: 109806
3243.58/3253.18 c #Conflicts: 1193000 | #Constraints: 110806
3243.58/3253.18 c #Conflicts: 1194000 | #Constraints: 111806
3243.58/3253.18 c #Conflicts: 1195000 | #Constraints: 112806
3243.58/3253.18 c #Conflicts: 1196000 | #Constraints: 113806
3243.58/3253.18 c #Conflicts: 1197000 | #Constraints: 114806
3243.58/3253.18 c #Conflicts: 1198000 | #Constraints: 115806
3243.58/3253.18 c #Conflicts: 1199000 | #Constraints: 116806
3243.58/3253.18 c #Conflicts: 1200000 | #Constraints: 117806
3243.58/3253.18 c #Conflicts: 1201000 | #Constraints: 118806
3243.58/3253.18 c #Conflicts: 1202000 | #Constraints: 119806
3243.58/3253.18 c #Conflicts: 1203000 | #Constraints: 120806
3243.58/3253.18 c #Conflicts: 1204000 | #Constraints: 121806
3243.58/3253.18 c #Conflicts: 1205000 | #Constraints: 122806
3243.58/3253.18 c #Conflicts: 1206000 | #Constraints: 123806
3243.58/3253.18 c #Conflicts: 1207000 | #Constraints: 124806
3243.58/3253.18 c #Conflicts: 1208000 | #Constraints: 125806
3243.58/3253.18 c #Conflicts: 1209000 | #Constraints: 126806
3559.55/3570.17 c #Conflicts: 1210000 | #Constraints: 127806
3559.55/3570.17 c #Conflicts: 1211000 | #Constraints: 128806
3559.55/3570.17 c #Conflicts: 1212000 | #Constraints: 129806
3559.55/3570.17 c #Conflicts: 1213000 | #Constraints: 130806
3559.55/3570.17 c #Conflicts: 1214000 | #Constraints: 131806
3559.55/3570.17 c #Conflicts: 1215000 | #Constraints: 132807
3559.55/3570.17 c #Conflicts: 1216000 | #Constraints: 133807
3559.55/3570.17 c #Conflicts: 1217000 | #Constraints: 134807
3559.55/3570.17 c #Conflicts: 1218000 | #Constraints: 135807
3559.55/3570.17 c #Conflicts: 1219000 | #Constraints: 136807
3559.55/3570.17 c #Conflicts: 1220000 | #Constraints: 137807
3559.55/3570.17 c #Conflicts: 1221000 | #Constraints: 138807
3559.55/3570.17 c #Conflicts: 1222000 | #Constraints: 139807
3559.55/3570.17 c #Conflicts: 1223000 | #Constraints: 140807
3559.55/3570.17 c #Conflicts: 1224000 | #Constraints: 141807
3559.55/3570.17 c #Conflicts: 1225000 | #Constraints: 142807
3559.55/3570.17 c #Conflicts: 1226000 | #Constraints: 143807
3559.55/3570.17 c #Conflicts: 1227000 | #Constraints: 144807
3559.55/3570.17 c #Conflicts: 1228000 | #Constraints: 145807
3559.55/3570.17 c #Conflicts: 1229000 | #Constraints: 146807
3559.55/3570.17 c #Conflicts: 1230000 | #Constraints: 147807
3559.55/3570.17 c #Conflicts: 1231000 | #Constraints: 148807
3559.55/3570.17 c #Conflicts: 1232000 | #Constraints: 149807
3559.55/3570.17 c #Conflicts: 1233000 | #Constraints: 150807
3559.55/3570.17 c #Conflicts: 1234000 | #Constraints: 151807
3559.55/3570.17 c #Conflicts: 1235000 | #Constraints: 152807
3559.55/3570.17 c #Conflicts: 1236000 | #Constraints: 153807
3559.55/3570.17 c #Conflicts: 1237000 | #Constraints: 154807
3559.55/3570.17 c #Conflicts: 1238000 | #Constraints: 155807
3559.55/3570.17 c #Conflicts: 1239000 | #Constraints: 156807
3559.55/3570.17 c #Conflicts: 1240000 | #Constraints: 157807
3559.55/3570.17 c #Conflicts: 1241000 | #Constraints: 158807
3559.55/3570.17 c #Conflicts: 1242000 | #Constraints: 159807
3559.55/3570.17 c INPROCESSING
3559.55/3570.17 c GARBAGE COLLECT
3559.55/3570.17 c #Conflicts: 1243000 | #Constraints: 94399
3559.55/3570.17 c #Conflicts: 1244000 | #Constraints: 95399
3559.55/3570.17 c #Conflicts: 1245000 | #Constraints: 96399
3559.55/3570.17 c #Conflicts: 1246000 | #Constraints: 97399
3559.55/3570.17 c #Conflicts: 1247000 | #Constraints: 98399
3559.55/3570.17 c #Conflicts: 1248000 | #Constraints: 99399
3559.55/3570.17 c #Conflicts: 1249000 | #Constraints: 100399
3559.55/3570.17 c #Conflicts: 1250000 | #Constraints: 101399
3559.55/3570.17 c #Conflicts: 1251000 | #Constraints: 102399
3559.55/3570.17 c #Conflicts: 1252000 | #Constraints: 103399
3559.55/3570.17 c #Conflicts: 1253000 | #Constraints: 104399
3559.55/3570.17 c #Conflicts: 1254000 | #Constraints: 105399
3559.55/3570.17 c #Conflicts: 1255000 | #Constraints: 106399
3559.55/3570.17 c #Conflicts: 1256000 | #Constraints: 107399
3559.55/3570.17 c #Conflicts: 1257000 | #Constraints: 108399
3559.55/3570.17 c #Conflicts: 1258000 | #Constraints: 109399
3559.55/3570.17 c #Conflicts: 1259000 | #Constraints: 110399
3559.55/3570.17 c #Conflicts: 1260000 | #Constraints: 111399
3559.55/3570.17 c #Conflicts: 1261000 | #Constraints: 112399
3559.55/3570.17 c #Conflicts: 1262000 | #Constraints: 113399
3559.55/3570.17 c #Conflicts: 1263000 | #Constraints: 114399
3559.55/3570.17 c #Conflicts: 1264000 | #Constraints: 115399
3559.55/3570.17 c #Conflicts: 1265000 | #Constraints: 116399
3559.55/3570.17 c #Conflicts: 1266000 | #Constraints: 117399
3559.55/3570.17 c #Conflicts: 1267000 | #Constraints: 118399
3559.55/3570.17 c #Conflicts: 1268000 | #Constraints: 119399
3559.55/3570.17 c #Conflicts: 1269000 | #Constraints: 120399
3559.55/3570.17 c #Conflicts: 1270000 | #Constraints: 121399
3559.55/3570.17 c #Conflicts: 1271000 | #Constraints: 122399
3559.55/3570.17 c #Conflicts: 1272000 | #Constraints: 123399
3559.55/3570.17 c #Conflicts: 1273000 | #Constraints: 124399
3559.55/3570.17 c #Conflicts: 1274000 | #Constraints: 125399
3559.55/3570.17 c #Conflicts: 1275000 | #Constraints: 126399
3559.55/3570.17 c #Conflicts: 1276000 | #Constraints: 127399
3559.55/3570.17 c #Conflicts: 1277000 | #Constraints: 128399
3559.55/3570.17 c #Conflicts: 1278000 | #Constraints: 129399
3559.55/3570.17 c #Conflicts: 1279000 | #Constraints: 130399
3559.55/3570.17 c #Conflicts: 1280000 | #Constraints: 131399
3559.55/3570.17 c #Conflicts: 1281000 | #Constraints: 132399
3559.55/3570.17 c #Conflicts: 1282000 | #Constraints: 133399
3559.55/3570.17 c #Conflicts: 1283000 | #Constraints: 134399
3559.55/3570.17 c #Conflicts: 1284000 | #Constraints: 135399
3559.55/3570.17 c #Conflicts: 1285000 | #Constraints: 136399
3559.55/3570.17 c #Conflicts: 1286000 | #Constraints: 137399
3559.55/3570.17 c #Conflicts: 1287000 | #Constraints: 138399
3600.02/3610.70 c #Conflicts: 1288000 | #Constraints: 139399
3600.02/3610.70 c #Conflicts: 1289000 | #Constraints: 140399
3600.02/3610.70 c #Conflicts: 1290000 | #Constraints: 141399
3600.02/3610.70 c #Conflicts: 1291000 | #Constraints: 142399
3600.02/3610.70 c #Conflicts: 1292000 | #Constraints: 143399
3600.02/3610.70 c #Conflicts: 1293000 | #Constraints: 144399
3600.02/3610.70 c #Conflicts: 1294000 | #Constraints: 145399
3600.02/3610.70 c #Conflicts: 1295000 | #Constraints: 146399
3600.02/3610.70 c #Conflicts: 1296000 | #Constraints: 147399
3600.02/3610.70 c #Conflicts: 1297000 | #Constraints: 148399
3600.02/3610.70 c #Conflicts: 1298000 | #Constraints: 149399
3600.02/3610.70 c cpu time 3564.46 s
3600.02/3610.70 c deterministic time 259729833675 2.60e+11
3600.02/3610.70 c optimization time 142.918 s
3600.02/3610.70 c total solve time 3421.28 s
3600.02/3610.70 c core-guided solve time 0 s
3600.02/3610.70 c propagation time 2063.89 s
3600.02/3610.70 c conflict analysis time 1159.87 s
3600.02/3610.70 c propagations 1377349458
3600.02/3610.70 c resolve steps 73751256
3600.02/3610.70 c decisions 40363136
3600.02/3610.70 c conflicts 1298214
3600.02/3610.70 c restarts 2507
3600.02/3610.70 c inprocessing phases 38
3600.02/3610.70 c garbage collections 38 ,( 100.00 )
3600.02/3610.70 c input clauses 23522 ,( 99.17 )
3600.02/3610.70 c input cardinalities 196 ,( 0.83 )
3600.02/3610.70 c input general constraints 0 ,( 0.00 )
3600.02/3610.70 c input average constraint length 6.44
3600.02/3610.70 c input average constraint degree 1.97
3600.02/3610.70 c learned clauses 917667 ,( 70.69 )
3600.02/3610.70 c learned cardinalities 49125 ,( 3.78 )
3600.02/3610.70 c learned general constraints 331437 ,( 25.53 )
3600.02/3610.70 c learned average constraint length 785.46
3600.02/3610.70 c learned average constraint degree 17940121.07
3600.02/3610.70 c watched CF 32, 64, 128, Arb: 80278 , 0 , 0 , 0
3600.02/3610.70 c counting CF 32, 64, 128, Arb: 251159 , 0 , 0 , 0
3600.02/3610.70 c watched constraints 80278 ,( 24.22 )
3600.02/3610.70 c counting constraints 251159 ,( 75.78 )
3600.02/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1284875942 , 795670023 , 2059968496 ,( 99385330 , 1960583166 )
3600.02/3610.70 c gcd simplifications 675
3600.02/3610.70 c detected cardinalities 8278
3600.02/3610.70 c weakened non-implied lits 344343613
3600.02/3610.70 c weakened non-implying lits 174277
3600.02/3610.70 c original variables 23324
3600.02/3610.70 c clausal propagations 656108511
3600.02/3610.70 c cardinality propagations 493528544
3600.02/3610.70 c watched propagations 4114945
3600.02/3610.70 c counting propagations 210290905
3600.02/3610.70 c watch lookups 81190443219
3600.02/3610.70 c watch backjump lookups 0
3600.02/3610.70 c watch checks 38495883678
3600.02/3610.70 c propagation checks 132691784312
3600.02/3610.70 c constraint additions 4514723405
3600.02/3610.70 c trail pops 1418991930
3600.02/3610.70 c formula constraints 23718
3600.02/3610.70 c learned constraints 1298210
3600.02/3610.70 c bound constraints 0
3600.02/3610.70 c core-guided constraints 0
3600.02/3610.70 c encountered formula constraints 45975196
3600.02/3610.70 c encountered learned constraints 29074086
3600.02/3610.70 c encountered bound constraints 0
3600.02/3610.70 c encountered core-guided constraints 0
3600.02/3610.70 c LP total time 462.422 s
3600.02/3610.70 c LP solve time 456.7 s
3600.02/3610.70 c LP constraints added 24087
3600.02/3610.70 c LP constraints removed 48
3600.02/3610.70 c LP pivots internal 166126
3600.02/3610.70 c LP pivots root 128410
3600.02/3610.70 c LP calls 21
3600.02/3610.70 c LP optimalities 3
3600.02/3610.70 c LP no pivot count 0
3600.02/3610.70 c LP infeasibilities 11
3600.02/3610.70 c LP valid Farkas constraints 11
3600.02/3610.70 c LP learned Farkas constraints 3
3600.02/3610.70 c LP basis resets 0
3600.02/3610.70 c LP cycling count 0
3600.02/3610.70 c LP singular count 0
3600.02/3610.70 c LP no primal count 0
3600.02/3610.70 c LP no farkas count 0
3600.02/3610.70 c LP other issue count 0
3600.02/3610.70 c LP Gomory cuts 5
3600.02/3610.70 c LP learned cuts 364
3600.02/3610.70 c LP deleted cuts 48
3600.02/3610.70 c LP encountered Gomory constraints 41
3600.02/3610.70 c LP encountered Farkas constraints 142
3600.02/3610.70 c LP encountered learned Farkas constraints 2
3600.02/3610.70 c CG auxiliary variables introduced 0
3600.02/3610.70 c CG solutions found 0
3600.02/3610.70 c CG cores constructed 0
3600.02/3610.70 c CG core cardinality constraints returned 0
3600.02/3610.70 c CG unit cores 0
3600.02/3610.70 c CG single cores 0
3600.02/3610.70 c CG blocks removed during cardinality reduction 0
3600.02/3610.70 c CG first core best 0
3600.02/3610.70 c CG decision core best 0
3600.02/3610.70 c CG core reduction tie 0
3600.02/3610.70 c CG core degree average 0.00
3600.02/3610.70 c CG core slack average 0.00
3600.02/3610.70 c CG core upper bound improvements 0
3600.02/3610.70 c STR number of successful calls 0
3600.02/3610.70 c STR number of unsuccessful calls 0
3600.02/3610.70 c STR number of inconclusive calls 0
3600.02/3610.70 c STR number of successful attempts 0
3600.02/3610.70 c STR number of unsuccessful attempts 0
3600.02/3610.70 c STR number of inconclusive attempts 0
3600.02/3610.70 c STR average degree increase per successful call inf
3600.02/3610.70 c STR average degree increase per successful attempt inf
3600.02/3610.70 c STR total number of conflicts for successful attempts 0
3600.02/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.70 c STR average number of conflicts per successful attempt inf
3600.02/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.70 c AVG.sumWPerc 66.93
3600.02/3610.70 c bigint constraints 0
3600.02/3610.70 s UNKNOWN
3600.02/3610.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63278 MiB free)
memory of node 1: 64507 MiB (63974 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507120-1751183937/watcher-4507120-1751183937 -o /tmp/evaluation-result-4507120-1751183937/solver-4507120-1751183937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22848 --watchdog 3760 run-dec.sh HOME/instance-4507120-1751183937.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23230, runsolver pid=23223
[startup+0.100096 s]*
/proc/loadavg: 4.11 4.11 4.05 3/244 23246
/proc/meminfo: memFree=130284624/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=60056 memory=15224 CPUtime=0.08 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 1576 0 0 0 6 2 0 0 20 0 1 0 34073481 61497344 3806 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 15014 3806 1920 1147 0 2441 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 64248 KiB
Current children cumulated memory: 18168 KiB
[startup+0.212681 s]*
/proc/loadavg: 4.11 4.11 4.05 4/245 23255
/proc/meminfo: memFree=130259884/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=61204 memory=16248 CPUtime=0.19 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 1876 0 0 0 14 5 0 0 20 0 1 0 34073481 62672896 4062 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 15301 4062 1920 1147 0 2728 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65396 KiB
Current children cumulated memory: 19192 KiB
[startup+0.312835 s]*
/proc/loadavg: 4.11 4.11 4.05 5/245 23260
/proc/meminfo: memFree=130261968/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=78688 memory=32760 CPUtime=0.29 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 6323 0 0 0 21 8 0 0 20 0 1 0 34073481 80576512 8190 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 19672 8190 2272 1147 0 7099 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82880 KiB
Current children cumulated memory: 35704 KiB
[startup+0.700298 s]
/proc/loadavg: 4.11 4.11 4.05 6/254 23276
/proc/meminfo: memFree=130216928/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=112360 memory=59108 CPUtime=0.66 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 11689 0 0 0 56 10 0 0 20 0 1 0 34073481 115056640 14777 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 28090 14777 2272 1147 0 15517 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 116552 KiB
Current children cumulated memory: 62052 KiB
[startup+1.50029 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130136348/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=113408 memory=61028 CPUtime=1.46 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 12125 0 0 0 135 11 0 0 20 0 1 0 34073481 116129792 15257 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 28352 15257 2304 1147 0 15779 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 117600 KiB
Current children cumulated memory: 63972 KiB
[startup+3.11283 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130112728/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=115200 memory=65664 CPUtime=3.07 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 12745 0 0 0 293 14 0 0 20 0 1 0 34073481 117964800 16416 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 28800 16416 2336 1147 0 16227 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 119392 KiB
Current children cumulated memory: 68608 KiB
[startup+6.30029 s]
/proc/loadavg: 4.10 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130081876/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=124216 memory=75856 CPUtime=6.24 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 14767 0 0 0 585 39 0 0 20 0 1 0 34073481 127197184 18964 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 31054 18964 2368 1147 0 18481 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 128408 KiB
Current children cumulated memory: 78800 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.11 4.05 5/254 23276
/proc/meminfo: memFree=130012332/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=143200 memory=93856 CPUtime=12.62 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 18771 0 0 0 1190 72 0 0 20 0 1 0 34073481 146636800 23464 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 35800 23464 2368 1147 0 23227 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 147392 KiB
Current children cumulated memory: 96800 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.12 4.06 5/254 23276
/proc/meminfo: memFree=129932132/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=153172 memory=104096 CPUtime=25.38 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 21308 0 0 0 2439 99 0 0 20 0 1 0 34073481 156848128 26024 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 38293 26024 2368 1147 0 25720 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 157364 KiB
Current children cumulated memory: 107040 KiB
[startup+51.1129 s]
/proc/loadavg: 4.09 4.11 4.06 5/255 23278
/proc/meminfo: memFree=129760664/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=192488 memory=144220 CPUtime=50.91 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 27340 0 0 0 4909 182 0 0 20 0 1 0 34073481 197107712 36055 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 48122 36055 2368 1147 0 35549 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 196680 KiB
Current children cumulated memory: 147164 KiB
[startup+102.3 s]
/proc/loadavg: 4.52 4.22 4.10 5/255 23279
/proc/meminfo: memFree=129642148/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=237608 memory=173936 CPUtime=101.92 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 34249 0 0 0 9906 286 0 0 20 0 1 0 34073481 243310592 43484 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 59402 43484 2368 1147 0 46829 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 241800 KiB
Current children cumulated memory: 176880 KiB
[startup+162.3 s]
/proc/loadavg: 4.58 4.31 4.14 5/255 23292
/proc/meminfo: memFree=129438500/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=257564 memory=202872 CPUtime=161.74 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 38841 0 0 0 15783 391 0 0 20 0 1 0 34073481 263745536 50718 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 64391 50718 2368 1147 0 51818 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 261756 KiB
Current children cumulated memory: 205816 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 4.27 4.13 5/255 23294
/proc/meminfo: memFree=129256400/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=364620 memory=275688 CPUtime=221.55 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 46476 0 0 0 21633 522 0 0 20 0 1 0 34073481 373370880 68922 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 91155 68922 2368 1147 0 78582 0
Current children cumulated CPU time: 221.55 s
################
# More data... #
################
/proc/23236/statm: 407028 377812 2368 1147 0 394455 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 1632304 KiB
Current children cumulated memory: 1514192 KiB
[startup+3162.3 s]
/proc/loadavg: 4.28 4.26 4.18 5/255 23442
/proc/meminfo: memFree=125398624/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=1628112 memory=1511248 CPUtime=3153.06 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 159225 0 0 0 312118 3188 0 0 20 0 1 0 34073481 1667186688 377812 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 407028 377812 2368 1147 0 394455 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 1632304 KiB
Current children cumulated memory: 1514192 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.22 4.17 5/254 23444
/proc/meminfo: memFree=125395552/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=1628112 memory=1511376 CPUtime=3212.86 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 159247 0 0 0 318015 3271 0 0 20 0 1 0 34073481 1667186688 377844 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 407028 377844 2368 1147 0 394455 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 1632304 KiB
Current children cumulated memory: 1514320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.20 4.16 5/255 23449
/proc/meminfo: memFree=125400680/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=1628864 memory=1511504 CPUtime=3272.67 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 159295 0 0 0 323948 3319 0 0 20 0 1 0 34073481 1667956736 377876 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 407216 377876 2368 1147 0 394643 0
Current children cumulated CPU time: 3272.67 s
Current children cumulated vsize: 1633056 KiB
Current children cumulated memory: 1514448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.16 5/255 23452
/proc/meminfo: memFree=125403212/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=1630196 memory=1512784 CPUtime=3332.47 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 159609 0 0 0 329912 3335 0 0 20 0 1 0 34073481 1669320704 378196 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 407549 378196 2368 1147 0 394976 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 1634388 KiB
Current children cumulated memory: 1515728 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/256 23459
/proc/meminfo: memFree=125390792/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=1630196 memory=1512912 CPUtime=3392.28 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 159634 0 0 0 335868 3360 0 0 20 0 1 0 34073481 1669320704 378228 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 407549 378228 2368 1147 0 394976 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 1634388 KiB
Current children cumulated memory: 1515856 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.15 5/256 23461
/proc/meminfo: memFree=125387496/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=1634940 memory=1516752 CPUtime=3452.09 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 160782 0 0 0 341809 3400 0 0 20 0 1 0 34073481 1674178560 379188 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 408735 379188 2368 1147 0 396162 0
Current children cumulated CPU time: 3452.09 s
Current children cumulated vsize: 1639132 KiB
Current children cumulated memory: 1519696 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/256 23463
/proc/meminfo: memFree=125354424/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=1639552 memory=1521488 CPUtime=3511.9 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 161838 0 0 0 347709 3481 0 0 20 0 1 0 34073481 1678901248 380372 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 409888 380372 2368 1147 0 397315 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 1643744 KiB
Current children cumulated memory: 1524432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/255 23465
/proc/meminfo: memFree=125334260/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=1639552 memory=1524304 CPUtime=3571.71 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 161886 0 0 0 353635 3536 0 0 20 0 1 0 34073481 1678901248 381076 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 409888 381076 2368 1147 0 397315 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 1643744 KiB
Current children cumulated memory: 1527248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.11 4.14 4.15 3/247 23475
/proc/meminfo: memFree=127587412/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=1640924 memory=1531600 CPUtime=3600.02 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 162225 0 0 0 356446 3556 0 0 20 0 1 0 34073481 1680306176 382900 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 410231 382900 2368 1147 0 397658 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1645116 KiB
Current children cumulated memory: 1534544 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.71 s]
# the end of solver process 23230 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001573 s, system=0.003422 s
Sleeping 2 seconds
[startup+3610.72 s]
# the end of solver process 23236 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.47 s, system=35.5777 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.11 4.14 4.15 3/247 23475
/proc/meminfo: memFree=127587412/131382116 swapFree=33010684/33010684
[pid=23230] ppid=23223 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23230/stat : 23230 (run-dec.sh) S 23223 23230 22838 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 34073480 4292608 736 18446744073709551615 94637849616384 94637850510917 140726264607344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94637850749968 94637850797712 94637873610752 140726264609133 140726264609256 140726264609256 140726264614858 0
/proc/23230/statm: 1048 736 672 219 0 110 0
[pid=23236] ppid=23230 vsize=1640924 memory=1531600 CPUtime=3600.02 cores=0,2
/proc/23236/stat : 23236 (roundingsat) R 23230 23230 22838 0 -1 4194304 162225 0 0 0 356446 3556 0 0 20 0 1 0 34073481 1680306176 382900 18446744073709551615 4227072 8923433 140727049374528 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19537920 140727049382327 140727049382440 140727049382440 140727049388010 0
/proc/23236/statm: 410231 382900 2368 1147 0 397658 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1645116 KiB
Current children cumulated memory: 1534544 KiB
Child status: 2
Real time (s): 3610.72
CPU time (s): 3600.05
CPU user time (s): 3564.47
CPU system time (s): 35.5777
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 1645116
Max. memory (cumulated for all children) (KiB): 1534544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.47
system time used= 35.5777
maximum resident set size= 1531984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162470
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 386
involuntary context switches= 8053
# summary of solver processes directly reported to runsolver:
# pid: 23230,23236
# total CPU time (s): 3600.05
# total CPU user time (s): 3564.47
# total CPU system time (s): 35.5777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8724 second user time and 35.8685 second system time
The end
Begin job on nodeC011 at 2025-06-29 09:58:58
IDJOB=4507120
IDBENCH=158326
IDSOLVER=3349
FILE ID=nodeC011/4507120-1751183937
RUNJOBID= nodeC011-1751180326-22848
SLURM_JOB_ID= 9587547
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507120-1751183937/watcher-4507120-1751183937 -o /tmp/evaluation-result-4507120-1751183937/solver-4507120-1751183937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751180326-22848 --watchdog 3760 run-dec.sh HOME/instance-4507120-1751183937.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=919027600
nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.541
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.294
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.388
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.771
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3493.362
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3524.821
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.287
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.291
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 130310188 kB
MemAvailable: 129975196 kB
Buffers: 3280 kB
Cached: 476316 kB
SwapCached: 0 kB
Active: 331432 kB
Inactive: 228488 kB
Active(anon): 98304 kB
Inactive(anon): 0 kB
Active(file): 233128 kB
Inactive(file): 228488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17084 kB
Writeback: 8 kB
AnonPages: 83484 kB
Mapped: 107512 kB
Shmem: 17960 kB
KReclaimable: 85652 kB
Slab: 165036 kB
SReclaimable: 85652 kB
SUnreclaim: 79384 kB
KernelStack: 3960 kB
PageTables: 3560 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 377916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC011 at 2025-06-29 10:59:09