0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.09/0.15 c #variables 23324 #constraints 23718
127.65/128.07 c #Conflicts: 1000 | #Constraints: 24717
127.65/128.07 c #Conflicts: 2000 | #Constraints: 25717
127.65/128.07 c INPROCESSING
127.65/128.07 c GARBAGE COLLECT
127.65/128.07 c #Conflicts: 3000 | #Constraints: 24970
127.65/128.07 c #Conflicts: 4000 | #Constraints: 25970
127.65/128.07 c INPROCESSING
127.65/128.07 c GARBAGE COLLECT
127.65/128.07 c #Conflicts: 5000 | #Constraints: 25497
127.65/128.07 c #Conflicts: 6000 | #Constraints: 26497
127.65/128.07 c INPROCESSING
127.65/128.07 c GARBAGE COLLECT
127.65/128.07 c #Conflicts: 7000 | #Constraints: 25719
127.65/128.07 c #Conflicts: 8000 | #Constraints: 26719
127.65/128.07 c #Conflicts: 9000 | #Constraints: 27719
127.65/128.07 c #Conflicts: 10000 | #Constraints: 28719
127.65/128.07 c #Conflicts: 11000 | #Constraints: 29719
127.65/128.07 c #Conflicts: 12000 | #Constraints: 30719
127.65/128.07 c INPROCESSING
127.65/128.07 c GARBAGE COLLECT
127.65/128.07 c #Conflicts: 13000 | #Constraints: 27736
127.65/128.07 c #Conflicts: 14000 | #Constraints: 28736
127.65/128.07 c #Conflicts: 15000 | #Constraints: 29736
127.65/128.07 c #Conflicts: 16000 | #Constraints: 30736
127.65/128.07 c INPROCESSING
127.65/128.07 c GARBAGE COLLECT
127.65/128.07 c #Conflicts: 17000 | #Constraints: 28598
127.65/128.07 c #Conflicts: 18000 | #Constraints: 29598
127.65/128.07 c #Conflicts: 19000 | #Constraints: 30598
127.65/128.07 c #Conflicts: 20000 | #Constraints: 31598
127.65/128.07 c #Conflicts: 21000 | #Constraints: 32598
127.65/128.07 c #Conflicts: 22000 | #Constraints: 33598
127.65/128.07 c #Conflicts: 23000 | #Constraints: 34598
127.65/128.07 c #Conflicts: 24000 | #Constraints: 35598
127.65/128.07 c #Conflicts: 25000 | #Constraints: 36598
127.65/128.07 c INPROCESSING
127.65/128.07 c GARBAGE COLLECT
127.65/128.07 c #Conflicts: 26000 | #Constraints: 30758
127.65/128.07 c #Conflicts: 27000 | #Constraints: 31758
127.65/128.07 c #Conflicts: 28000 | #Constraints: 32758
127.65/128.07 c #Conflicts: 29000 | #Constraints: 33758
127.65/128.07 c #Conflicts: 30000 | #Constraints: 34758
127.65/128.07 c INPROCESSING
127.65/128.07 c GARBAGE COLLECT
127.65/128.07 c #Conflicts: 31000 | #Constraints: 31469
127.65/128.07 c #Conflicts: 32000 | #Constraints: 32469
127.65/128.07 c #Conflicts: 33000 | #Constraints: 33469
127.65/128.07 c #Conflicts: 34000 | #Constraints: 34469
127.65/128.07 c #Conflicts: 35000 | #Constraints: 35469
127.65/128.07 c #Conflicts: 36000 | #Constraints: 36469
127.65/128.07 c #Conflicts: 37000 | #Constraints: 37469
127.65/128.07 c #Conflicts: 38000 | #Constraints: 38469
127.65/128.07 c #Conflicts: 39000 | #Constraints: 39469
127.65/128.07 c #Conflicts: 40000 | #Constraints: 40469
127.65/128.07 c #Conflicts: 41000 | #Constraints: 41469
127.65/128.07 c #Conflicts: 42000 | #Constraints: 42469
127.65/128.07 c #Conflicts: 43000 | #Constraints: 43469
127.65/128.07 c INPROCESSING
127.65/128.07 c GARBAGE COLLECT
127.65/128.07 c #Conflicts: 44000 | #Constraints: 34658
127.65/128.07 c #Conflicts: 45000 | #Constraints: 35658
127.65/128.07 c #Conflicts: 46000 | #Constraints: 36658
127.65/128.07 c #Conflicts: 47000 | #Constraints: 37658
127.65/128.07 c #Conflicts: 48000 | #Constraints: 38658
127.65/128.07 c #Conflicts: 49000 | #Constraints: 39658
127.65/128.07 c #Conflicts: 50000 | #Constraints: 40658
127.65/128.07 c #Conflicts: 51000 | #Constraints: 41658
127.65/128.07 c #Conflicts: 52000 | #Constraints: 42658
127.65/128.07 c #Conflicts: 53000 | #Constraints: 43658
127.65/128.07 c #Conflicts: 54000 | #Constraints: 44658
127.65/128.07 c #Conflicts: 55000 | #Constraints: 45658
127.65/128.07 c #Conflicts: 56000 | #Constraints: 46658
127.65/128.07 c #Conflicts: 57000 | #Constraints: 47658
127.65/128.07 c INPROCESSING
127.65/128.07 c GARBAGE COLLECT
127.65/128.07 c #Conflicts: 58000 | #Constraints: 36755
127.65/128.07 c #Conflicts: 59000 | #Constraints: 37755
127.65/128.07 c #Conflicts: 60000 | #Constraints: 38755
127.65/128.07 c #Conflicts: 61000 | #Constraints: 39755
127.65/128.07 c #Conflicts: 62000 | #Constraints: 40755
127.65/128.07 c #Conflicts: 63000 | #Constraints: 41755
127.65/128.07 c #Conflicts: 64000 | #Constraints: 42755
127.65/128.07 c #Conflicts: 65000 | #Constraints: 43755
127.65/128.07 c #Conflicts: 66000 | #Constraints: 44755
127.65/128.07 c #Conflicts: 67000 | #Constraints: 45755
127.65/128.07 c #Conflicts: 68000 | #Constraints: 46755
127.65/128.07 c #Conflicts: 69000 | #Constraints: 47755
127.65/128.07 c #Conflicts: 70000 | #Constraints: 48755
127.65/128.07 c #Conflicts: 71000 | #Constraints: 49755
127.65/128.07 c #Conflicts: 72000 | #Constraints: 50755
127.65/128.07 c #Conflicts: 73000 | #Constraints: 51755
127.65/128.07 c #Conflicts: 74000 | #Constraints: 52755
261.65/262.45 c INPROCESSING
261.65/262.45 c GARBAGE COLLECT
261.65/262.45 c #Conflicts: 75000 | #Constraints: 39693
261.65/262.45 c #Conflicts: 76000 | #Constraints: 40693
261.65/262.45 c #Conflicts: 77000 | #Constraints: 41693
261.65/262.45 c #Conflicts: 78000 | #Constraints: 42693
261.65/262.45 c #Conflicts: 79000 | #Constraints: 43693
261.65/262.45 c #Conflicts: 80000 | #Constraints: 44693
261.65/262.45 c #Conflicts: 81000 | #Constraints: 45693
261.65/262.45 c #Conflicts: 82000 | #Constraints: 46693
261.65/262.45 c #Conflicts: 83000 | #Constraints: 47693
261.65/262.45 c #Conflicts: 84000 | #Constraints: 48693
261.65/262.45 c #Conflicts: 85000 | #Constraints: 49693
261.65/262.45 c #Conflicts: 86000 | #Constraints: 50693
261.65/262.45 c #Conflicts: 87000 | #Constraints: 51693
261.65/262.45 c #Conflicts: 88000 | #Constraints: 52693
261.65/262.45 c #Conflicts: 89000 | #Constraints: 53693
261.65/262.45 c #Conflicts: 90000 | #Constraints: 54693
261.65/262.45 c #Conflicts: 91000 | #Constraints: 55693
261.65/262.45 c #Conflicts: 92000 | #Constraints: 56693
261.65/262.45 c INPROCESSING
261.65/262.45 c GARBAGE COLLECT
261.65/262.45 c #Conflicts: 93000 | #Constraints: 41594
261.65/262.45 c #Conflicts: 94000 | #Constraints: 42594
261.65/262.45 c #Conflicts: 95000 | #Constraints: 43594
261.65/262.45 c #Conflicts: 96000 | #Constraints: 44594
261.65/262.45 c #Conflicts: 97000 | #Constraints: 45594
261.65/262.45 c #Conflicts: 98000 | #Constraints: 46594
261.65/262.45 c #Conflicts: 99000 | #Constraints: 47594
261.65/262.45 c #Conflicts: 100000 | #Constraints: 48594
261.65/262.45 c #Conflicts: 101000 | #Constraints: 49595
261.65/262.45 c #Conflicts: 102000 | #Constraints: 50595
261.65/262.45 c #Conflicts: 103000 | #Constraints: 51595
261.65/262.45 c #Conflicts: 104000 | #Constraints: 52595
261.65/262.45 c #Conflicts: 105000 | #Constraints: 53595
261.65/262.45 c #Conflicts: 106000 | #Constraints: 54595
261.65/262.45 c #Conflicts: 107000 | #Constraints: 55595
261.65/262.45 c #Conflicts: 108000 | #Constraints: 56595
261.65/262.45 c #Conflicts: 109000 | #Constraints: 57595
261.65/262.45 c #Conflicts: 110000 | #Constraints: 58595
261.65/262.45 c #Conflicts: 111000 | #Constraints: 59595
261.65/262.45 c #Conflicts: 112000 | #Constraints: 60595
261.65/262.45 c INPROCESSING
261.65/262.45 c GARBAGE COLLECT
261.65/262.45 c #Conflicts: 113000 | #Constraints: 43350
261.65/262.45 c #Conflicts: 114000 | #Constraints: 44350
261.65/262.45 c #Conflicts: 115000 | #Constraints: 45350
261.65/262.45 c #Conflicts: 116000 | #Constraints: 46350
261.65/262.45 c #Conflicts: 117000 | #Constraints: 47350
261.65/262.45 c #Conflicts: 118000 | #Constraints: 48350
261.65/262.45 c #Conflicts: 119000 | #Constraints: 49350
261.65/262.45 c #Conflicts: 120000 | #Constraints: 50350
261.65/262.45 c #Conflicts: 121000 | #Constraints: 51350
261.65/262.45 c #Conflicts: 122000 | #Constraints: 52350
261.65/262.45 c #Conflicts: 123000 | #Constraints: 53350
261.65/262.45 c #Conflicts: 124000 | #Constraints: 54350
261.65/262.45 c #Conflicts: 125000 | #Constraints: 55350
261.65/262.45 c #Conflicts: 126000 | #Constraints: 56350
261.65/262.45 c #Conflicts: 127000 | #Constraints: 57350
261.65/262.45 c #Conflicts: 128000 | #Constraints: 58350
261.65/262.45 c #Conflicts: 129000 | #Constraints: 59350
261.65/262.45 c #Conflicts: 130000 | #Constraints: 60350
261.65/262.45 c #Conflicts: 131000 | #Constraints: 61350
261.65/262.45 c #Conflicts: 132000 | #Constraints: 62350
261.65/262.45 c #Conflicts: 133000 | #Constraints: 63350
261.65/262.45 c #Conflicts: 134000 | #Constraints: 64350
261.65/262.45 c #Conflicts: 135000 | #Constraints: 65350
261.65/262.45 c INPROCESSING
261.65/262.45 c GARBAGE COLLECT
261.65/262.45 c #Conflicts: 136000 | #Constraints: 46148
261.65/262.45 c #Conflicts: 137000 | #Constraints: 47148
261.65/262.45 c #Conflicts: 138000 | #Constraints: 48148
261.65/262.45 c #Conflicts: 139000 | #Constraints: 49148
261.65/262.45 c #Conflicts: 140000 | #Constraints: 50148
261.65/262.45 c #Conflicts: 141000 | #Constraints: 51148
261.65/262.45 c #Conflicts: 142000 | #Constraints: 52148
261.65/262.45 c #Conflicts: 143000 | #Constraints: 53148
261.65/262.45 c #Conflicts: 144000 | #Constraints: 54148
261.65/262.45 c #Conflicts: 145000 | #Constraints: 55148
261.65/262.45 c #Conflicts: 146000 | #Constraints: 56148
261.65/262.45 c #Conflicts: 147000 | #Constraints: 57148
261.65/262.45 c #Conflicts: 148000 | #Constraints: 58148
261.65/262.45 c #Conflicts: 149000 | #Constraints: 59148
261.65/262.45 c #Conflicts: 150000 | #Constraints: 60148
442.43/443.72 c #Conflicts: 151000 | #Constraints: 61148
442.43/443.72 c #Conflicts: 152000 | #Constraints: 62148
442.43/443.72 c #Conflicts: 153000 | #Constraints: 63148
442.43/443.72 c #Conflicts: 154000 | #Constraints: 64148
442.43/443.72 c #Conflicts: 155000 | #Constraints: 65148
442.43/443.72 c #Conflicts: 156000 | #Constraints: 66148
442.43/443.72 c #Conflicts: 157000 | #Constraints: 67148
442.43/443.72 c #Conflicts: 158000 | #Constraints: 68148
442.43/443.72 c #Conflicts: 159000 | #Constraints: 69148
442.43/443.72 c INPROCESSING
442.43/443.72 c GARBAGE COLLECT
442.43/443.72 c #Conflicts: 160000 | #Constraints: 47924
442.43/443.72 c #Conflicts: 161000 | #Constraints: 48924
442.43/443.72 c #Conflicts: 162000 | #Constraints: 49924
442.43/443.72 c #Conflicts: 163000 | #Constraints: 50924
442.43/443.72 c #Conflicts: 164000 | #Constraints: 51924
442.43/443.72 c #Conflicts: 165000 | #Constraints: 52924
442.43/443.72 c #Conflicts: 166000 | #Constraints: 53924
442.43/443.72 c #Conflicts: 167000 | #Constraints: 54924
442.43/443.72 c #Conflicts: 168000 | #Constraints: 55924
442.43/443.72 c #Conflicts: 169000 | #Constraints: 56924
442.43/443.72 c #Conflicts: 170000 | #Constraints: 57924
442.43/443.72 c #Conflicts: 171000 | #Constraints: 58924
442.43/443.72 c #Conflicts: 172000 | #Constraints: 59924
442.43/443.72 c #Conflicts: 173000 | #Constraints: 60924
442.43/443.72 c #Conflicts: 174000 | #Constraints: 61924
442.43/443.72 c #Conflicts: 175000 | #Constraints: 62924
442.43/443.72 c #Conflicts: 176000 | #Constraints: 63924
442.43/443.72 c #Conflicts: 177000 | #Constraints: 64924
442.43/443.72 c #Conflicts: 178000 | #Constraints: 65924
442.43/443.72 c #Conflicts: 179000 | #Constraints: 66924
442.43/443.72 c #Conflicts: 180000 | #Constraints: 67924
442.43/443.72 c #Conflicts: 181000 | #Constraints: 68924
442.43/443.72 c #Conflicts: 182000 | #Constraints: 69924
442.43/443.72 c #Conflicts: 183000 | #Constraints: 70924
442.43/443.72 c #Conflicts: 184000 | #Constraints: 71924
442.43/443.72 c #Conflicts: 185000 | #Constraints: 72924
442.43/443.72 c #Conflicts: 186000 | #Constraints: 73924
442.43/443.72 c INPROCESSING
442.43/443.72 c GARBAGE COLLECT
442.43/443.72 c #Conflicts: 187000 | #Constraints: 50637
442.43/443.72 c #Conflicts: 188000 | #Constraints: 51637
442.43/443.72 c #Conflicts: 189000 | #Constraints: 52637
442.43/443.72 c #Conflicts: 190000 | #Constraints: 53637
442.43/443.72 c #Conflicts: 191000 | #Constraints: 54637
442.43/443.72 c #Conflicts: 192000 | #Constraints: 55637
442.43/443.72 c #Conflicts: 193000 | #Constraints: 56637
442.43/443.72 c #Conflicts: 194000 | #Constraints: 57637
442.43/443.72 c #Conflicts: 195000 | #Constraints: 58637
442.43/443.72 c #Conflicts: 196000 | #Constraints: 59637
442.43/443.72 c #Conflicts: 197000 | #Constraints: 60637
442.43/443.72 c #Conflicts: 198000 | #Constraints: 61637
442.43/443.72 c #Conflicts: 199000 | #Constraints: 62637
442.43/443.72 c #Conflicts: 200000 | #Constraints: 63637
442.43/443.72 c #Conflicts: 201000 | #Constraints: 64637
442.43/443.72 c #Conflicts: 202000 | #Constraints: 65637
442.43/443.72 c #Conflicts: 203000 | #Constraints: 66637
442.43/443.72 c #Conflicts: 204000 | #Constraints: 67637
442.43/443.72 c #Conflicts: 205000 | #Constraints: 68637
442.43/443.72 c #Conflicts: 206000 | #Constraints: 69637
442.43/443.72 c #Conflicts: 207000 | #Constraints: 70637
442.43/443.72 c #Conflicts: 208000 | #Constraints: 71637
442.43/443.72 c #Conflicts: 209000 | #Constraints: 72637
442.43/443.72 c #Conflicts: 210000 | #Constraints: 73637
442.43/443.72 c #Conflicts: 211000 | #Constraints: 74637
442.43/443.72 c #Conflicts: 212000 | #Constraints: 75637
442.43/443.72 c #Conflicts: 213000 | #Constraints: 76637
442.43/443.72 c #Conflicts: 214000 | #Constraints: 77637
442.43/443.72 c INPROCESSING
442.43/443.72 c GARBAGE COLLECT
442.43/443.72 c #Conflicts: 215000 | #Constraints: 52367
442.43/443.72 c #Conflicts: 216000 | #Constraints: 53367
442.43/443.72 c #Conflicts: 217000 | #Constraints: 54367
442.43/443.72 c #Conflicts: 218000 | #Constraints: 55367
442.43/443.72 c #Conflicts: 219000 | #Constraints: 56367
442.43/443.72 c #Conflicts: 220000 | #Constraints: 57367
442.43/443.72 c #Conflicts: 221000 | #Constraints: 58367
442.43/443.72 c #Conflicts: 222000 | #Constraints: 59367
442.43/443.72 c #Conflicts: 223000 | #Constraints: 60367
442.43/443.72 c #Conflicts: 224000 | #Constraints: 61367
442.43/443.72 c #Conflicts: 225000 | #Constraints: 62367
442.43/443.72 c #Conflicts: 226000 | #Constraints: 63367
442.43/443.72 c #Conflicts: 227000 | #Constraints: 64367
599.48/601.28 c #Conflicts: 228000 | #Constraints: 65367
599.48/601.28 c #Conflicts: 229000 | #Constraints: 66367
599.48/601.28 c #Conflicts: 230000 | #Constraints: 67367
599.48/601.28 c #Conflicts: 231000 | #Constraints: 68367
599.48/601.28 c #Conflicts: 232000 | #Constraints: 69367
599.48/601.28 c #Conflicts: 233000 | #Constraints: 70367
599.48/601.28 c #Conflicts: 234000 | #Constraints: 71367
599.48/601.28 c #Conflicts: 235000 | #Constraints: 72367
599.48/601.28 c #Conflicts: 236000 | #Constraints: 73367
599.48/601.28 c #Conflicts: 237000 | #Constraints: 74367
599.48/601.28 c #Conflicts: 238000 | #Constraints: 75368
599.48/601.28 c #Conflicts: 239000 | #Constraints: 76368
599.48/601.28 c #Conflicts: 240000 | #Constraints: 77368
599.48/601.28 c #Conflicts: 241000 | #Constraints: 78368
599.48/601.28 c #Conflicts: 242000 | #Constraints: 79368
599.48/601.28 c #Conflicts: 243000 | #Constraints: 80368
599.48/601.28 c #Conflicts: 244000 | #Constraints: 81368
599.48/601.28 c INPROCESSING
599.48/601.28 c GARBAGE COLLECT
599.48/601.28 c #Conflicts: 245000 | #Constraints: 53861
599.48/601.28 c #Conflicts: 246000 | #Constraints: 54861
599.48/601.28 c #Conflicts: 247000 | #Constraints: 55861
599.48/601.28 c #Conflicts: 248000 | #Constraints: 56861
599.48/601.28 c #Conflicts: 249000 | #Constraints: 57861
599.48/601.28 c #Conflicts: 250000 | #Constraints: 58861
599.48/601.28 c #Conflicts: 251000 | #Constraints: 59861
599.48/601.28 c #Conflicts: 252000 | #Constraints: 60861
599.48/601.28 c #Conflicts: 253000 | #Constraints: 61861
599.48/601.28 c #Conflicts: 254000 | #Constraints: 62861
599.48/601.28 c #Conflicts: 255000 | #Constraints: 63861
599.48/601.28 c #Conflicts: 256000 | #Constraints: 64861
599.48/601.28 c #Conflicts: 257000 | #Constraints: 65861
599.48/601.28 c #Conflicts: 258000 | #Constraints: 66861
599.48/601.28 c #Conflicts: 259000 | #Constraints: 67861
599.48/601.28 c #Conflicts: 260000 | #Constraints: 68861
599.48/601.28 c #Conflicts: 261000 | #Constraints: 69861
599.48/601.28 c #Conflicts: 262000 | #Constraints: 70861
599.48/601.28 c #Conflicts: 263000 | #Constraints: 71861
599.48/601.28 c #Conflicts: 264000 | #Constraints: 72861
599.48/601.28 c #Conflicts: 265000 | #Constraints: 73861
599.48/601.28 c #Conflicts: 266000 | #Constraints: 74861
599.48/601.28 c #Conflicts: 267000 | #Constraints: 75861
599.48/601.28 c #Conflicts: 268000 | #Constraints: 76861
599.48/601.28 c #Conflicts: 269000 | #Constraints: 77861
599.48/601.28 c #Conflicts: 270000 | #Constraints: 78861
599.48/601.28 c #Conflicts: 271000 | #Constraints: 79861
599.48/601.28 c #Conflicts: 272000 | #Constraints: 80861
599.48/601.28 c #Conflicts: 273000 | #Constraints: 81861
599.48/601.28 c #Conflicts: 274000 | #Constraints: 82861
599.48/601.28 c #Conflicts: 275000 | #Constraints: 83861
599.48/601.28 c #Conflicts: 276000 | #Constraints: 84861
599.48/601.28 c #Conflicts: 277000 | #Constraints: 85861
599.48/601.28 c INPROCESSING
599.48/601.28 c GARBAGE COLLECT
599.48/601.28 c #Conflicts: 278000 | #Constraints: 56655
599.48/601.28 c #Conflicts: 279000 | #Constraints: 57655
599.48/601.28 c #Conflicts: 280000 | #Constraints: 58655
599.48/601.28 c #Conflicts: 281000 | #Constraints: 59655
599.48/601.28 c #Conflicts: 282000 | #Constraints: 60655
599.48/601.28 c #Conflicts: 283000 | #Constraints: 61655
599.48/601.28 c #Conflicts: 284000 | #Constraints: 62655
599.48/601.28 c #Conflicts: 285000 | #Constraints: 63655
599.48/601.28 c #Conflicts: 286000 | #Constraints: 64655
599.48/601.28 c #Conflicts: 287000 | #Constraints: 65655
599.48/601.28 c #Conflicts: 288000 | #Constraints: 66655
599.48/601.28 c #Conflicts: 289000 | #Constraints: 67655
599.48/601.28 c #Conflicts: 290000 | #Constraints: 68655
599.48/601.28 c #Conflicts: 291000 | #Constraints: 69655
599.48/601.28 c #Conflicts: 292000 | #Constraints: 70655
599.48/601.28 c #Conflicts: 293000 | #Constraints: 71655
599.48/601.28 c #Conflicts: 294000 | #Constraints: 72655
599.48/601.28 c #Conflicts: 295000 | #Constraints: 73655
599.48/601.28 c #Conflicts: 296000 | #Constraints: 74655
599.48/601.28 c #Conflicts: 297000 | #Constraints: 75655
599.48/601.28 c #Conflicts: 298000 | #Constraints: 76655
599.48/601.28 c #Conflicts: 299000 | #Constraints: 77655
599.48/601.28 c #Conflicts: 300000 | #Constraints: 78655
599.48/601.28 c #Conflicts: 301000 | #Constraints: 79655
599.48/601.28 c #Conflicts: 302000 | #Constraints: 80655
599.48/601.28 c #Conflicts: 303000 | #Constraints: 81655
599.48/601.28 c #Conflicts: 304000 | #Constraints: 82655
760.81/763.02 c #Conflicts: 305000 | #Constraints: 83655
760.81/763.02 c #Conflicts: 306000 | #Constraints: 84655
760.81/763.02 c #Conflicts: 307000 | #Constraints: 85655
760.81/763.02 c #Conflicts: 308000 | #Constraints: 86655
760.81/763.02 c #Conflicts: 309000 | #Constraints: 87655
760.81/763.02 c #Conflicts: 310000 | #Constraints: 88655
760.81/763.02 c #Conflicts: 311000 | #Constraints: 89655
760.81/763.02 c INPROCESSING
760.81/763.02 c GARBAGE COLLECT
760.81/763.02 c #Conflicts: 312000 | #Constraints: 58455
760.81/763.02 c #Conflicts: 313000 | #Constraints: 59455
760.81/763.02 c #Conflicts: 314000 | #Constraints: 60455
760.81/763.02 c #Conflicts: 315000 | #Constraints: 61455
760.81/763.02 c #Conflicts: 316000 | #Constraints: 62455
760.81/763.02 c #Conflicts: 317000 | #Constraints: 63455
760.81/763.02 c #Conflicts: 318000 | #Constraints: 64455
760.81/763.02 c #Conflicts: 319000 | #Constraints: 65455
760.81/763.02 c #Conflicts: 320000 | #Constraints: 66455
760.81/763.02 c #Conflicts: 321000 | #Constraints: 67455
760.81/763.02 c #Conflicts: 322000 | #Constraints: 68455
760.81/763.02 c #Conflicts: 323000 | #Constraints: 69455
760.81/763.02 c #Conflicts: 324000 | #Constraints: 70455
760.81/763.02 c #Conflicts: 325000 | #Constraints: 71455
760.81/763.02 c #Conflicts: 326000 | #Constraints: 72455
760.81/763.02 c #Conflicts: 327000 | #Constraints: 73455
760.81/763.02 c #Conflicts: 328000 | #Constraints: 74455
760.81/763.02 c #Conflicts: 329000 | #Constraints: 75455
760.81/763.02 c #Conflicts: 330000 | #Constraints: 76455
760.81/763.02 c #Conflicts: 331000 | #Constraints: 77455
760.81/763.02 c #Conflicts: 332000 | #Constraints: 78455
760.81/763.02 c #Conflicts: 333000 | #Constraints: 79455
760.81/763.02 c #Conflicts: 334000 | #Constraints: 80455
760.81/763.02 c #Conflicts: 335000 | #Constraints: 81455
760.81/763.02 c #Conflicts: 336000 | #Constraints: 82455
760.81/763.02 c #Conflicts: 337000 | #Constraints: 83455
760.81/763.02 c #Conflicts: 338000 | #Constraints: 84455
760.81/763.02 c #Conflicts: 339000 | #Constraints: 85455
760.81/763.02 c #Conflicts: 340000 | #Constraints: 86455
760.81/763.02 c #Conflicts: 341000 | #Constraints: 87455
760.81/763.02 c #Conflicts: 342000 | #Constraints: 88455
760.81/763.02 c #Conflicts: 343000 | #Constraints: 89455
760.81/763.02 c #Conflicts: 344000 | #Constraints: 90455
760.81/763.02 c #Conflicts: 345000 | #Constraints: 91455
760.81/763.02 c #Conflicts: 346000 | #Constraints: 92455
760.81/763.02 c #Conflicts: 347000 | #Constraints: 93455
760.81/763.02 c #Conflicts: 348000 | #Constraints: 94455
760.81/763.02 c INPROCESSING
760.81/763.02 c GARBAGE COLLECT
760.81/763.02 c #Conflicts: 349000 | #Constraints: 61381
760.81/763.02 c #Conflicts: 350000 | #Constraints: 62381
760.81/763.02 c #Conflicts: 351000 | #Constraints: 63381
760.81/763.02 c #Conflicts: 352000 | #Constraints: 64381
760.81/763.02 c #Conflicts: 353000 | #Constraints: 65381
760.81/763.02 c #Conflicts: 354000 | #Constraints: 66381
760.81/763.02 c #Conflicts: 355000 | #Constraints: 67381
760.81/763.02 c #Conflicts: 356000 | #Constraints: 68381
760.81/763.02 c #Conflicts: 357000 | #Constraints: 69381
760.81/763.02 c #Conflicts: 358000 | #Constraints: 70381
760.81/763.02 c #Conflicts: 359000 | #Constraints: 71381
760.81/763.02 c #Conflicts: 360000 | #Constraints: 72381
760.81/763.02 c #Conflicts: 361000 | #Constraints: 73381
760.81/763.02 c #Conflicts: 362000 | #Constraints: 74381
760.81/763.02 c #Conflicts: 363000 | #Constraints: 75381
760.81/763.02 c #Conflicts: 364000 | #Constraints: 76381
760.81/763.02 c #Conflicts: 365000 | #Constraints: 77381
760.81/763.02 c #Conflicts: 366000 | #Constraints: 78381
760.81/763.02 c #Conflicts: 367000 | #Constraints: 79381
760.81/763.02 c #Conflicts: 368000 | #Constraints: 80381
760.81/763.02 c #Conflicts: 369000 | #Constraints: 81381
760.81/763.02 c #Conflicts: 370000 | #Constraints: 82381
760.81/763.02 c #Conflicts: 371000 | #Constraints: 83381
760.81/763.02 c #Conflicts: 372000 | #Constraints: 84381
760.81/763.02 c #Conflicts: 373000 | #Constraints: 85381
760.81/763.02 c #Conflicts: 374000 | #Constraints: 86381
760.81/763.02 c #Conflicts: 375000 | #Constraints: 87381
760.81/763.02 c #Conflicts: 376000 | #Constraints: 88381
760.81/763.02 c #Conflicts: 377000 | #Constraints: 89381
760.81/763.02 c #Conflicts: 378000 | #Constraints: 90381
760.81/763.02 c #Conflicts: 379000 | #Constraints: 91381
760.81/763.02 c #Conflicts: 380000 | #Constraints: 92381
760.81/763.02 c #Conflicts: 381000 | #Constraints: 93381
760.81/763.02 c #Conflicts: 382000 | #Constraints: 94381
938.49/941.23 c #Conflicts: 383000 | #Constraints: 95381
938.49/941.23 c #Conflicts: 384000 | #Constraints: 96381
938.49/941.23 c #Conflicts: 385000 | #Constraints: 97381
938.49/941.23 c #Conflicts: 386000 | #Constraints: 98381
938.49/941.23 c INPROCESSING
938.49/941.23 c GARBAGE COLLECT
938.49/941.23 c #Conflicts: 387000 | #Constraints: 63214
938.49/941.23 c #Conflicts: 388000 | #Constraints: 64214
938.49/941.23 c #Conflicts: 389000 | #Constraints: 65214
938.49/941.23 c #Conflicts: 390000 | #Constraints: 66214
938.49/941.23 c #Conflicts: 391000 | #Constraints: 67214
938.49/941.23 c #Conflicts: 392000 | #Constraints: 68214
938.49/941.23 c #Conflicts: 393000 | #Constraints: 69214
938.49/941.23 c #Conflicts: 394000 | #Constraints: 70214
938.49/941.23 c #Conflicts: 395000 | #Constraints: 71214
938.49/941.23 c #Conflicts: 396000 | #Constraints: 72215
938.49/941.23 c #Conflicts: 397000 | #Constraints: 73215
938.49/941.23 c #Conflicts: 398000 | #Constraints: 74215
938.49/941.23 c #Conflicts: 399000 | #Constraints: 75215
938.49/941.23 c #Conflicts: 400000 | #Constraints: 76215
938.49/941.23 c #Conflicts: 401000 | #Constraints: 77215
938.49/941.23 c #Conflicts: 402000 | #Constraints: 78215
938.49/941.23 c #Conflicts: 403000 | #Constraints: 79215
938.49/941.23 c #Conflicts: 404000 | #Constraints: 80215
938.49/941.23 c #Conflicts: 405000 | #Constraints: 81215
938.49/941.23 c #Conflicts: 406000 | #Constraints: 82215
938.49/941.23 c #Conflicts: 407000 | #Constraints: 83215
938.49/941.23 c #Conflicts: 408000 | #Constraints: 84215
938.49/941.23 c #Conflicts: 409000 | #Constraints: 85215
938.49/941.23 c #Conflicts: 410000 | #Constraints: 86215
938.49/941.23 c #Conflicts: 411000 | #Constraints: 87215
938.49/941.23 c #Conflicts: 412000 | #Constraints: 88215
938.49/941.23 c #Conflicts: 413000 | #Constraints: 89215
938.49/941.23 c #Conflicts: 414000 | #Constraints: 90215
938.49/941.23 c #Conflicts: 415000 | #Constraints: 91215
938.49/941.23 c #Conflicts: 416000 | #Constraints: 92215
938.49/941.23 c #Conflicts: 417000 | #Constraints: 93215
938.49/941.23 c #Conflicts: 418000 | #Constraints: 94215
938.49/941.23 c #Conflicts: 419000 | #Constraints: 95215
938.49/941.23 c #Conflicts: 420000 | #Constraints: 96215
938.49/941.23 c #Conflicts: 421000 | #Constraints: 97215
938.49/941.23 c #Conflicts: 422000 | #Constraints: 98215
938.49/941.23 c #Conflicts: 423000 | #Constraints: 99215
938.49/941.23 c #Conflicts: 424000 | #Constraints: 100215
938.49/941.23 c #Conflicts: 425000 | #Constraints: 101215
938.49/941.23 c #Conflicts: 426000 | #Constraints: 102215
938.49/941.23 c INPROCESSING
938.49/941.23 c GARBAGE COLLECT
938.49/941.23 c #Conflicts: 427000 | #Constraints: 64799
938.49/941.23 c #Conflicts: 428000 | #Constraints: 65799
938.49/941.23 c #Conflicts: 429000 | #Constraints: 66799
938.49/941.23 c #Conflicts: 430000 | #Constraints: 67799
938.49/941.23 c #Conflicts: 431000 | #Constraints: 68799
938.49/941.23 c #Conflicts: 432000 | #Constraints: 69799
938.49/941.23 c #Conflicts: 433000 | #Constraints: 70799
938.49/941.23 c #Conflicts: 434000 | #Constraints: 71799
938.49/941.23 c #Conflicts: 435000 | #Constraints: 72799
938.49/941.23 c #Conflicts: 436000 | #Constraints: 73799
938.49/941.23 c #Conflicts: 437000 | #Constraints: 74799
938.49/941.23 c #Conflicts: 438000 | #Constraints: 75799
938.49/941.23 c #Conflicts: 439000 | #Constraints: 76799
938.49/941.23 c #Conflicts: 440000 | #Constraints: 77799
938.49/941.23 c #Conflicts: 441000 | #Constraints: 78799
938.49/941.23 c #Conflicts: 442000 | #Constraints: 79799
938.49/941.23 c #Conflicts: 443000 | #Constraints: 80799
938.49/941.23 c #Conflicts: 444000 | #Constraints: 81799
938.49/941.23 c #Conflicts: 445000 | #Constraints: 82799
938.49/941.23 c #Conflicts: 446000 | #Constraints: 83799
938.49/941.23 c #Conflicts: 447000 | #Constraints: 84799
938.49/941.23 c #Conflicts: 448000 | #Constraints: 85799
938.49/941.23 c #Conflicts: 449000 | #Constraints: 86799
938.49/941.23 c #Conflicts: 450000 | #Constraints: 87799
938.49/941.23 c #Conflicts: 451000 | #Constraints: 88799
938.49/941.23 c #Conflicts: 452000 | #Constraints: 89799
938.49/941.23 c #Conflicts: 453000 | #Constraints: 90799
938.49/941.23 c #Conflicts: 454000 | #Constraints: 91799
938.49/941.23 c #Conflicts: 455000 | #Constraints: 92799
938.49/941.23 c #Conflicts: 456000 | #Constraints: 93799
938.49/941.23 c #Conflicts: 457000 | #Constraints: 94799
938.49/941.23 c #Conflicts: 458000 | #Constraints: 95799
938.49/941.23 c #Conflicts: 459000 | #Constraints: 96799
1119.06/1122.39 c #Conflicts: 460000 | #Constraints: 97799
1119.06/1122.39 c #Conflicts: 461000 | #Constraints: 98799
1119.06/1122.39 c #Conflicts: 462000 | #Constraints: 99799
1119.06/1122.39 c #Conflicts: 463000 | #Constraints: 100799
1119.06/1122.39 c #Conflicts: 464000 | #Constraints: 101799
1119.06/1122.39 c #Conflicts: 465000 | #Constraints: 102799
1119.06/1122.39 c #Conflicts: 466000 | #Constraints: 103799
1119.06/1122.39 c #Conflicts: 467000 | #Constraints: 104799
1119.06/1122.39 c #Conflicts: 468000 | #Constraints: 105799
1119.06/1122.39 c #Conflicts: 469000 | #Constraints: 106799
1119.06/1122.39 c INPROCESSING
1119.06/1122.39 c GARBAGE COLLECT
1119.06/1122.39 c #Conflicts: 470000 | #Constraints: 67390
1119.06/1122.39 c #Conflicts: 471000 | #Constraints: 68390
1119.06/1122.39 c #Conflicts: 472000 | #Constraints: 69390
1119.06/1122.39 c #Conflicts: 473000 | #Constraints: 70390
1119.06/1122.39 c #Conflicts: 474000 | #Constraints: 71390
1119.06/1122.39 c #Conflicts: 475000 | #Constraints: 72390
1119.06/1122.39 c #Conflicts: 476000 | #Constraints: 73390
1119.06/1122.39 c #Conflicts: 477000 | #Constraints: 74390
1119.06/1122.39 c #Conflicts: 478000 | #Constraints: 75390
1119.06/1122.39 c #Conflicts: 479000 | #Constraints: 76390
1119.06/1122.39 c #Conflicts: 480000 | #Constraints: 77390
1119.06/1122.39 c #Conflicts: 481000 | #Constraints: 78390
1119.06/1122.39 c #Conflicts: 482000 | #Constraints: 79390
1119.06/1122.39 c #Conflicts: 483000 | #Constraints: 80390
1119.06/1122.39 c #Conflicts: 484000 | #Constraints: 81390
1119.06/1122.39 c #Conflicts: 485000 | #Constraints: 82390
1119.06/1122.39 c #Conflicts: 486000 | #Constraints: 83390
1119.06/1122.39 c #Conflicts: 487000 | #Constraints: 84390
1119.06/1122.39 c #Conflicts: 488000 | #Constraints: 85390
1119.06/1122.39 c #Conflicts: 489000 | #Constraints: 86390
1119.06/1122.39 c #Conflicts: 490000 | #Constraints: 87390
1119.06/1122.39 c #Conflicts: 491000 | #Constraints: 88390
1119.06/1122.39 c #Conflicts: 492000 | #Constraints: 89390
1119.06/1122.39 c #Conflicts: 493000 | #Constraints: 90390
1119.06/1122.39 c #Conflicts: 494000 | #Constraints: 91390
1119.06/1122.39 c #Conflicts: 495000 | #Constraints: 92390
1119.06/1122.39 c #Conflicts: 496000 | #Constraints: 93390
1119.06/1122.39 c #Conflicts: 497000 | #Constraints: 94390
1119.06/1122.39 c #Conflicts: 498000 | #Constraints: 95390
1119.06/1122.39 c #Conflicts: 499000 | #Constraints: 96390
1119.06/1122.39 c #Conflicts: 500000 | #Constraints: 97390
1119.06/1122.39 c #Conflicts: 501000 | #Constraints: 98390
1119.06/1122.39 c #Conflicts: 502000 | #Constraints: 99390
1119.06/1122.39 c #Conflicts: 503000 | #Constraints: 100390
1119.06/1122.39 c #Conflicts: 504000 | #Constraints: 101390
1119.06/1122.39 c #Conflicts: 505000 | #Constraints: 102390
1119.06/1122.39 c #Conflicts: 506000 | #Constraints: 103390
1119.06/1122.39 c #Conflicts: 507000 | #Constraints: 104390
1119.06/1122.39 c #Conflicts: 508000 | #Constraints: 105390
1119.06/1122.39 c #Conflicts: 509000 | #Constraints: 106390
1119.06/1122.39 c #Conflicts: 510000 | #Constraints: 107390
1119.06/1122.39 c #Conflicts: 511000 | #Constraints: 108390
1119.06/1122.39 c #Conflicts: 512000 | #Constraints: 109390
1119.06/1122.39 c #Conflicts: 513000 | #Constraints: 110390
1119.06/1122.39 c INPROCESSING
1119.06/1122.39 c GARBAGE COLLECT
1119.06/1122.39 c #Conflicts: 514000 | #Constraints: 69034
1119.06/1122.39 c #Conflicts: 515000 | #Constraints: 70034
1119.06/1122.39 c #Conflicts: 516000 | #Constraints: 71034
1119.06/1122.39 c #Conflicts: 517000 | #Constraints: 72034
1119.06/1122.39 c #Conflicts: 518000 | #Constraints: 73034
1119.06/1122.39 c #Conflicts: 519000 | #Constraints: 74034
1119.06/1122.39 c #Conflicts: 520000 | #Constraints: 75034
1119.06/1122.39 c #Conflicts: 521000 | #Constraints: 76034
1119.06/1122.39 c #Conflicts: 522000 | #Constraints: 77034
1119.06/1122.39 c #Conflicts: 523000 | #Constraints: 78034
1119.06/1122.39 c #Conflicts: 524000 | #Constraints: 79034
1119.06/1122.39 c #Conflicts: 525000 | #Constraints: 80034
1119.06/1122.39 c #Conflicts: 526000 | #Constraints: 81034
1119.06/1122.39 c #Conflicts: 527000 | #Constraints: 82034
1119.06/1122.39 c #Conflicts: 528000 | #Constraints: 83034
1119.06/1122.39 c #Conflicts: 529000 | #Constraints: 84034
1119.06/1122.39 c #Conflicts: 530000 | #Constraints: 85034
1119.06/1122.39 c #Conflicts: 531000 | #Constraints: 86034
1119.06/1122.39 c #Conflicts: 532000 | #Constraints: 87034
1119.06/1122.39 c #Conflicts: 533000 | #Constraints: 88034
1119.06/1122.39 c #Conflicts: 534000 | #Constraints: 89034
1119.06/1122.39 c #Conflicts: 535000 | #Constraints: 90034
1119.06/1122.39 c #Conflicts: 536000 | #Constraints: 91034
1119.06/1122.39 c #Conflicts: 537000 | #Constraints: 92034
1124.25/1127.51 c INPROCESSING
1124.25/1127.51 c GARBAGE COLLECT
1124.25/1127.51 c rational objective 196
1252.16/1255.80 c #Conflicts: 538000 | #Constraints: 69295
1252.16/1255.80 c #Conflicts: 539000 | #Constraints: 70295
1252.16/1255.80 c #Conflicts: 540000 | #Constraints: 71295
1252.16/1255.80 c #Conflicts: 541000 | #Constraints: 72295
1252.16/1255.80 c #Conflicts: 542000 | #Constraints: 73295
1252.16/1255.80 c #Conflicts: 543000 | #Constraints: 74295
1252.16/1255.80 c #Conflicts: 544000 | #Constraints: 75295
1252.16/1255.80 c #Conflicts: 545000 | #Constraints: 76295
1252.16/1255.80 c #Conflicts: 546000 | #Constraints: 77295
1252.16/1255.80 c #Conflicts: 547000 | #Constraints: 78295
1252.16/1255.80 c #Conflicts: 548000 | #Constraints: 79295
1252.16/1255.80 c #Conflicts: 549000 | #Constraints: 80295
1252.16/1255.80 c #Conflicts: 550000 | #Constraints: 81295
1252.16/1255.80 c #Conflicts: 551000 | #Constraints: 82295
1252.16/1255.80 c #Conflicts: 552000 | #Constraints: 83295
1252.16/1255.80 c #Conflicts: 553000 | #Constraints: 84295
1252.16/1255.80 c #Conflicts: 554000 | #Constraints: 85295
1252.16/1255.80 c #Conflicts: 555000 | #Constraints: 86295
1252.16/1255.80 c #Conflicts: 556000 | #Constraints: 87295
1252.16/1255.80 c #Conflicts: 557000 | #Constraints: 88295
1252.16/1255.80 c #Conflicts: 558000 | #Constraints: 89295
1252.16/1255.80 c #Conflicts: 559000 | #Constraints: 90295
1252.16/1255.80 c #Conflicts: 560000 | #Constraints: 91295
1252.16/1255.80 c #Conflicts: 561000 | #Constraints: 92295
1252.16/1255.80 c #Conflicts: 562000 | #Constraints: 93295
1252.16/1255.80 c #Conflicts: 563000 | #Constraints: 94295
1252.16/1255.80 c #Conflicts: 564000 | #Constraints: 95295
1252.16/1255.80 c #Conflicts: 565000 | #Constraints: 96295
1252.16/1255.80 c #Conflicts: 566000 | #Constraints: 97295
1252.16/1255.80 c #Conflicts: 567000 | #Constraints: 98295
1252.16/1255.80 c #Conflicts: 568000 | #Constraints: 99295
1252.16/1255.80 c #Conflicts: 569000 | #Constraints: 100295
1252.16/1255.80 c #Conflicts: 570000 | #Constraints: 101295
1252.16/1255.80 c #Conflicts: 571000 | #Constraints: 102295
1252.16/1255.80 c #Conflicts: 572000 | #Constraints: 103295
1252.16/1255.80 c #Conflicts: 573000 | #Constraints: 104295
1252.16/1255.80 c #Conflicts: 574000 | #Constraints: 105295
1252.16/1255.80 c #Conflicts: 575000 | #Constraints: 106295
1252.16/1255.80 c #Conflicts: 576000 | #Constraints: 107295
1252.16/1255.80 c #Conflicts: 577000 | #Constraints: 108295
1252.16/1255.80 c #Conflicts: 578000 | #Constraints: 109295
1252.16/1255.80 c #Conflicts: 579000 | #Constraints: 110295
1252.16/1255.80 c #Conflicts: 580000 | #Constraints: 111295
1252.16/1255.80 c #Conflicts: 581000 | #Constraints: 112295
1252.16/1255.80 c #Conflicts: 582000 | #Constraints: 113295
1252.16/1255.80 c #Conflicts: 583000 | #Constraints: 114295
1252.16/1255.80 c #Conflicts: 584000 | #Constraints: 115295
1252.16/1255.80 c #Conflicts: 585000 | #Constraints: 116295
1252.16/1255.80 c INPROCESSING
1252.16/1255.80 c GARBAGE COLLECT
1252.16/1255.80 c rational objective 196
1423.25/1427.41 c #Conflicts: 586000 | #Constraints: 72372
1423.25/1427.41 c #Conflicts: 587000 | #Constraints: 73372
1423.25/1427.41 c #Conflicts: 588000 | #Constraints: 74372
1423.25/1427.41 c #Conflicts: 589000 | #Constraints: 75372
1423.25/1427.41 c #Conflicts: 590000 | #Constraints: 76372
1423.25/1427.41 c #Conflicts: 591000 | #Constraints: 77372
1423.25/1427.41 c #Conflicts: 592000 | #Constraints: 78372
1423.25/1427.41 c #Conflicts: 593000 | #Constraints: 79372
1423.25/1427.41 c #Conflicts: 594000 | #Constraints: 80372
1423.25/1427.41 c #Conflicts: 595000 | #Constraints: 81372
1423.25/1427.41 c #Conflicts: 596000 | #Constraints: 82372
1423.25/1427.41 c #Conflicts: 597000 | #Constraints: 83372
1423.25/1427.41 c #Conflicts: 598000 | #Constraints: 84372
1423.25/1427.41 c #Conflicts: 599000 | #Constraints: 85372
1423.25/1427.41 c #Conflicts: 600000 | #Constraints: 86372
1423.25/1427.41 c #Conflicts: 601000 | #Constraints: 87372
1423.25/1427.41 c #Conflicts: 602000 | #Constraints: 88372
1423.25/1427.41 c #Conflicts: 603000 | #Constraints: 89372
1423.25/1427.41 c #Conflicts: 604000 | #Constraints: 90372
1423.25/1427.41 c #Conflicts: 605000 | #Constraints: 91372
1423.25/1427.41 c #Conflicts: 606000 | #Constraints: 92372
1423.25/1427.41 c #Conflicts: 607000 | #Constraints: 93372
1423.25/1427.41 c #Conflicts: 608000 | #Constraints: 94372
1423.25/1427.41 c #Conflicts: 609000 | #Constraints: 95372
1423.25/1427.41 c #Conflicts: 610000 | #Constraints: 96372
1423.25/1427.41 c #Conflicts: 611000 | #Constraints: 97372
1423.25/1427.41 c #Conflicts: 612000 | #Constraints: 98372
1423.25/1427.41 c #Conflicts: 613000 | #Constraints: 99372
1423.25/1427.41 c #Conflicts: 614000 | #Constraints: 100372
1423.25/1427.41 c #Conflicts: 615000 | #Constraints: 101372
1423.25/1427.41 c #Conflicts: 616000 | #Constraints: 102372
1423.25/1427.41 c #Conflicts: 617000 | #Constraints: 103372
1423.25/1427.41 c #Conflicts: 618000 | #Constraints: 104372
1423.25/1427.41 c #Conflicts: 619000 | #Constraints: 105372
1423.25/1427.41 c #Conflicts: 620000 | #Constraints: 106372
1423.25/1427.41 c #Conflicts: 621000 | #Constraints: 107372
1423.25/1427.41 c #Conflicts: 622000 | #Constraints: 108372
1423.25/1427.41 c #Conflicts: 623000 | #Constraints: 109372
1423.25/1427.41 c #Conflicts: 624000 | #Constraints: 110372
1423.25/1427.41 c #Conflicts: 625000 | #Constraints: 111372
1423.25/1427.41 c #Conflicts: 626000 | #Constraints: 112372
1423.25/1427.41 c #Conflicts: 627000 | #Constraints: 113372
1423.25/1427.41 c #Conflicts: 628000 | #Constraints: 114372
1423.25/1427.41 c #Conflicts: 629000 | #Constraints: 115372
1423.25/1427.41 c #Conflicts: 630000 | #Constraints: 116372
1423.25/1427.41 c #Conflicts: 631000 | #Constraints: 117372
1423.25/1427.41 c #Conflicts: 632000 | #Constraints: 118372
1423.25/1427.41 c #Conflicts: 633000 | #Constraints: 119372
1423.25/1427.41 c #Conflicts: 634000 | #Constraints: 120372
1423.25/1427.41 c INPROCESSING
1423.25/1427.41 c GARBAGE COLLECT
1423.25/1427.41 c #Conflicts: 635000 | #Constraints: 74220
1423.25/1427.41 c #Conflicts: 636000 | #Constraints: 75220
1423.25/1427.41 c #Conflicts: 637000 | #Constraints: 76220
1423.25/1427.41 c #Conflicts: 638000 | #Constraints: 77220
1423.25/1427.41 c #Conflicts: 639000 | #Constraints: 78220
1423.25/1427.41 c #Conflicts: 640000 | #Constraints: 79220
1423.25/1427.41 c #Conflicts: 641000 | #Constraints: 80220
1423.25/1427.41 c #Conflicts: 642000 | #Constraints: 81220
1423.25/1427.41 c #Conflicts: 643000 | #Constraints: 82220
1423.25/1427.41 c #Conflicts: 644000 | #Constraints: 83220
1423.25/1427.41 c #Conflicts: 645000 | #Constraints: 84220
1423.25/1427.41 c #Conflicts: 646000 | #Constraints: 85220
1423.25/1427.41 c #Conflicts: 647000 | #Constraints: 86220
1423.25/1427.41 c #Conflicts: 648000 | #Constraints: 87220
1423.25/1427.41 c #Conflicts: 649000 | #Constraints: 88220
1423.25/1427.41 c #Conflicts: 650000 | #Constraints: 89220
1423.25/1427.41 c #Conflicts: 651000 | #Constraints: 90220
1423.25/1427.41 c #Conflicts: 652000 | #Constraints: 91220
1423.25/1427.41 c #Conflicts: 653000 | #Constraints: 92220
1423.25/1427.41 c #Conflicts: 654000 | #Constraints: 93220
1423.25/1427.41 c #Conflicts: 655000 | #Constraints: 94220
1423.25/1427.41 c #Conflicts: 656000 | #Constraints: 95220
1423.25/1427.41 c #Conflicts: 657000 | #Constraints: 96220
1423.25/1427.41 c #Conflicts: 658000 | #Constraints: 97220
1423.25/1427.41 c #Conflicts: 659000 | #Constraints: 98220
1423.25/1427.41 c #Conflicts: 660000 | #Constraints: 99220
1423.25/1427.41 c #Conflicts: 661000 | #Constraints: 100220
1423.25/1427.41 c #Conflicts: 662000 | #Constraints: 101220
1423.25/1427.41 c #Conflicts: 663000 | #Constraints: 102220
1423.25/1427.41 c #Conflicts: 664000 | #Constraints: 103220
1752.88/1758.03 c #Conflicts: 665000 | #Constraints: 104220
1752.88/1758.03 c #Conflicts: 666000 | #Constraints: 105220
1752.88/1758.03 c #Conflicts: 667000 | #Constraints: 106220
1752.88/1758.03 c #Conflicts: 668000 | #Constraints: 107220
1752.88/1758.03 c #Conflicts: 669000 | #Constraints: 108220
1752.88/1758.03 c #Conflicts: 670000 | #Constraints: 109220
1752.88/1758.03 c #Conflicts: 671000 | #Constraints: 110220
1752.88/1758.03 c #Conflicts: 672000 | #Constraints: 111220
1752.88/1758.03 c #Conflicts: 673000 | #Constraints: 112220
1752.88/1758.03 c #Conflicts: 674000 | #Constraints: 113220
1752.88/1758.03 c #Conflicts: 675000 | #Constraints: 114220
1752.88/1758.03 c #Conflicts: 676000 | #Constraints: 115220
1752.88/1758.03 c #Conflicts: 677000 | #Constraints: 116220
1752.88/1758.03 c #Conflicts: 678000 | #Constraints: 117220
1752.88/1758.03 c #Conflicts: 679000 | #Constraints: 118220
1752.88/1758.03 c #Conflicts: 680000 | #Constraints: 119220
1752.88/1758.03 c #Conflicts: 681000 | #Constraints: 120220
1752.88/1758.03 c #Conflicts: 682000 | #Constraints: 121220
1752.88/1758.03 c #Conflicts: 683000 | #Constraints: 122220
1752.88/1758.03 c #Conflicts: 684000 | #Constraints: 123220
1752.88/1758.03 c #Conflicts: 685000 | #Constraints: 124220
1752.88/1758.03 c #Conflicts: 686000 | #Constraints: 125220
1752.88/1758.03 c INPROCESSING
1752.88/1758.03 c GARBAGE COLLECT
1752.88/1758.03 c #Conflicts: 687000 | #Constraints: 77105
1752.88/1758.03 c #Conflicts: 688000 | #Constraints: 78105
1752.88/1758.03 c #Conflicts: 689000 | #Constraints: 79105
1752.88/1758.03 c #Conflicts: 690000 | #Constraints: 80106
1752.88/1758.03 c #Conflicts: 691000 | #Constraints: 81106
1752.88/1758.03 c #Conflicts: 692000 | #Constraints: 82106
1752.88/1758.03 c #Conflicts: 693000 | #Constraints: 83106
1752.88/1758.03 c #Conflicts: 694000 | #Constraints: 84106
1752.88/1758.03 c #Conflicts: 695000 | #Constraints: 85106
1752.88/1758.03 c #Conflicts: 696000 | #Constraints: 86106
1752.88/1758.03 c #Conflicts: 697000 | #Constraints: 87106
1752.88/1758.03 c #Conflicts: 698000 | #Constraints: 88106
1752.88/1758.03 c #Conflicts: 699000 | #Constraints: 89106
1752.88/1758.03 c #Conflicts: 700000 | #Constraints: 90106
1752.88/1758.03 c #Conflicts: 701000 | #Constraints: 91106
1752.88/1758.03 c #Conflicts: 702000 | #Constraints: 92106
1752.88/1758.03 c #Conflicts: 703000 | #Constraints: 93106
1752.88/1758.03 c #Conflicts: 704000 | #Constraints: 94106
1752.88/1758.03 c #Conflicts: 705000 | #Constraints: 95106
1752.88/1758.03 c #Conflicts: 706000 | #Constraints: 96106
1752.88/1758.03 c #Conflicts: 707000 | #Constraints: 97106
1752.88/1758.03 c #Conflicts: 708000 | #Constraints: 98106
1752.88/1758.03 c #Conflicts: 709000 | #Constraints: 99106
1752.88/1758.03 c #Conflicts: 710000 | #Constraints: 100106
1752.88/1758.03 c #Conflicts: 711000 | #Constraints: 101106
1752.88/1758.03 c #Conflicts: 712000 | #Constraints: 102106
1752.88/1758.03 c #Conflicts: 713000 | #Constraints: 103106
1752.88/1758.03 c #Conflicts: 714000 | #Constraints: 104106
1752.88/1758.03 c #Conflicts: 715000 | #Constraints: 105106
1752.88/1758.03 c #Conflicts: 716000 | #Constraints: 106106
1752.88/1758.03 c #Conflicts: 717000 | #Constraints: 107106
1752.88/1758.03 c #Conflicts: 718000 | #Constraints: 108106
1752.88/1758.03 c #Conflicts: 719000 | #Constraints: 109106
1752.88/1758.03 c #Conflicts: 720000 | #Constraints: 110106
1752.88/1758.03 c #Conflicts: 721000 | #Constraints: 111106
1752.88/1758.03 c #Conflicts: 722000 | #Constraints: 112106
1752.88/1758.03 c #Conflicts: 723000 | #Constraints: 113106
1752.88/1758.03 c #Conflicts: 724000 | #Constraints: 114106
1752.88/1758.03 c #Conflicts: 725000 | #Constraints: 115106
1752.88/1758.03 c #Conflicts: 726000 | #Constraints: 116106
1752.88/1758.03 c #Conflicts: 727000 | #Constraints: 117106
1752.88/1758.03 c #Conflicts: 728000 | #Constraints: 118106
1752.88/1758.03 c #Conflicts: 729000 | #Constraints: 119106
1752.88/1758.03 c #Conflicts: 730000 | #Constraints: 120106
1752.88/1758.03 c #Conflicts: 731000 | #Constraints: 121106
1752.88/1758.03 c #Conflicts: 732000 | #Constraints: 122106
1752.88/1758.03 c #Conflicts: 733000 | #Constraints: 123106
1752.88/1758.03 c #Conflicts: 734000 | #Constraints: 124106
1752.88/1758.03 c #Conflicts: 735000 | #Constraints: 125106
1752.88/1758.03 c #Conflicts: 736000 | #Constraints: 126106
1752.88/1758.03 c #Conflicts: 737000 | #Constraints: 127106
1752.88/1758.03 c #Conflicts: 738000 | #Constraints: 128106
1752.88/1758.03 c #Conflicts: 739000 | #Constraints: 129106
1752.88/1758.03 c INPROCESSING
1752.88/1758.03 c GARBAGE COLLECT
1752.88/1758.03 c #Conflicts: 740000 | #Constraints: 78766
1752.88/1758.03 c #Conflicts: 741000 | #Constraints: 79766
1925.96/1931.69 c #Conflicts: 742000 | #Constraints: 80766
1925.96/1931.69 c #Conflicts: 743000 | #Constraints: 81766
1925.96/1931.69 c #Conflicts: 744000 | #Constraints: 82766
1925.96/1931.69 c #Conflicts: 745000 | #Constraints: 83766
1925.96/1931.69 c #Conflicts: 746000 | #Constraints: 84766
1925.96/1931.69 c #Conflicts: 747000 | #Constraints: 85766
1925.96/1931.69 c #Conflicts: 748000 | #Constraints: 86766
1925.96/1931.69 c #Conflicts: 749000 | #Constraints: 87766
1925.96/1931.69 c #Conflicts: 750000 | #Constraints: 88766
1925.96/1931.69 c #Conflicts: 751000 | #Constraints: 89766
1925.96/1931.69 c #Conflicts: 752000 | #Constraints: 90766
1925.96/1931.69 c #Conflicts: 753000 | #Constraints: 91766
1925.96/1931.69 c #Conflicts: 754000 | #Constraints: 92766
1925.96/1931.69 c #Conflicts: 755000 | #Constraints: 93766
1925.96/1931.69 c #Conflicts: 756000 | #Constraints: 94766
1925.96/1931.69 c #Conflicts: 757000 | #Constraints: 95766
1925.96/1931.69 c #Conflicts: 758000 | #Constraints: 96766
1925.96/1931.69 c #Conflicts: 759000 | #Constraints: 97766
1925.96/1931.69 c #Conflicts: 760000 | #Constraints: 98766
1925.96/1931.69 c #Conflicts: 761000 | #Constraints: 99766
1925.96/1931.69 c #Conflicts: 762000 | #Constraints: 100766
1925.96/1931.69 c #Conflicts: 763000 | #Constraints: 101766
1925.96/1931.69 c #Conflicts: 764000 | #Constraints: 102766
1925.96/1931.69 c #Conflicts: 765000 | #Constraints: 103766
1925.96/1931.69 c #Conflicts: 766000 | #Constraints: 104766
1925.96/1931.69 c #Conflicts: 767000 | #Constraints: 105766
1925.96/1931.69 c #Conflicts: 768000 | #Constraints: 106766
1925.96/1931.69 c #Conflicts: 769000 | #Constraints: 107766
1925.96/1931.69 c #Conflicts: 770000 | #Constraints: 108766
1925.96/1931.69 c #Conflicts: 771000 | #Constraints: 109766
1925.96/1931.69 c #Conflicts: 772000 | #Constraints: 110766
1925.96/1931.69 c #Conflicts: 773000 | #Constraints: 111766
1925.96/1931.69 c #Conflicts: 774000 | #Constraints: 112766
1925.96/1931.69 c #Conflicts: 775000 | #Constraints: 113766
1925.96/1931.69 c #Conflicts: 776000 | #Constraints: 114766
1925.96/1931.69 c #Conflicts: 777000 | #Constraints: 115766
1925.96/1931.69 c #Conflicts: 778000 | #Constraints: 116766
1925.96/1931.69 c #Conflicts: 779000 | #Constraints: 117766
1925.96/1931.69 c #Conflicts: 780000 | #Constraints: 118766
1925.96/1931.69 c #Conflicts: 781000 | #Constraints: 119766
1925.96/1931.69 c #Conflicts: 782000 | #Constraints: 120766
1925.96/1931.69 c #Conflicts: 783000 | #Constraints: 121766
1925.96/1931.69 c #Conflicts: 784000 | #Constraints: 122766
1925.96/1931.69 c #Conflicts: 785000 | #Constraints: 123766
1925.96/1931.69 c #Conflicts: 786000 | #Constraints: 124766
1925.96/1931.69 c #Conflicts: 787000 | #Constraints: 125766
1925.96/1931.69 c #Conflicts: 788000 | #Constraints: 126766
1925.96/1931.69 c #Conflicts: 789000 | #Constraints: 127766
1925.96/1931.69 c #Conflicts: 790000 | #Constraints: 128766
1925.96/1931.69 c #Conflicts: 791000 | #Constraints: 129766
1925.96/1931.69 c #Conflicts: 792000 | #Constraints: 130766
1925.96/1931.69 c #Conflicts: 793000 | #Constraints: 131766
1925.96/1931.69 c #Conflicts: 794000 | #Constraints: 132766
1925.96/1931.69 c #Conflicts: 795000 | #Constraints: 133766
1925.96/1931.69 c INPROCESSING
1925.96/1931.69 c GARBAGE COLLECT
1925.96/1931.69 c #Conflicts: 796000 | #Constraints: 81498
1925.96/1931.69 c #Conflicts: 797000 | #Constraints: 82498
1925.96/1931.69 c #Conflicts: 798000 | #Constraints: 83498
1925.96/1931.69 c #Conflicts: 799000 | #Constraints: 84498
1925.96/1931.69 c #Conflicts: 800000 | #Constraints: 85498
1925.96/1931.69 c #Conflicts: 801000 | #Constraints: 86498
1925.96/1931.69 c #Conflicts: 802000 | #Constraints: 87498
1925.96/1931.69 c #Conflicts: 803000 | #Constraints: 88498
1925.96/1931.69 c #Conflicts: 804000 | #Constraints: 89498
1925.96/1931.69 c #Conflicts: 805000 | #Constraints: 90498
1925.96/1931.69 c #Conflicts: 806000 | #Constraints: 91498
1925.96/1931.69 c #Conflicts: 807000 | #Constraints: 92498
1925.96/1931.69 c #Conflicts: 808000 | #Constraints: 93498
1925.96/1931.69 c #Conflicts: 809000 | #Constraints: 94498
1925.96/1931.69 c #Conflicts: 810000 | #Constraints: 95498
1925.96/1931.69 c #Conflicts: 811000 | #Constraints: 96498
1925.96/1931.69 c #Conflicts: 812000 | #Constraints: 97498
1925.96/1931.69 c #Conflicts: 813000 | #Constraints: 98498
1925.96/1931.69 c #Conflicts: 814000 | #Constraints: 99498
1925.96/1931.69 c #Conflicts: 815000 | #Constraints: 100498
1925.96/1931.69 c #Conflicts: 816000 | #Constraints: 101498
1925.96/1931.69 c #Conflicts: 817000 | #Constraints: 102498
1925.96/1931.69 c #Conflicts: 818000 | #Constraints: 103498
1925.96/1931.69 c #Conflicts: 819000 | #Constraints: 104498
2112.64/2118.88 c #Conflicts: 820000 | #Constraints: 105498
2112.64/2118.88 c #Conflicts: 821000 | #Constraints: 106498
2112.64/2118.88 c #Conflicts: 822000 | #Constraints: 107498
2112.64/2118.88 c #Conflicts: 823000 | #Constraints: 108498
2112.64/2118.88 c #Conflicts: 824000 | #Constraints: 109498
2112.64/2118.88 c #Conflicts: 825000 | #Constraints: 110498
2112.64/2118.88 c #Conflicts: 826000 | #Constraints: 111498
2112.64/2118.88 c #Conflicts: 827000 | #Constraints: 112498
2112.64/2118.88 c #Conflicts: 828000 | #Constraints: 113498
2112.64/2118.88 c #Conflicts: 829000 | #Constraints: 114498
2112.64/2118.88 c #Conflicts: 830000 | #Constraints: 115498
2112.64/2118.88 c #Conflicts: 831000 | #Constraints: 116498
2112.64/2118.88 c #Conflicts: 832000 | #Constraints: 117498
2112.64/2118.88 c #Conflicts: 833000 | #Constraints: 118498
2112.64/2118.88 c #Conflicts: 834000 | #Constraints: 119498
2112.64/2118.88 c #Conflicts: 835000 | #Constraints: 120498
2112.64/2118.88 c #Conflicts: 836000 | #Constraints: 121498
2112.64/2118.88 c #Conflicts: 837000 | #Constraints: 122498
2112.64/2118.88 c #Conflicts: 838000 | #Constraints: 123498
2112.64/2118.88 c #Conflicts: 839000 | #Constraints: 124498
2112.64/2118.88 c #Conflicts: 840000 | #Constraints: 125498
2112.64/2118.88 c #Conflicts: 841000 | #Constraints: 126498
2112.64/2118.88 c #Conflicts: 842000 | #Constraints: 127498
2112.64/2118.88 c #Conflicts: 843000 | #Constraints: 128498
2112.64/2118.88 c #Conflicts: 844000 | #Constraints: 129498
2112.64/2118.88 c #Conflicts: 845000 | #Constraints: 130498
2112.64/2118.88 c #Conflicts: 846000 | #Constraints: 131498
2112.64/2118.88 c #Conflicts: 847000 | #Constraints: 132498
2112.64/2118.88 c #Conflicts: 848000 | #Constraints: 133498
2112.64/2118.88 c #Conflicts: 849000 | #Constraints: 134498
2112.64/2118.88 c #Conflicts: 850000 | #Constraints: 135498
2112.64/2118.88 c #Conflicts: 851000 | #Constraints: 136498
2112.64/2118.88 c #Conflicts: 852000 | #Constraints: 137498
2112.64/2118.88 c INPROCESSING
2112.64/2118.88 c GARBAGE COLLECT
2112.64/2118.88 c #Conflicts: 853000 | #Constraints: 82998
2112.64/2118.88 c #Conflicts: 854000 | #Constraints: 83998
2112.64/2118.88 c #Conflicts: 855000 | #Constraints: 84998
2112.64/2118.88 c #Conflicts: 856000 | #Constraints: 85998
2112.64/2118.88 c #Conflicts: 857000 | #Constraints: 86998
2112.64/2118.88 c #Conflicts: 858000 | #Constraints: 87998
2112.64/2118.88 c #Conflicts: 859000 | #Constraints: 88998
2112.64/2118.88 c #Conflicts: 860000 | #Constraints: 89998
2112.64/2118.88 c #Conflicts: 861000 | #Constraints: 90998
2112.64/2118.88 c #Conflicts: 862000 | #Constraints: 91998
2112.64/2118.88 c #Conflicts: 863000 | #Constraints: 92998
2112.64/2118.88 c #Conflicts: 864000 | #Constraints: 93998
2112.64/2118.88 c #Conflicts: 865000 | #Constraints: 94998
2112.64/2118.88 c #Conflicts: 866000 | #Constraints: 95998
2112.64/2118.88 c #Conflicts: 867000 | #Constraints: 96998
2112.64/2118.88 c #Conflicts: 868000 | #Constraints: 97998
2112.64/2118.88 c #Conflicts: 869000 | #Constraints: 98998
2112.64/2118.88 c #Conflicts: 870000 | #Constraints: 99998
2112.64/2118.88 c #Conflicts: 871000 | #Constraints: 100998
2112.64/2118.88 c #Conflicts: 872000 | #Constraints: 101998
2112.64/2118.88 c #Conflicts: 873000 | #Constraints: 102998
2112.64/2118.88 c #Conflicts: 874000 | #Constraints: 103998
2112.64/2118.88 c #Conflicts: 875000 | #Constraints: 104998
2112.64/2118.88 c #Conflicts: 876000 | #Constraints: 105998
2112.64/2118.88 c #Conflicts: 877000 | #Constraints: 106998
2112.64/2118.88 c #Conflicts: 878000 | #Constraints: 107998
2112.64/2118.88 c #Conflicts: 879000 | #Constraints: 108998
2112.64/2118.88 c #Conflicts: 880000 | #Constraints: 109998
2112.64/2118.88 c #Conflicts: 881000 | #Constraints: 110998
2112.64/2118.88 c #Conflicts: 882000 | #Constraints: 111998
2112.64/2118.88 c #Conflicts: 883000 | #Constraints: 112998
2112.64/2118.88 c #Conflicts: 884000 | #Constraints: 113998
2112.64/2118.88 c #Conflicts: 885000 | #Constraints: 114998
2112.64/2118.88 c #Conflicts: 886000 | #Constraints: 115998
2112.64/2118.88 c #Conflicts: 887000 | #Constraints: 116998
2112.64/2118.88 c #Conflicts: 888000 | #Constraints: 117998
2112.64/2118.88 c #Conflicts: 889000 | #Constraints: 118998
2112.64/2118.88 c #Conflicts: 890000 | #Constraints: 119998
2112.64/2118.88 c #Conflicts: 891000 | #Constraints: 120998
2112.64/2118.88 c #Conflicts: 892000 | #Constraints: 121998
2112.64/2118.88 c #Conflicts: 893000 | #Constraints: 122998
2112.64/2118.88 c #Conflicts: 894000 | #Constraints: 123998
2112.64/2118.88 c #Conflicts: 895000 | #Constraints: 124998
2112.64/2118.88 c #Conflicts: 896000 | #Constraints: 125998
2112.64/2118.88 c #Conflicts: 897000 | #Constraints: 126998
2324.61/2331.30 c #Conflicts: 898000 | #Constraints: 127998
2324.61/2331.30 c #Conflicts: 899000 | #Constraints: 128998
2324.61/2331.30 c #Conflicts: 900000 | #Constraints: 129998
2324.61/2331.30 c #Conflicts: 901000 | #Constraints: 130998
2324.61/2331.30 c #Conflicts: 902000 | #Constraints: 131998
2324.61/2331.30 c #Conflicts: 903000 | #Constraints: 132998
2324.61/2331.30 c #Conflicts: 904000 | #Constraints: 133998
2324.61/2331.30 c #Conflicts: 905000 | #Constraints: 134998
2324.61/2331.30 c #Conflicts: 906000 | #Constraints: 135998
2324.61/2331.30 c #Conflicts: 907000 | #Constraints: 136998
2324.61/2331.30 c #Conflicts: 908000 | #Constraints: 137998
2324.61/2331.30 c #Conflicts: 909000 | #Constraints: 138998
2324.61/2331.30 c #Conflicts: 910000 | #Constraints: 139998
2324.61/2331.30 c #Conflicts: 911000 | #Constraints: 140998
2324.61/2331.30 c #Conflicts: 912000 | #Constraints: 141998
2324.61/2331.30 c INPROCESSING
2324.61/2331.30 c GARBAGE COLLECT
2324.61/2331.30 c #Conflicts: 913000 | #Constraints: 85536
2324.61/2331.30 c #Conflicts: 914000 | #Constraints: 86536
2324.61/2331.30 c #Conflicts: 915000 | #Constraints: 87536
2324.61/2331.30 c #Conflicts: 916000 | #Constraints: 88536
2324.61/2331.30 c #Conflicts: 917000 | #Constraints: 89536
2324.61/2331.30 c #Conflicts: 918000 | #Constraints: 90536
2324.61/2331.30 c #Conflicts: 919000 | #Constraints: 91536
2324.61/2331.30 c #Conflicts: 920000 | #Constraints: 92536
2324.61/2331.30 c #Conflicts: 921000 | #Constraints: 93536
2324.61/2331.30 c #Conflicts: 922000 | #Constraints: 94536
2324.61/2331.30 c #Conflicts: 923000 | #Constraints: 95536
2324.61/2331.30 c #Conflicts: 924000 | #Constraints: 96536
2324.61/2331.30 c #Conflicts: 925000 | #Constraints: 97536
2324.61/2331.30 c #Conflicts: 926000 | #Constraints: 98536
2324.61/2331.30 c #Conflicts: 927000 | #Constraints: 99536
2324.61/2331.30 c #Conflicts: 928000 | #Constraints: 100536
2324.61/2331.30 c #Conflicts: 929000 | #Constraints: 101536
2324.61/2331.30 c #Conflicts: 930000 | #Constraints: 102536
2324.61/2331.30 c #Conflicts: 931000 | #Constraints: 103536
2324.61/2331.30 c #Conflicts: 932000 | #Constraints: 104536
2324.61/2331.30 c #Conflicts: 933000 | #Constraints: 105536
2324.61/2331.30 c #Conflicts: 934000 | #Constraints: 106536
2324.61/2331.30 c #Conflicts: 935000 | #Constraints: 107536
2324.61/2331.30 c #Conflicts: 936000 | #Constraints: 108536
2324.61/2331.30 c #Conflicts: 937000 | #Constraints: 109536
2324.61/2331.30 c #Conflicts: 938000 | #Constraints: 110536
2324.61/2331.30 c #Conflicts: 939000 | #Constraints: 111536
2324.61/2331.30 c #Conflicts: 940000 | #Constraints: 112536
2324.61/2331.30 c #Conflicts: 941000 | #Constraints: 113536
2324.61/2331.30 c #Conflicts: 942000 | #Constraints: 114536
2324.61/2331.30 c #Conflicts: 943000 | #Constraints: 115536
2324.61/2331.30 c #Conflicts: 944000 | #Constraints: 116536
2324.61/2331.30 c #Conflicts: 945000 | #Constraints: 117536
2324.61/2331.30 c #Conflicts: 946000 | #Constraints: 118536
2324.61/2331.30 c #Conflicts: 947000 | #Constraints: 119536
2324.61/2331.30 c #Conflicts: 948000 | #Constraints: 120537
2324.61/2331.30 c #Conflicts: 949000 | #Constraints: 121537
2324.61/2331.30 c #Conflicts: 950000 | #Constraints: 122537
2324.61/2331.30 c #Conflicts: 951000 | #Constraints: 123537
2324.61/2331.30 c #Conflicts: 952000 | #Constraints: 124537
2324.61/2331.30 c #Conflicts: 953000 | #Constraints: 125537
2324.61/2331.30 c #Conflicts: 954000 | #Constraints: 126537
2324.61/2331.30 c #Conflicts: 955000 | #Constraints: 127537
2324.61/2331.30 c #Conflicts: 956000 | #Constraints: 128537
2324.61/2331.30 c #Conflicts: 957000 | #Constraints: 129537
2324.61/2331.30 c #Conflicts: 958000 | #Constraints: 130537
2324.61/2331.30 c #Conflicts: 959000 | #Constraints: 131537
2324.61/2331.30 c #Conflicts: 960000 | #Constraints: 132537
2324.61/2331.30 c #Conflicts: 961000 | #Constraints: 133537
2324.61/2331.30 c #Conflicts: 962000 | #Constraints: 134537
2324.61/2331.30 c #Conflicts: 963000 | #Constraints: 135537
2324.61/2331.30 c #Conflicts: 964000 | #Constraints: 136537
2324.61/2331.30 c #Conflicts: 965000 | #Constraints: 137537
2324.61/2331.30 c #Conflicts: 966000 | #Constraints: 138537
2324.61/2331.30 c #Conflicts: 967000 | #Constraints: 139537
2324.61/2331.30 c #Conflicts: 968000 | #Constraints: 140537
2324.61/2331.30 c #Conflicts: 969000 | #Constraints: 141538
2324.61/2331.30 c #Conflicts: 970000 | #Constraints: 142538
2324.61/2331.30 c #Conflicts: 971000 | #Constraints: 143538
2324.61/2331.30 c #Conflicts: 972000 | #Constraints: 144538
2324.61/2331.30 c #Conflicts: 973000 | #Constraints: 145538
2324.61/2331.30 c INPROCESSING
2324.61/2331.30 c GARBAGE COLLECT
2324.61/2331.30 c #Conflicts: 974000 | #Constraints: 87111
2324.61/2331.30 c #Conflicts: 975000 | #Constraints: 88111
2826.37/2834.45 c #Conflicts: 976000 | #Constraints: 89111
2826.37/2834.45 c #Conflicts: 977000 | #Constraints: 90111
2826.37/2834.45 c #Conflicts: 978000 | #Constraints: 91111
2826.37/2834.45 c #Conflicts: 979000 | #Constraints: 92111
2826.37/2834.45 c #Conflicts: 980000 | #Constraints: 93111
2826.37/2834.45 c #Conflicts: 981000 | #Constraints: 94111
2826.37/2834.45 c #Conflicts: 982000 | #Constraints: 95111
2826.37/2834.45 c #Conflicts: 983000 | #Constraints: 96111
2826.37/2834.45 c #Conflicts: 984000 | #Constraints: 97111
2826.37/2834.45 c #Conflicts: 985000 | #Constraints: 98111
2826.37/2834.45 c #Conflicts: 986000 | #Constraints: 99111
2826.37/2834.45 c #Conflicts: 987000 | #Constraints: 100111
2826.37/2834.45 c #Conflicts: 988000 | #Constraints: 101111
2826.37/2834.45 c #Conflicts: 989000 | #Constraints: 102111
2826.37/2834.45 c #Conflicts: 990000 | #Constraints: 103111
2826.37/2834.45 c #Conflicts: 991000 | #Constraints: 104111
2826.37/2834.45 c #Conflicts: 992000 | #Constraints: 105111
2826.37/2834.45 c #Conflicts: 993000 | #Constraints: 106111
2826.37/2834.45 c #Conflicts: 994000 | #Constraints: 107111
2826.37/2834.45 c #Conflicts: 995000 | #Constraints: 108111
2826.37/2834.45 c #Conflicts: 996000 | #Constraints: 109111
2826.37/2834.45 c #Conflicts: 997000 | #Constraints: 110111
2826.37/2834.45 c #Conflicts: 998000 | #Constraints: 111111
2826.37/2834.45 c #Conflicts: 999000 | #Constraints: 112111
2826.37/2834.45 c #Conflicts: 1000000 | #Constraints: 113111
2826.37/2834.45 c #Conflicts: 1001000 | #Constraints: 114111
2826.37/2834.45 c #Conflicts: 1002000 | #Constraints: 115111
2826.37/2834.45 c #Conflicts: 1003000 | #Constraints: 116111
2826.37/2834.45 c #Conflicts: 1004000 | #Constraints: 117111
2826.37/2834.45 c #Conflicts: 1005000 | #Constraints: 118111
2826.37/2834.45 c #Conflicts: 1006000 | #Constraints: 119111
2826.37/2834.45 c #Conflicts: 1007000 | #Constraints: 120111
2826.37/2834.45 c #Conflicts: 1008000 | #Constraints: 121111
2826.37/2834.45 c #Conflicts: 1009000 | #Constraints: 122111
2826.37/2834.45 c #Conflicts: 1010000 | #Constraints: 123111
2826.37/2834.45 c #Conflicts: 1011000 | #Constraints: 124112
2826.37/2834.45 c #Conflicts: 1012000 | #Constraints: 125112
2826.37/2834.45 c #Conflicts: 1013000 | #Constraints: 126112
2826.37/2834.45 c #Conflicts: 1014000 | #Constraints: 127112
2826.37/2834.45 c #Conflicts: 1015000 | #Constraints: 128112
2826.37/2834.45 c #Conflicts: 1016000 | #Constraints: 129112
2826.37/2834.45 c #Conflicts: 1017000 | #Constraints: 130112
2826.37/2834.45 c #Conflicts: 1018000 | #Constraints: 131112
2826.37/2834.45 c #Conflicts: 1019000 | #Constraints: 132112
2826.37/2834.45 c #Conflicts: 1020000 | #Constraints: 133112
2826.37/2834.45 c #Conflicts: 1021000 | #Constraints: 134112
2826.37/2834.45 c #Conflicts: 1022000 | #Constraints: 135112
2826.37/2834.45 c #Conflicts: 1023000 | #Constraints: 136112
2826.37/2834.45 c #Conflicts: 1024000 | #Constraints: 137112
2826.37/2834.45 c #Conflicts: 1025000 | #Constraints: 138112
2826.37/2834.45 c #Conflicts: 1026000 | #Constraints: 139112
2826.37/2834.45 c #Conflicts: 1027000 | #Constraints: 140112
2826.37/2834.45 c #Conflicts: 1028000 | #Constraints: 141113
2826.37/2834.45 c #Conflicts: 1029000 | #Constraints: 142113
2826.37/2834.45 c #Conflicts: 1030000 | #Constraints: 143113
2826.37/2834.45 c #Conflicts: 1031000 | #Constraints: 144113
2826.37/2834.45 c #Conflicts: 1032000 | #Constraints: 145113
2826.37/2834.45 c #Conflicts: 1033000 | #Constraints: 146113
2826.37/2834.45 c #Conflicts: 1034000 | #Constraints: 147113
2826.37/2834.45 c #Conflicts: 1035000 | #Constraints: 148113
2826.37/2834.45 c #Conflicts: 1036000 | #Constraints: 149113
2826.37/2834.45 c #Conflicts: 1037000 | #Constraints: 150113
2826.37/2834.45 c INPROCESSING
2826.37/2834.45 c GARBAGE COLLECT
2826.37/2834.45 c #Conflicts: 1038000 | #Constraints: 89323
2826.37/2834.45 c #Conflicts: 1039000 | #Constraints: 90323
2826.37/2834.45 c #Conflicts: 1040000 | #Constraints: 91323
2826.37/2834.45 c #Conflicts: 1041000 | #Constraints: 92323
2826.37/2834.45 c #Conflicts: 1042000 | #Constraints: 93323
2826.37/2834.45 c #Conflicts: 1043000 | #Constraints: 94323
2826.37/2834.45 c #Conflicts: 1044000 | #Constraints: 95323
2826.37/2834.45 c #Conflicts: 1045000 | #Constraints: 96323
2826.37/2834.45 c #Conflicts: 1046000 | #Constraints: 97323
2826.37/2834.45 c #Conflicts: 1047000 | #Constraints: 98323
2826.37/2834.45 c #Conflicts: 1048000 | #Constraints: 99323
2826.37/2834.45 c #Conflicts: 1049000 | #Constraints: 100323
2826.37/2834.45 c #Conflicts: 1050000 | #Constraints: 101323
2826.37/2834.45 c #Conflicts: 1051000 | #Constraints: 102323
2826.37/2834.45 c #Conflicts: 1052000 | #Constraints: 103323
2826.37/2834.45 c #Conflicts: 1053000 | #Constraints: 104323
3058.39/3067.15 c #Conflicts: 1054000 | #Constraints: 105323
3058.39/3067.15 c #Conflicts: 1055000 | #Constraints: 106323
3058.39/3067.15 c #Conflicts: 1056000 | #Constraints: 107323
3058.39/3067.15 c #Conflicts: 1057000 | #Constraints: 108323
3058.39/3067.15 c #Conflicts: 1058000 | #Constraints: 109323
3058.39/3067.15 c #Conflicts: 1059000 | #Constraints: 110324
3058.39/3067.15 c #Conflicts: 1060000 | #Constraints: 111324
3058.39/3067.15 c #Conflicts: 1061000 | #Constraints: 112324
3058.39/3067.15 c #Conflicts: 1062000 | #Constraints: 113324
3058.39/3067.15 c #Conflicts: 1063000 | #Constraints: 114324
3058.39/3067.15 c #Conflicts: 1064000 | #Constraints: 115324
3058.39/3067.15 c #Conflicts: 1065000 | #Constraints: 116324
3058.39/3067.15 c #Conflicts: 1066000 | #Constraints: 117325
3058.39/3067.15 c #Conflicts: 1067000 | #Constraints: 118325
3058.39/3067.15 c #Conflicts: 1068000 | #Constraints: 119325
3058.39/3067.15 c #Conflicts: 1069000 | #Constraints: 120325
3058.39/3067.15 c #Conflicts: 1070000 | #Constraints: 121325
3058.39/3067.15 c #Conflicts: 1071000 | #Constraints: 122325
3058.39/3067.15 c INPROCESSING
3058.39/3067.15 c GARBAGE COLLECT
3058.39/3067.15 c #Conflicts: 1072000 | #Constraints: 88672
3058.39/3067.15 c #Conflicts: 1073000 | #Constraints: 89672
3058.39/3067.15 c #Conflicts: 1074000 | #Constraints: 90672
3058.39/3067.15 c #Conflicts: 1075000 | #Constraints: 91672
3058.39/3067.15 c #Conflicts: 1076000 | #Constraints: 92672
3058.39/3067.15 c #Conflicts: 1077000 | #Constraints: 93672
3058.39/3067.15 c #Conflicts: 1078000 | #Constraints: 94672
3058.39/3067.15 c #Conflicts: 1079000 | #Constraints: 95672
3058.39/3067.15 c #Conflicts: 1080000 | #Constraints: 96672
3058.39/3067.15 c #Conflicts: 1081000 | #Constraints: 97672
3058.39/3067.15 c #Conflicts: 1082000 | #Constraints: 98672
3058.39/3067.15 c #Conflicts: 1083000 | #Constraints: 99672
3058.39/3067.15 c #Conflicts: 1084000 | #Constraints: 100672
3058.39/3067.15 c #Conflicts: 1085000 | #Constraints: 101672
3058.39/3067.15 c #Conflicts: 1086000 | #Constraints: 102672
3058.39/3067.15 c #Conflicts: 1087000 | #Constraints: 103672
3058.39/3067.15 c #Conflicts: 1088000 | #Constraints: 104672
3058.39/3067.15 c #Conflicts: 1089000 | #Constraints: 105672
3058.39/3067.15 c #Conflicts: 1090000 | #Constraints: 106672
3058.39/3067.15 c #Conflicts: 1091000 | #Constraints: 107672
3058.39/3067.15 c #Conflicts: 1092000 | #Constraints: 108672
3058.39/3067.15 c #Conflicts: 1093000 | #Constraints: 109672
3058.39/3067.15 c #Conflicts: 1094000 | #Constraints: 110672
3058.39/3067.15 c #Conflicts: 1095000 | #Constraints: 111672
3058.39/3067.15 c #Conflicts: 1096000 | #Constraints: 112672
3058.39/3067.15 c #Conflicts: 1097000 | #Constraints: 113672
3058.39/3067.15 c #Conflicts: 1098000 | #Constraints: 114672
3058.39/3067.15 c #Conflicts: 1099000 | #Constraints: 115672
3058.39/3067.15 c #Conflicts: 1100000 | #Constraints: 116672
3058.39/3067.15 c #Conflicts: 1101000 | #Constraints: 117672
3058.39/3067.15 c #Conflicts: 1102000 | #Constraints: 118672
3058.39/3067.15 c #Conflicts: 1103000 | #Constraints: 119672
3058.39/3067.15 c #Conflicts: 1104000 | #Constraints: 120672
3058.39/3067.15 c #Conflicts: 1105000 | #Constraints: 121672
3058.39/3067.15 c #Conflicts: 1106000 | #Constraints: 122672
3058.39/3067.15 c #Conflicts: 1107000 | #Constraints: 123672
3058.39/3067.15 c #Conflicts: 1108000 | #Constraints: 124672
3058.39/3067.15 c #Conflicts: 1109000 | #Constraints: 125672
3058.39/3067.15 c #Conflicts: 1110000 | #Constraints: 126672
3058.39/3067.15 c #Conflicts: 1111000 | #Constraints: 127672
3058.39/3067.15 c #Conflicts: 1112000 | #Constraints: 128672
3058.39/3067.15 c #Conflicts: 1113000 | #Constraints: 129672
3058.39/3067.15 c #Conflicts: 1114000 | #Constraints: 130672
3058.39/3067.15 c #Conflicts: 1115000 | #Constraints: 131672
3058.39/3067.15 c #Conflicts: 1116000 | #Constraints: 132672
3058.39/3067.15 c #Conflicts: 1117000 | #Constraints: 133672
3058.39/3067.15 c #Conflicts: 1118000 | #Constraints: 134672
3058.39/3067.15 c #Conflicts: 1119000 | #Constraints: 135672
3058.39/3067.15 c #Conflicts: 1120000 | #Constraints: 136672
3058.39/3067.15 c #Conflicts: 1121000 | #Constraints: 137672
3058.39/3067.15 c #Conflicts: 1122000 | #Constraints: 138672
3058.39/3067.15 c #Conflicts: 1123000 | #Constraints: 139672
3058.39/3067.15 c #Conflicts: 1124000 | #Constraints: 140672
3058.39/3067.15 c #Conflicts: 1125000 | #Constraints: 141672
3058.39/3067.15 c #Conflicts: 1126000 | #Constraints: 142672
3058.39/3067.15 c #Conflicts: 1127000 | #Constraints: 143672
3058.39/3067.15 c #Conflicts: 1128000 | #Constraints: 144672
3058.39/3067.15 c #Conflicts: 1129000 | #Constraints: 145672
3058.39/3067.15 c #Conflicts: 1130000 | #Constraints: 146672
3058.39/3067.15 c #Conflicts: 1131000 | #Constraints: 147672
3235.25/3244.55 c #Conflicts: 1132000 | #Constraints: 148672
3235.25/3244.55 c #Conflicts: 1133000 | #Constraints: 149672
3235.25/3244.55 c #Conflicts: 1134000 | #Constraints: 150672
3235.25/3244.55 c #Conflicts: 1135000 | #Constraints: 151672
3235.25/3244.55 c #Conflicts: 1136000 | #Constraints: 152672
3235.25/3244.55 c #Conflicts: 1137000 | #Constraints: 153672
3235.25/3244.55 c INPROCESSING
3235.25/3244.55 c GARBAGE COLLECT
3235.25/3244.55 c #Conflicts: 1138000 | #Constraints: 91073
3235.25/3244.55 c #Conflicts: 1139000 | #Constraints: 92073
3235.25/3244.55 c #Conflicts: 1140000 | #Constraints: 93073
3235.25/3244.55 c #Conflicts: 1141000 | #Constraints: 94073
3235.25/3244.55 c #Conflicts: 1142000 | #Constraints: 95073
3235.25/3244.55 c #Conflicts: 1143000 | #Constraints: 96073
3235.25/3244.55 c #Conflicts: 1144000 | #Constraints: 97073
3235.25/3244.55 c #Conflicts: 1145000 | #Constraints: 98073
3235.25/3244.55 c #Conflicts: 1146000 | #Constraints: 99073
3235.25/3244.55 c #Conflicts: 1147000 | #Constraints: 100073
3235.25/3244.55 c #Conflicts: 1148000 | #Constraints: 101073
3235.25/3244.55 c #Conflicts: 1149000 | #Constraints: 102073
3235.25/3244.55 c #Conflicts: 1150000 | #Constraints: 103073
3235.25/3244.55 c #Conflicts: 1151000 | #Constraints: 104073
3235.25/3244.55 c #Conflicts: 1152000 | #Constraints: 105073
3235.25/3244.55 c #Conflicts: 1153000 | #Constraints: 106073
3235.25/3244.55 c #Conflicts: 1154000 | #Constraints: 107073
3235.25/3244.55 c #Conflicts: 1155000 | #Constraints: 108073
3235.25/3244.55 c #Conflicts: 1156000 | #Constraints: 109073
3235.25/3244.55 c #Conflicts: 1157000 | #Constraints: 110073
3235.25/3244.55 c #Conflicts: 1158000 | #Constraints: 111073
3235.25/3244.55 c #Conflicts: 1159000 | #Constraints: 112073
3235.25/3244.55 c #Conflicts: 1160000 | #Constraints: 113073
3235.25/3244.55 c #Conflicts: 1161000 | #Constraints: 114073
3235.25/3244.55 c #Conflicts: 1162000 | #Constraints: 115073
3235.25/3244.55 c #Conflicts: 1163000 | #Constraints: 116073
3235.25/3244.55 c #Conflicts: 1164000 | #Constraints: 117073
3235.25/3244.55 c #Conflicts: 1165000 | #Constraints: 118073
3235.25/3244.55 c #Conflicts: 1166000 | #Constraints: 119073
3235.25/3244.55 c #Conflicts: 1167000 | #Constraints: 120073
3235.25/3244.55 c #Conflicts: 1168000 | #Constraints: 121073
3235.25/3244.55 c #Conflicts: 1169000 | #Constraints: 122073
3235.25/3244.55 c #Conflicts: 1170000 | #Constraints: 123073
3235.25/3244.55 c #Conflicts: 1171000 | #Constraints: 124073
3235.25/3244.55 c #Conflicts: 1172000 | #Constraints: 125073
3235.25/3244.55 c INPROCESSING
3235.25/3244.55 c GARBAGE COLLECT
3235.25/3244.55 c #Conflicts: 1173000 | #Constraints: 90806
3235.25/3244.55 c #Conflicts: 1174000 | #Constraints: 91806
3235.25/3244.55 c #Conflicts: 1175000 | #Constraints: 92806
3235.25/3244.55 c #Conflicts: 1176000 | #Constraints: 93806
3235.25/3244.55 c #Conflicts: 1177000 | #Constraints: 94806
3235.25/3244.55 c #Conflicts: 1178000 | #Constraints: 95806
3235.25/3244.55 c #Conflicts: 1179000 | #Constraints: 96806
3235.25/3244.55 c #Conflicts: 1180000 | #Constraints: 97806
3235.25/3244.55 c #Conflicts: 1181000 | #Constraints: 98806
3235.25/3244.55 c #Conflicts: 1182000 | #Constraints: 99806
3235.25/3244.55 c #Conflicts: 1183000 | #Constraints: 100806
3235.25/3244.55 c #Conflicts: 1184000 | #Constraints: 101806
3235.25/3244.55 c #Conflicts: 1185000 | #Constraints: 102806
3235.25/3244.55 c #Conflicts: 1186000 | #Constraints: 103806
3235.25/3244.55 c #Conflicts: 1187000 | #Constraints: 104806
3235.25/3244.55 c #Conflicts: 1188000 | #Constraints: 105806
3235.25/3244.55 c #Conflicts: 1189000 | #Constraints: 106806
3235.25/3244.55 c #Conflicts: 1190000 | #Constraints: 107806
3235.25/3244.55 c #Conflicts: 1191000 | #Constraints: 108806
3235.25/3244.55 c #Conflicts: 1192000 | #Constraints: 109806
3235.25/3244.55 c #Conflicts: 1193000 | #Constraints: 110806
3235.25/3244.55 c #Conflicts: 1194000 | #Constraints: 111806
3235.25/3244.55 c #Conflicts: 1195000 | #Constraints: 112806
3235.25/3244.55 c #Conflicts: 1196000 | #Constraints: 113806
3235.25/3244.55 c #Conflicts: 1197000 | #Constraints: 114806
3235.25/3244.55 c #Conflicts: 1198000 | #Constraints: 115806
3235.25/3244.55 c #Conflicts: 1199000 | #Constraints: 116806
3235.25/3244.55 c #Conflicts: 1200000 | #Constraints: 117806
3235.25/3244.55 c #Conflicts: 1201000 | #Constraints: 118806
3235.25/3244.55 c #Conflicts: 1202000 | #Constraints: 119806
3235.25/3244.55 c #Conflicts: 1203000 | #Constraints: 120806
3235.25/3244.55 c #Conflicts: 1204000 | #Constraints: 121806
3235.25/3244.55 c #Conflicts: 1205000 | #Constraints: 122806
3235.25/3244.55 c #Conflicts: 1206000 | #Constraints: 123806
3235.25/3244.55 c #Conflicts: 1207000 | #Constraints: 124806
3235.25/3244.55 c #Conflicts: 1208000 | #Constraints: 125806
3235.25/3244.55 c #Conflicts: 1209000 | #Constraints: 126806
3540.53/3550.75 c #Conflicts: 1210000 | #Constraints: 127806
3540.53/3550.75 c #Conflicts: 1211000 | #Constraints: 128806
3540.53/3550.75 c #Conflicts: 1212000 | #Constraints: 129806
3540.53/3550.75 c #Conflicts: 1213000 | #Constraints: 130806
3540.53/3550.75 c #Conflicts: 1214000 | #Constraints: 131806
3540.53/3550.75 c #Conflicts: 1215000 | #Constraints: 132807
3540.53/3550.75 c #Conflicts: 1216000 | #Constraints: 133807
3540.53/3550.75 c #Conflicts: 1217000 | #Constraints: 134807
3540.53/3550.75 c #Conflicts: 1218000 | #Constraints: 135807
3540.53/3550.75 c #Conflicts: 1219000 | #Constraints: 136807
3540.53/3550.75 c #Conflicts: 1220000 | #Constraints: 137807
3540.53/3550.75 c #Conflicts: 1221000 | #Constraints: 138807
3540.53/3550.75 c #Conflicts: 1222000 | #Constraints: 139807
3540.53/3550.75 c #Conflicts: 1223000 | #Constraints: 140807
3540.53/3550.75 c #Conflicts: 1224000 | #Constraints: 141807
3540.53/3550.75 c #Conflicts: 1225000 | #Constraints: 142807
3540.53/3550.75 c #Conflicts: 1226000 | #Constraints: 143807
3540.53/3550.75 c #Conflicts: 1227000 | #Constraints: 144807
3540.53/3550.75 c #Conflicts: 1228000 | #Constraints: 145807
3540.53/3550.75 c #Conflicts: 1229000 | #Constraints: 146807
3540.53/3550.75 c #Conflicts: 1230000 | #Constraints: 147807
3540.53/3550.75 c #Conflicts: 1231000 | #Constraints: 148807
3540.53/3550.75 c #Conflicts: 1232000 | #Constraints: 149807
3540.53/3550.75 c #Conflicts: 1233000 | #Constraints: 150807
3540.53/3550.75 c #Conflicts: 1234000 | #Constraints: 151807
3540.53/3550.75 c #Conflicts: 1235000 | #Constraints: 152807
3540.53/3550.75 c #Conflicts: 1236000 | #Constraints: 153807
3540.53/3550.75 c #Conflicts: 1237000 | #Constraints: 154807
3540.53/3550.75 c #Conflicts: 1238000 | #Constraints: 155807
3540.53/3550.75 c #Conflicts: 1239000 | #Constraints: 156807
3540.53/3550.75 c #Conflicts: 1240000 | #Constraints: 157807
3540.53/3550.75 c #Conflicts: 1241000 | #Constraints: 158807
3540.53/3550.75 c #Conflicts: 1242000 | #Constraints: 159807
3540.53/3550.75 c INPROCESSING
3540.53/3550.75 c GARBAGE COLLECT
3540.53/3550.75 c #Conflicts: 1243000 | #Constraints: 94399
3540.53/3550.75 c #Conflicts: 1244000 | #Constraints: 95399
3540.53/3550.75 c #Conflicts: 1245000 | #Constraints: 96399
3540.53/3550.75 c #Conflicts: 1246000 | #Constraints: 97399
3540.53/3550.75 c #Conflicts: 1247000 | #Constraints: 98399
3540.53/3550.75 c #Conflicts: 1248000 | #Constraints: 99399
3540.53/3550.75 c #Conflicts: 1249000 | #Constraints: 100399
3540.53/3550.75 c #Conflicts: 1250000 | #Constraints: 101399
3540.53/3550.75 c #Conflicts: 1251000 | #Constraints: 102399
3540.53/3550.75 c #Conflicts: 1252000 | #Constraints: 103399
3540.53/3550.75 c #Conflicts: 1253000 | #Constraints: 104399
3540.53/3550.75 c #Conflicts: 1254000 | #Constraints: 105399
3540.53/3550.75 c #Conflicts: 1255000 | #Constraints: 106399
3540.53/3550.75 c #Conflicts: 1256000 | #Constraints: 107399
3540.53/3550.75 c #Conflicts: 1257000 | #Constraints: 108399
3540.53/3550.75 c #Conflicts: 1258000 | #Constraints: 109399
3540.53/3550.75 c #Conflicts: 1259000 | #Constraints: 110399
3540.53/3550.75 c #Conflicts: 1260000 | #Constraints: 111399
3540.53/3550.75 c #Conflicts: 1261000 | #Constraints: 112399
3540.53/3550.75 c #Conflicts: 1262000 | #Constraints: 113399
3540.53/3550.75 c #Conflicts: 1263000 | #Constraints: 114399
3540.53/3550.75 c #Conflicts: 1264000 | #Constraints: 115399
3540.53/3550.75 c #Conflicts: 1265000 | #Constraints: 116399
3540.53/3550.75 c #Conflicts: 1266000 | #Constraints: 117399
3540.53/3550.75 c #Conflicts: 1267000 | #Constraints: 118399
3540.53/3550.75 c #Conflicts: 1268000 | #Constraints: 119399
3540.53/3550.75 c #Conflicts: 1269000 | #Constraints: 120399
3540.53/3550.75 c #Conflicts: 1270000 | #Constraints: 121399
3540.53/3550.75 c #Conflicts: 1271000 | #Constraints: 122399
3540.53/3550.75 c #Conflicts: 1272000 | #Constraints: 123399
3540.53/3550.75 c #Conflicts: 1273000 | #Constraints: 124399
3540.53/3550.75 c #Conflicts: 1274000 | #Constraints: 125399
3540.53/3550.75 c #Conflicts: 1275000 | #Constraints: 126399
3540.53/3550.75 c #Conflicts: 1276000 | #Constraints: 127399
3540.53/3550.75 c #Conflicts: 1277000 | #Constraints: 128399
3540.53/3550.75 c #Conflicts: 1278000 | #Constraints: 129399
3540.53/3550.75 c #Conflicts: 1279000 | #Constraints: 130399
3540.53/3550.75 c #Conflicts: 1280000 | #Constraints: 131399
3540.53/3550.75 c #Conflicts: 1281000 | #Constraints: 132399
3540.53/3550.75 c #Conflicts: 1282000 | #Constraints: 133399
3540.53/3550.75 c #Conflicts: 1283000 | #Constraints: 134399
3540.53/3550.75 c #Conflicts: 1284000 | #Constraints: 135399
3540.53/3550.75 c #Conflicts: 1285000 | #Constraints: 136399
3540.53/3550.75 c #Conflicts: 1286000 | #Constraints: 137399
3540.53/3550.75 c #Conflicts: 1287000 | #Constraints: 138399
3600.06/3610.40 c #Conflicts: 1288000 | #Constraints: 139399
3600.06/3610.40 c #Conflicts: 1289000 | #Constraints: 140399
3600.06/3610.40 c #Conflicts: 1290000 | #Constraints: 141399
3600.06/3610.40 c #Conflicts: 1291000 | #Constraints: 142399
3600.06/3610.40 c #Conflicts: 1292000 | #Constraints: 143399
3600.06/3610.40 c #Conflicts: 1293000 | #Constraints: 144399
3600.06/3610.40 c #Conflicts: 1294000 | #Constraints: 145399
3600.06/3610.40 c #Conflicts: 1295000 | #Constraints: 146399
3600.06/3610.40 c #Conflicts: 1296000 | #Constraints: 147399
3600.06/3610.40 c #Conflicts: 1297000 | #Constraints: 148399
3600.06/3610.40 c #Conflicts: 1298000 | #Constraints: 149399
3600.06/3610.40 c #Conflicts: 1299000 | #Constraints: 150399
3600.06/3610.40 c #Conflicts: 1300000 | #Constraints: 151399
3600.06/3610.40 c #Conflicts: 1301000 | #Constraints: 152399
3600.06/3610.40 c #Conflicts: 1302000 | #Constraints: 153399
3600.06/3610.40 c #Conflicts: 1303000 | #Constraints: 154399
3600.06/3610.40 c cpu time 3564.98 s
3600.06/3610.40 c deterministic time 261642040980 2.62e+11
3600.06/3610.40 c optimization time 158.515 s
3600.06/3610.40 c total solve time 3406.34 s
3600.06/3610.40 c core-guided solve time 0 s
3600.06/3610.40 c propagation time 2006.19 s
3600.06/3610.40 c conflict analysis time 1151.99 s
3600.06/3610.40 c propagations 1382890034
3600.06/3610.40 c resolve steps 74025842
3600.06/3610.40 c decisions 40541872
3600.06/3610.40 c conflicts 1303370
3600.06/3610.40 c restarts 2525
3600.06/3610.40 c inprocessing phases 38
3600.06/3610.40 c garbage collections 38 ,( 100.00 )
3600.06/3610.40 c input clauses 23522 ,( 99.17 )
3600.06/3610.40 c input cardinalities 196 ,( 0.83 )
3600.06/3610.40 c input general constraints 0 ,( 0.00 )
3600.06/3610.40 c input average constraint length 6.44
3600.06/3610.40 c input average constraint degree 1.97
3600.06/3610.40 c learned clauses 921410 ,( 70.69 )
3600.06/3610.40 c learned cardinalities 49220 ,( 3.78 )
3600.06/3610.40 c learned general constraints 332755 ,( 25.53 )
3600.06/3610.40 c learned average constraint length 784.87
3600.06/3610.40 c learned average constraint degree 17870353.77
3600.06/3610.40 c watched CF 32, 64, 128, Arb: 80555 , 0 , 0 , 0
3600.06/3610.40 c counting CF 32, 64, 128, Arb: 252200 , 0 , 0 , 0
3600.06/3610.40 c watched constraints 80555 ,( 24.21 )
3600.06/3610.40 c counting constraints 252200 ,( 75.79 )
3600.06/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1291943966 , 800217405 , 2077022763 ,( 100120963 , 1976901800 )
3600.06/3610.40 c gcd simplifications 675
3600.06/3610.40 c detected cardinalities 8294
3600.06/3610.40 c weakened non-implied lits 345866565
3600.06/3610.40 c weakened non-implying lits 174949
3600.06/3610.40 c original variables 23324
3600.06/3610.40 c clausal propagations 658495528
3600.06/3610.40 c cardinality propagations 495563888
3600.06/3610.40 c watched propagations 4129389
3600.06/3610.40 c counting propagations 211359469
3600.06/3610.40 c watch lookups 81984463057
3600.06/3610.40 c watch backjump lookups 0
3600.06/3610.40 c watch checks 38708987440
3600.06/3610.40 c propagation checks 133568224615
3600.06/3610.40 c constraint additions 4531926806
3600.06/3610.40 c trail pops 1424712619
3600.06/3610.40 c formula constraints 23718
3600.06/3610.40 c learned constraints 1303366
3600.06/3610.40 c bound constraints 0
3600.06/3610.40 c core-guided constraints 0
3600.06/3610.40 c encountered formula constraints 46120121
3600.06/3610.40 c encountered learned constraints 29208903
3600.06/3610.40 c encountered bound constraints 0
3600.06/3610.40 c encountered core-guided constraints 0
3600.06/3610.40 c LP total time 449.604 s
3600.06/3610.40 c LP solve time 443.91 s
3600.06/3610.40 c LP constraints added 24087
3600.06/3610.40 c LP constraints removed 48
3600.06/3610.40 c LP pivots internal 166126
3600.06/3610.40 c LP pivots root 128410
3600.06/3610.40 c LP calls 21
3600.06/3610.40 c LP optimalities 3
3600.06/3610.40 c LP no pivot count 0
3600.06/3610.40 c LP infeasibilities 11
3600.06/3610.40 c LP valid Farkas constraints 11
3600.06/3610.40 c LP learned Farkas constraints 3
3600.06/3610.40 c LP basis resets 0
3600.06/3610.40 c LP cycling count 0
3600.06/3610.40 c LP singular count 0
3600.06/3610.40 c LP no primal count 0
3600.06/3610.40 c LP no farkas count 0
3600.06/3610.40 c LP other issue count 0
3600.06/3610.40 c LP Gomory cuts 5
3600.06/3610.40 c LP learned cuts 364
3600.06/3610.40 c LP deleted cuts 48
3600.06/3610.40 c LP encountered Gomory constraints 41
3600.06/3610.40 c LP encountered Farkas constraints 142
3600.06/3610.40 c LP encountered learned Farkas constraints 2
3600.06/3610.40 c CG auxiliary variables introduced 0
3600.06/3610.40 c CG solutions found 0
3600.06/3610.40 c CG cores constructed 0
3600.06/3610.40 c CG core cardinality constraints returned 0
3600.06/3610.40 c CG unit cores 0
3600.06/3610.40 c CG single cores 0
3600.06/3610.40 c CG blocks removed during cardinality reduction 0
3600.06/3610.40 c CG first core best 0
3600.06/3610.40 c CG decision core best 0
3600.06/3610.40 c CG core reduction tie 0
3600.06/3610.40 c CG core degree average 0.00
3600.06/3610.40 c CG core slack average 0.00
3600.06/3610.40 c CG core upper bound improvements 0
3600.06/3610.40 c STR number of successful calls 0
3600.06/3610.40 c STR number of unsuccessful calls 0
3600.06/3610.40 c STR number of inconclusive calls 0
3600.06/3610.40 c STR number of successful attempts 0
3600.06/3610.40 c STR number of unsuccessful attempts 0
3600.06/3610.40 c STR number of inconclusive attempts 0
3600.06/3610.40 c STR average degree increase per successful call inf
3600.06/3610.40 c STR average degree increase per successful attempt inf
3600.06/3610.40 c STR total number of conflicts for successful attempts 0
3600.06/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.40 c STR average number of conflicts per successful attempt inf
3600.06/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.40 c AVG.sumWPerc 66.94
3600.06/3610.40 c bigint constraints 0
3600.06/3610.40 s UNKNOWN
3600.06/3610.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62618 MiB free)
memory of node 1: 64507 MiB (62642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507122-1751175492/watcher-4507122-1751175492 -o /tmp/evaluation-result-4507122-1751175492/solver-4507122-1751175492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18974 --watchdog 3760 run-dec-ls.sh HOME/instance-4507122-1751175492.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19981, runsolver pid=19978
[startup+0.100064 s]*
/proc/loadavg: 4.08 4.10 4.10 5/267 19983
/proc/meminfo: memFree=128255876/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=70456 memory=25224 CPUtime=0.09 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 4149 0 0 0 7 2 0 0 20 0 1 0 33229065 72146944 6306 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 17614 6306 1984 1147 0 5041 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74648 KiB
Current children cumulated memory: 28296 KiB
[startup+0.205698 s]*
/proc/loadavg: 4.08 4.10 4.10 5/267 19983
/proc/meminfo: memFree=128219600/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=117124 memory=66212 CPUtime=0.19 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 12350 0 0 0 16 3 0 0 20 0 1 0 33229065 119934976 16553 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 29281 16553 2272 1147 0 16708 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 121316 KiB
Current children cumulated memory: 69284 KiB
[startup+0.305574 s]*
/proc/loadavg: 4.08 4.10 4.10 5/267 19983
/proc/meminfo: memFree=128213552/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=121408 memory=68004 CPUtime=0.29 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 12804 0 0 0 26 3 0 0 20 0 1 0 33229065 124321792 17001 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 30352 17001 2272 1147 0 17779 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 125600 KiB
Current children cumulated memory: 71076 KiB
[startup+0.700228 s]
/proc/loadavg: 4.08 4.10 4.10 5/267 19983
/proc/meminfo: memFree=128213552/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=121408 memory=68772 CPUtime=0.68 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 12970 0 0 0 65 3 0 0 20 0 1 0 33229065 124321792 17193 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 30352 17193 2304 1147 0 17779 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 125600 KiB
Current children cumulated memory: 71844 KiB
[startup+1.50021 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 19983
/proc/meminfo: memFree=128209520/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=121408 memory=68772 CPUtime=1.47 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 12970 0 0 0 144 3 0 0 20 0 1 0 33229065 124321792 17193 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 30352 17193 2304 1147 0 17779 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 125600 KiB
Current children cumulated memory: 71844 KiB
[startup+3.10544 s]
/proc/loadavg: 4.07 4.10 4.09 4/264 19996
/proc/meminfo: memFree=129548480/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=124008 memory=71588 CPUtime=3.08 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 13675 0 0 0 304 4 0 0 20 0 1 0 33229065 126984192 17897 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 31002 17897 2304 1147 0 18429 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 128200 KiB
Current children cumulated memory: 74660 KiB
[startup+6.3002 s]
/proc/loadavg: 4.15 4.12 4.10 5/267 20030
/proc/meminfo: memFree=129511656/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=127824 memory=79244 CPUtime=6.26 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 15028 0 0 0 611 15 0 0 20 0 1 0 33229065 130891776 19811 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 31956 19811 2368 1147 0 19383 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 132016 KiB
Current children cumulated memory: 82316 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.10 5/267 20030
/proc/meminfo: memFree=129480940/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=138316 memory=87948 CPUtime=12.65 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 17181 0 0 0 1231 34 0 0 20 0 1 0 33229065 141635584 21987 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 34579 21987 2368 1147 0 22006 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 142508 KiB
Current children cumulated memory: 91020 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.10 5/267 20030
/proc/meminfo: memFree=129378572/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=157164 memory=108204 CPUtime=25.42 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 21767 0 0 0 2471 71 0 0 20 0 1 0 33229065 160935936 27051 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 39291 27051 2368 1147 0 26718 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 161356 KiB
Current children cumulated memory: 111276 KiB
[startup+51.1054 s]
/proc/loadavg: 4.07 4.10 4.09 5/267 20030
/proc/meminfo: memFree=129262912/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=181460 memory=132980 CPUtime=50.96 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 26986 0 0 0 4962 134 0 0 20 0 1 0 33229065 185815040 33245 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 45365 33245 2368 1147 0 32792 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 185652 KiB
Current children cumulated memory: 136052 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 20032
/proc/meminfo: memFree=129082196/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=248292 memory=184044 CPUtime=102.02 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 36713 0 0 0 9964 238 0 0 20 0 1 0 33229065 254251008 46011 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 62073 46011 2368 1147 0 49500 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 252484 KiB
Current children cumulated memory: 187116 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 20039
/proc/meminfo: memFree=128937488/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=266712 memory=210864 CPUtime=161.85 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 41376 0 0 0 15813 372 0 0 20 0 1 0 33229065 273113088 52716 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 66678 52716 2368 1147 0 54105 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 270904 KiB
Current children cumulated memory: 213936 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 20041
/proc/meminfo: memFree=128729300/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=359180 memory=265728 CPUtime=221.67 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 47936 0 0 0 21698 469 0 0 20 0 1 0 33229065 367800320 66432 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 89795 66432 2368 1147 0 77222 0
################
# More data... #
################
/proc/19983/statm: 407619 379156 2368 1147 0 395046 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 1634668 KiB
Current children cumulated memory: 1519696 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/267 20179
/proc/meminfo: memFree=124914324/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=1640228 memory=1525328 CPUtime=3093.47 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 165009 0 0 0 306300 3047 0 0 20 0 1 0 33229065 1679593472 381332 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 410057 381332 2368 1147 0 397484 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 1644420 KiB
Current children cumulated memory: 1528400 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/267 20185
/proc/meminfo: memFree=124905440/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=1640228 memory=1525328 CPUtime=3153.3 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 165009 0 0 0 312200 3130 0 0 20 0 1 0 33229065 1679593472 381332 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 410057 381332 2368 1147 0 397484 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 1644420 KiB
Current children cumulated memory: 1528400 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/267 20187
/proc/meminfo: memFree=124897228/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=1640228 memory=1525456 CPUtime=3213.12 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 165032 0 0 0 318096 3216 0 0 20 0 1 0 33229065 1679593472 381364 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 410057 381364 2368 1147 0 397484 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 1644420 KiB
Current children cumulated memory: 1528528 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/268 20192
/proc/meminfo: memFree=124889564/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=1642460 memory=1526992 CPUtime=3272.94 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 165436 0 0 0 324035 3259 0 0 20 0 1 0 33229065 1681879040 381748 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 410615 381748 2368 1147 0 398042 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 1646652 KiB
Current children cumulated memory: 1530064 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/267 20194
/proc/meminfo: memFree=124889196/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=1642460 memory=1526992 CPUtime=3332.76 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 165436 0 0 0 330001 3275 0 0 20 0 1 0 33229065 1681879040 381748 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 410615 381748 2368 1147 0 398042 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 1646652 KiB
Current children cumulated memory: 1530064 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/267 20196
/proc/meminfo: memFree=124889068/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=1643036 memory=1528016 CPUtime=3392.58 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 165698 0 0 0 335954 3304 0 0 20 0 1 0 33229065 1682468864 382004 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 410759 382004 2368 1147 0 398186 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 1647228 KiB
Current children cumulated memory: 1531088 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 20199
/proc/meminfo: memFree=124873940/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=1652360 memory=1535184 CPUtime=3452.4 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 167484 0 0 0 341886 3354 0 0 20 0 1 0 33229065 1692016640 383796 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 413090 383796 2368 1147 0 400517 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 1656552 KiB
Current children cumulated memory: 1538256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 20201
/proc/meminfo: memFree=124872844/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=1652360 memory=1535184 CPUtime=3512.22 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 167484 0 0 0 347788 3434 0 0 20 0 1 0 33229065 1692016640 383796 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 413090 383796 2368 1147 0 400517 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 1656552 KiB
Current children cumulated memory: 1538256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 20206
/proc/meminfo: memFree=124886832/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=1652928 memory=1535824 CPUtime=3572.04 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 167840 0 0 0 353717 3487 0 0 20 0 1 0 33229065 1692598272 383956 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 413232 383956 2368 1147 0 400659 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 1657120 KiB
Current children cumulated memory: 1538896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.06 4.08 4.09 3/255 20269
/proc/meminfo: memFree=126996480/131250000 swapFree=33010684/33010684
[pid=19981] ppid=19978 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19981/stat : 19981 (run-dec-ls.sh) S 19978 19981 18961 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33229064 4292608 768 18446744073709551615 94868982009856 94868982904389 140720338977248 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94868983143440 94868983191184 94869012987904 140720338979175 140720338979301 140720338979301 140720338984903 0
/proc/19981/statm: 1048 768 704 219 0 110 0
[pid=19983] ppid=19981 vsize=1655072 memory=1537488 CPUtime=3600.06 cores=5,7
/proc/19983/stat : 19983 (roundingsat) R 19981 19981 18961 0 -1 4194304 168282 0 0 0 356497 3509 0 0 20 0 1 0 33229065 1694793728 384372 18446744073709551615 4227072 8923433 140720929963088 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16977920 140720929970592 140720929970728 140720929970728 140720929976298 0
/proc/19983/statm: 413768 384372 2368 1147 0 401195 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1659264 KiB
Current children cumulated memory: 1540560 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 19981 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000541 s, system=0.001616 s
Sleeping 2 seconds
[startup+3610.42 s]
# the end of solver process 19983 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3564.99 s, system=35.108 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.42
CPU time (s): 3600.09
CPU user time (s): 3564.99
CPU system time (s): 35.108
CPU usage (%): 99.7139
Max. virtual memory (cumulated for all children) (KiB): 1659264
Max. memory (cumulated for all children) (KiB): 1540560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.99
system time used= 35.108
maximum resident set size= 1537872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168532
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= 276
involuntary context switches= 4985
# summary of solver processes directly reported to runsolver:
# pid: 19981,19983
# total CPU time (s): 3600.09
# total CPU user time (s): 3564.99
# total CPU system time (s): 35.108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7595 second user time and 16.054 second system time
The end
Begin job on nodeC027 at 2025-06-29 07:38:12
IDJOB=4507122
IDBENCH=158326
IDSOLVER=3353
FILE ID=nodeC027/4507122-1751175492
RUNJOBID= nodeC027-1751168266-18974
SLURM_JOB_ID= 9587510
Free space on /tmp= 433036 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K196.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507122-1751175492/watcher-4507122-1751175492 -o /tmp/evaluation-result-4507122-1751175492/solver-4507122-1751175492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18974 --watchdog 3760 run-dec-ls.sh HOME/instance-4507122-1751175492.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=1033671523
nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.785
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.655
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3541.502
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.643
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.621
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3533.469
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.609
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128267864 kB
MemAvailable: 128267092 kB
Buffers: 3280 kB
Cached: 805012 kB
SwapCached: 0 kB
Active: 1797624 kB
Inactive: 551136 kB
Active(anon): 1558536 kB
Inactive(anon): 0 kB
Active(file): 239088 kB
Inactive(file): 551136 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26044 kB
Writeback: 0 kB
AnonPages: 1543688 kB
Mapped: 116032 kB
Shmem: 18068 kB
KReclaimable: 96088 kB
Slab: 181172 kB
SReclaimable: 96088 kB
SUnreclaim: 85084 kB
KernelStack: 4384 kB
PageTables: 6472 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2123672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 614400 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC027 at 2025-06-29 08:38:22