0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.20/0.31 c #variables 16422 #constraints 16700
106.76/107.17 c #Conflicts: 1000 | #Constraints: 17699
106.76/107.17 c #Conflicts: 2000 | #Constraints: 18699
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 3000 | #Constraints: 18026
106.76/107.17 c #Conflicts: 4000 | #Constraints: 19026
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 5000 | #Constraints: 18538
106.76/107.17 c #Conflicts: 6000 | #Constraints: 19538
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 7000 | #Constraints: 18416
106.76/107.17 c #Conflicts: 8000 | #Constraints: 19416
106.76/107.17 c #Conflicts: 9000 | #Constraints: 20416
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 10000 | #Constraints: 19170
106.76/107.17 c #Conflicts: 11000 | #Constraints: 20170
106.76/107.17 c #Conflicts: 12000 | #Constraints: 21170
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 13000 | #Constraints: 19664
106.76/107.17 c #Conflicts: 14000 | #Constraints: 20664
106.76/107.17 c #Conflicts: 15000 | #Constraints: 21664
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 16000 | #Constraints: 19955
106.76/107.17 c #Conflicts: 17000 | #Constraints: 20955
106.76/107.17 c #Conflicts: 18000 | #Constraints: 21955
106.76/107.17 c #Conflicts: 19000 | #Constraints: 22955
106.76/107.17 c #Conflicts: 20000 | #Constraints: 23955
106.76/107.17 c #Conflicts: 21000 | #Constraints: 24955
106.76/107.17 c #Conflicts: 22000 | #Constraints: 25955
106.76/107.17 c #Conflicts: 23000 | #Constraints: 26955
106.76/107.17 c #Conflicts: 24000 | #Constraints: 27955
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 25000 | #Constraints: 22940
106.76/107.17 c #Conflicts: 26000 | #Constraints: 23940
106.76/107.17 c #Conflicts: 27000 | #Constraints: 24940
106.76/107.17 c #Conflicts: 28000 | #Constraints: 25940
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 29000 | #Constraints: 21814
106.76/107.17 c #Conflicts: 30000 | #Constraints: 22814
106.76/107.17 c #Conflicts: 31000 | #Constraints: 23814
106.76/107.17 c #Conflicts: 32000 | #Constraints: 24814
106.76/107.17 c #Conflicts: 33000 | #Constraints: 25814
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 34000 | #Constraints: 22057
106.76/107.17 c #Conflicts: 35000 | #Constraints: 23057
106.76/107.17 c #Conflicts: 36000 | #Constraints: 24057
106.76/107.17 c #Conflicts: 37000 | #Constraints: 25057
106.76/107.17 c #Conflicts: 38000 | #Constraints: 26057
106.76/107.17 c #Conflicts: 39000 | #Constraints: 27057
106.76/107.17 c #Conflicts: 40000 | #Constraints: 28057
106.76/107.17 c #Conflicts: 41000 | #Constraints: 29057
106.76/107.17 c #Conflicts: 42000 | #Constraints: 30057
106.76/107.17 c #Conflicts: 43000 | #Constraints: 31057
106.76/107.17 c #Conflicts: 44000 | #Constraints: 32057
106.76/107.17 c #Conflicts: 45000 | #Constraints: 33057
106.76/107.17 c #Conflicts: 46000 | #Constraints: 34057
106.76/107.17 c #Conflicts: 47000 | #Constraints: 35057
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 48000 | #Constraints: 26815
106.76/107.17 c #Conflicts: 49000 | #Constraints: 27815
106.76/107.17 c #Conflicts: 50000 | #Constraints: 28815
106.76/107.17 c #Conflicts: 51000 | #Constraints: 29815
106.76/107.17 c #Conflicts: 52000 | #Constraints: 30815
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 53000 | #Constraints: 24344
106.76/107.17 c #Conflicts: 54000 | #Constraints: 25344
106.76/107.17 c #Conflicts: 55000 | #Constraints: 26344
106.76/107.17 c #Conflicts: 56000 | #Constraints: 27344
106.76/107.17 c #Conflicts: 57000 | #Constraints: 28344
106.76/107.17 c #Conflicts: 58000 | #Constraints: 29344
106.76/107.17 c INPROCESSING
106.76/107.17 c GARBAGE COLLECT
106.76/107.17 c #Conflicts: 59000 | #Constraints: 23820
106.76/107.17 c #Conflicts: 60000 | #Constraints: 24820
106.76/107.17 c #Conflicts: 61000 | #Constraints: 25820
106.76/107.17 c #Conflicts: 62000 | #Constraints: 26820
106.76/107.17 c #Conflicts: 63000 | #Constraints: 27820
106.76/107.17 c #Conflicts: 64000 | #Constraints: 28820
106.76/107.17 c #Conflicts: 65000 | #Constraints: 29820
106.76/107.17 c #Conflicts: 66000 | #Constraints: 30820
106.76/107.17 c #Conflicts: 67000 | #Constraints: 31820
106.76/107.17 c #Conflicts: 68000 | #Constraints: 32820
106.76/107.17 c #Conflicts: 69000 | #Constraints: 33820
106.76/107.17 c #Conflicts: 70000 | #Constraints: 34820
106.76/107.17 c #Conflicts: 71000 | #Constraints: 35820
106.76/107.17 c #Conflicts: 72000 | #Constraints: 36820
251.16/251.94 c #Conflicts: 73000 | #Constraints: 37820
251.16/251.94 c #Conflicts: 74000 | #Constraints: 38820
251.16/251.94 c #Conflicts: 75000 | #Constraints: 39820
251.16/251.94 c #Conflicts: 76000 | #Constraints: 40820
251.16/251.94 c INPROCESSING
251.16/251.94 c GARBAGE COLLECT
251.16/251.94 c #Conflicts: 77000 | #Constraints: 29532
251.16/251.94 c #Conflicts: 78000 | #Constraints: 30532
251.16/251.94 c #Conflicts: 79000 | #Constraints: 31532
251.16/251.94 c #Conflicts: 80000 | #Constraints: 32532
251.16/251.94 c #Conflicts: 81000 | #Constraints: 33532
251.16/251.94 c #Conflicts: 82000 | #Constraints: 34532
251.16/251.94 c #Conflicts: 83000 | #Constraints: 35532
251.16/251.94 c #Conflicts: 84000 | #Constraints: 36532
251.16/251.94 c INPROCESSING
251.16/251.94 c GARBAGE COLLECT
251.16/251.94 c #Conflicts: 85000 | #Constraints: 27769
251.16/251.94 c #Conflicts: 86000 | #Constraints: 28769
251.16/251.94 c #Conflicts: 87000 | #Constraints: 29769
251.16/251.94 c #Conflicts: 88000 | #Constraints: 30769
251.16/251.94 c #Conflicts: 89000 | #Constraints: 31769
251.16/251.94 c #Conflicts: 90000 | #Constraints: 32769
251.16/251.94 c #Conflicts: 91000 | #Constraints: 33769
251.16/251.94 c INPROCESSING
251.16/251.94 c GARBAGE COLLECT
251.16/251.94 c #Conflicts: 92000 | #Constraints: 26654
251.16/251.94 c #Conflicts: 93000 | #Constraints: 27654
251.16/251.94 c #Conflicts: 94000 | #Constraints: 28654
251.16/251.94 c #Conflicts: 95000 | #Constraints: 29654
251.16/251.94 c #Conflicts: 96000 | #Constraints: 30654
251.16/251.94 c #Conflicts: 97000 | #Constraints: 31654
251.16/251.94 c #Conflicts: 98000 | #Constraints: 32654
251.16/251.94 c #Conflicts: 99000 | #Constraints: 33654
251.16/251.94 c #Conflicts: 100000 | #Constraints: 34654
251.16/251.94 c #Conflicts: 101000 | #Constraints: 35654
251.16/251.94 c #Conflicts: 102000 | #Constraints: 36654
251.16/251.94 c #Conflicts: 103000 | #Constraints: 37654
251.16/251.94 c #Conflicts: 104000 | #Constraints: 38654
251.16/251.94 c #Conflicts: 105000 | #Constraints: 39654
251.16/251.94 c #Conflicts: 106000 | #Constraints: 40654
251.16/251.94 c #Conflicts: 107000 | #Constraints: 41654
251.16/251.94 c #Conflicts: 108000 | #Constraints: 42654
251.16/251.94 c #Conflicts: 109000 | #Constraints: 43654
251.16/251.94 c #Conflicts: 110000 | #Constraints: 44654
251.16/251.94 c #Conflicts: 111000 | #Constraints: 45654
251.16/251.94 c #Conflicts: 112000 | #Constraints: 46654
251.16/251.94 c #Conflicts: 113000 | #Constraints: 47654
251.16/251.94 c INPROCESSING
251.16/251.94 c GARBAGE COLLECT
251.16/251.94 c #Conflicts: 114000 | #Constraints: 33006
251.16/251.94 c #Conflicts: 115000 | #Constraints: 34006
251.16/251.94 c #Conflicts: 116000 | #Constraints: 35006
251.16/251.94 c #Conflicts: 117000 | #Constraints: 36006
251.16/251.94 c #Conflicts: 118000 | #Constraints: 37006
251.16/251.94 c #Conflicts: 119000 | #Constraints: 38006
251.16/251.94 c #Conflicts: 120000 | #Constraints: 39006
251.16/251.94 c #Conflicts: 121000 | #Constraints: 40006
251.16/251.94 c #Conflicts: 122000 | #Constraints: 41006
251.16/251.94 c INPROCESSING
251.16/251.94 c GARBAGE COLLECT
251.16/251.94 c #Conflicts: 123000 | #Constraints: 29790
251.16/251.94 c #Conflicts: 124000 | #Constraints: 30790
251.16/251.94 c #Conflicts: 125000 | #Constraints: 31790
251.16/251.94 c #Conflicts: 126000 | #Constraints: 32790
251.16/251.94 c #Conflicts: 127000 | #Constraints: 33790
251.16/251.94 c #Conflicts: 128000 | #Constraints: 34790
251.16/251.94 c #Conflicts: 129000 | #Constraints: 35790
251.16/251.94 c #Conflicts: 130000 | #Constraints: 36790
251.16/251.94 c #Conflicts: 131000 | #Constraints: 37790
251.16/251.94 c INPROCESSING
251.16/251.94 c GARBAGE COLLECT
251.16/251.94 c #Conflicts: 132000 | #Constraints: 29198
251.16/251.94 c #Conflicts: 133000 | #Constraints: 30198
251.16/251.94 c #Conflicts: 134000 | #Constraints: 31198
251.16/251.94 c #Conflicts: 135000 | #Constraints: 32198
251.16/251.94 c #Conflicts: 136000 | #Constraints: 33198
251.16/251.94 c #Conflicts: 137000 | #Constraints: 34198
251.16/251.94 c #Conflicts: 138000 | #Constraints: 35198
251.16/251.94 c #Conflicts: 139000 | #Constraints: 36198
251.16/251.94 c #Conflicts: 140000 | #Constraints: 37198
251.16/251.94 c #Conflicts: 141000 | #Constraints: 38198
251.16/251.94 c #Conflicts: 142000 | #Constraints: 39198
251.16/251.94 c #Conflicts: 143000 | #Constraints: 40198
251.16/251.94 c #Conflicts: 144000 | #Constraints: 41198
251.16/251.94 c #Conflicts: 145000 | #Constraints: 42198
251.16/251.94 c #Conflicts: 146000 | #Constraints: 43198
251.16/251.94 c #Conflicts: 147000 | #Constraints: 44198
386.76/387.99 c #Conflicts: 148000 | #Constraints: 45198
386.76/387.99 c #Conflicts: 149000 | #Constraints: 46198
386.76/387.99 c #Conflicts: 150000 | #Constraints: 47198
386.76/387.99 c #Conflicts: 151000 | #Constraints: 48198
386.76/387.99 c #Conflicts: 152000 | #Constraints: 49198
386.76/387.99 c #Conflicts: 153000 | #Constraints: 50198
386.76/387.99 c #Conflicts: 154000 | #Constraints: 51198
386.76/387.99 c #Conflicts: 155000 | #Constraints: 52198
386.76/387.99 c #Conflicts: 156000 | #Constraints: 53198
386.76/387.99 c #Conflicts: 157000 | #Constraints: 54198
386.76/387.99 c INPROCESSING
386.76/387.99 c GARBAGE COLLECT
386.76/387.99 c #Conflicts: 158000 | #Constraints: 36435
386.76/387.99 c #Conflicts: 159000 | #Constraints: 37435
386.76/387.99 c #Conflicts: 160000 | #Constraints: 38435
386.76/387.99 c #Conflicts: 161000 | #Constraints: 39435
386.76/387.99 c #Conflicts: 162000 | #Constraints: 40435
386.76/387.99 c #Conflicts: 163000 | #Constraints: 41435
386.76/387.99 c #Conflicts: 164000 | #Constraints: 42435
386.76/387.99 c #Conflicts: 165000 | #Constraints: 43435
386.76/387.99 c #Conflicts: 166000 | #Constraints: 44435
386.76/387.99 c #Conflicts: 167000 | #Constraints: 45435
386.76/387.99 c #Conflicts: 168000 | #Constraints: 46435
386.76/387.99 c INPROCESSING
386.76/387.99 c GARBAGE COLLECT
386.76/387.99 c #Conflicts: 169000 | #Constraints: 32948
386.76/387.99 c #Conflicts: 170000 | #Constraints: 33948
386.76/387.99 c #Conflicts: 171000 | #Constraints: 34948
386.76/387.99 c #Conflicts: 172000 | #Constraints: 35948
386.76/387.99 c #Conflicts: 173000 | #Constraints: 36948
386.76/387.99 c #Conflicts: 174000 | #Constraints: 37948
386.76/387.99 c #Conflicts: 175000 | #Constraints: 38948
386.76/387.99 c #Conflicts: 176000 | #Constraints: 39948
386.76/387.99 c #Conflicts: 177000 | #Constraints: 40948
386.76/387.99 c #Conflicts: 178000 | #Constraints: 41948
386.76/387.99 c INPROCESSING
386.76/387.99 c GARBAGE COLLECT
386.76/387.99 c #Conflicts: 179000 | #Constraints: 32016
386.76/387.99 c #Conflicts: 180000 | #Constraints: 33016
386.76/387.99 c #Conflicts: 181000 | #Constraints: 34016
386.76/387.99 c #Conflicts: 182000 | #Constraints: 35016
386.76/387.99 c #Conflicts: 183000 | #Constraints: 36016
386.76/387.99 c #Conflicts: 184000 | #Constraints: 37016
386.76/387.99 c #Conflicts: 185000 | #Constraints: 38016
386.76/387.99 c #Conflicts: 186000 | #Constraints: 39016
386.76/387.99 c #Conflicts: 187000 | #Constraints: 40016
386.76/387.99 c #Conflicts: 188000 | #Constraints: 41016
386.76/387.99 c #Conflicts: 189000 | #Constraints: 42016
386.76/387.99 c #Conflicts: 190000 | #Constraints: 43016
386.76/387.99 c #Conflicts: 191000 | #Constraints: 44016
386.76/387.99 c #Conflicts: 192000 | #Constraints: 45016
386.76/387.99 c #Conflicts: 193000 | #Constraints: 46016
386.76/387.99 c #Conflicts: 194000 | #Constraints: 47016
386.76/387.99 c #Conflicts: 195000 | #Constraints: 48016
386.76/387.99 c #Conflicts: 196000 | #Constraints: 49016
386.76/387.99 c #Conflicts: 197000 | #Constraints: 50016
386.76/387.99 c #Conflicts: 198000 | #Constraints: 51016
386.76/387.99 c #Conflicts: 199000 | #Constraints: 52016
386.76/387.99 c #Conflicts: 200000 | #Constraints: 53016
386.76/387.99 c #Conflicts: 201000 | #Constraints: 54016
386.76/387.99 c #Conflicts: 202000 | #Constraints: 55016
386.76/387.99 c #Conflicts: 203000 | #Constraints: 56016
386.76/387.99 c #Conflicts: 204000 | #Constraints: 57016
386.76/387.99 c #Conflicts: 205000 | #Constraints: 58016
386.76/387.99 c #Conflicts: 206000 | #Constraints: 59016
386.76/387.99 c #Conflicts: 207000 | #Constraints: 60016
386.76/387.99 c #Conflicts: 208000 | #Constraints: 61016
386.76/387.99 c #Conflicts: 209000 | #Constraints: 62016
386.76/387.99 c INPROCESSING
386.76/387.99 c GARBAGE COLLECT
386.76/387.99 c #Conflicts: 210000 | #Constraints: 40655
386.76/387.99 c #Conflicts: 211000 | #Constraints: 41655
386.76/387.99 c #Conflicts: 212000 | #Constraints: 42655
386.76/387.99 c #Conflicts: 213000 | #Constraints: 43655
386.76/387.99 c #Conflicts: 214000 | #Constraints: 44655
386.76/387.99 c #Conflicts: 215000 | #Constraints: 45655
386.76/387.99 c #Conflicts: 216000 | #Constraints: 46655
386.76/387.99 c #Conflicts: 217000 | #Constraints: 47655
386.76/387.99 c #Conflicts: 218000 | #Constraints: 48655
386.76/387.99 c #Conflicts: 219000 | #Constraints: 49655
386.76/387.99 c #Conflicts: 220000 | #Constraints: 50655
386.76/387.99 c INPROCESSING
386.76/387.99 c GARBAGE COLLECT
386.76/387.99 c rational objective 138
507.07/508.60 c #Conflicts: 221000 | #Constraints: 34713
507.07/508.60 c #Conflicts: 222000 | #Constraints: 35713
507.07/508.60 c #Conflicts: 223000 | #Constraints: 36713
507.07/508.60 c #Conflicts: 224000 | #Constraints: 37713
507.07/508.60 c #Conflicts: 225000 | #Constraints: 38713
507.07/508.60 c #Conflicts: 226000 | #Constraints: 39713
507.07/508.60 c #Conflicts: 227000 | #Constraints: 40713
507.07/508.60 c #Conflicts: 228000 | #Constraints: 41713
507.07/508.60 c #Conflicts: 229000 | #Constraints: 42713
507.07/508.60 c #Conflicts: 230000 | #Constraints: 43713
507.07/508.60 c #Conflicts: 231000 | #Constraints: 44713
507.07/508.60 c #Conflicts: 232000 | #Constraints: 45713
507.07/508.60 c INPROCESSING
507.07/508.60 c GARBAGE COLLECT
507.07/508.60 c #Conflicts: 233000 | #Constraints: 34108
507.07/508.60 c #Conflicts: 234000 | #Constraints: 35108
507.07/508.60 c #Conflicts: 235000 | #Constraints: 36108
507.07/508.60 c #Conflicts: 236000 | #Constraints: 37108
507.07/508.60 c #Conflicts: 237000 | #Constraints: 38108
507.07/508.60 c #Conflicts: 238000 | #Constraints: 39108
507.07/508.60 c #Conflicts: 239000 | #Constraints: 40108
507.07/508.60 c #Conflicts: 240000 | #Constraints: 41108
507.07/508.60 c #Conflicts: 241000 | #Constraints: 42108
507.07/508.60 c #Conflicts: 242000 | #Constraints: 43108
507.07/508.60 c #Conflicts: 243000 | #Constraints: 44108
507.07/508.60 c #Conflicts: 244000 | #Constraints: 45108
507.07/508.60 c #Conflicts: 245000 | #Constraints: 46108
507.07/508.60 c #Conflicts: 246000 | #Constraints: 47108
507.07/508.60 c #Conflicts: 247000 | #Constraints: 48108
507.07/508.60 c #Conflicts: 248000 | #Constraints: 49108
507.07/508.60 c #Conflicts: 249000 | #Constraints: 50108
507.07/508.60 c #Conflicts: 250000 | #Constraints: 51108
507.07/508.60 c #Conflicts: 251000 | #Constraints: 52108
507.07/508.60 c #Conflicts: 252000 | #Constraints: 53108
507.07/508.60 c #Conflicts: 253000 | #Constraints: 54108
507.07/508.60 c #Conflicts: 254000 | #Constraints: 55108
507.07/508.60 c #Conflicts: 255000 | #Constraints: 56108
507.07/508.60 c #Conflicts: 256000 | #Constraints: 57108
507.07/508.60 c #Conflicts: 257000 | #Constraints: 58108
507.07/508.60 c #Conflicts: 258000 | #Constraints: 59108
507.07/508.60 c #Conflicts: 259000 | #Constraints: 60108
507.07/508.60 c #Conflicts: 260000 | #Constraints: 61108
507.07/508.60 c #Conflicts: 261000 | #Constraints: 62108
507.07/508.60 c #Conflicts: 262000 | #Constraints: 63108
507.07/508.60 c #Conflicts: 263000 | #Constraints: 64108
507.07/508.60 c #Conflicts: 264000 | #Constraints: 65108
507.07/508.60 c #Conflicts: 265000 | #Constraints: 66108
507.07/508.60 c #Conflicts: 266000 | #Constraints: 67108
507.07/508.60 c #Conflicts: 267000 | #Constraints: 68108
507.07/508.60 c INPROCESSING
507.07/508.60 c GARBAGE COLLECT
507.07/508.60 c #Conflicts: 268000 | #Constraints: 43436
507.07/508.60 c #Conflicts: 269000 | #Constraints: 44436
507.07/508.60 c #Conflicts: 270000 | #Constraints: 45436
507.07/508.60 c #Conflicts: 271000 | #Constraints: 46436
507.07/508.60 c #Conflicts: 272000 | #Constraints: 47436
507.07/508.60 c #Conflicts: 273000 | #Constraints: 48436
507.07/508.60 c #Conflicts: 274000 | #Constraints: 49436
507.07/508.60 c #Conflicts: 275000 | #Constraints: 50436
507.07/508.60 c #Conflicts: 276000 | #Constraints: 51436
507.07/508.60 c #Conflicts: 277000 | #Constraints: 52436
507.07/508.60 c #Conflicts: 278000 | #Constraints: 53436
507.07/508.60 c #Conflicts: 279000 | #Constraints: 54436
507.07/508.60 c #Conflicts: 280000 | #Constraints: 55436
507.07/508.60 c INPROCESSING
507.07/508.60 c GARBAGE COLLECT
507.07/508.60 c #Conflicts: 281000 | #Constraints: 37212
507.07/508.60 c #Conflicts: 282000 | #Constraints: 38212
507.07/508.60 c #Conflicts: 283000 | #Constraints: 39212
507.07/508.60 c #Conflicts: 284000 | #Constraints: 40212
507.07/508.60 c #Conflicts: 285000 | #Constraints: 41212
507.07/508.60 c #Conflicts: 286000 | #Constraints: 42212
507.07/508.60 c #Conflicts: 287000 | #Constraints: 43212
507.07/508.60 c #Conflicts: 288000 | #Constraints: 44212
507.07/508.60 c #Conflicts: 289000 | #Constraints: 45212
507.07/508.60 c #Conflicts: 290000 | #Constraints: 46212
507.07/508.60 c #Conflicts: 291000 | #Constraints: 47212
507.07/508.60 c #Conflicts: 292000 | #Constraints: 48212
507.07/508.60 c #Conflicts: 293000 | #Constraints: 49212
507.07/508.60 c #Conflicts: 294000 | #Constraints: 50212
507.07/508.60 c #Conflicts: 295000 | #Constraints: 51212
507.07/508.60 c #Conflicts: 296000 | #Constraints: 52212
507.07/508.60 c #Conflicts: 297000 | #Constraints: 53212
652.17/654.19 c #Conflicts: 298000 | #Constraints: 54212
652.17/654.19 c #Conflicts: 299000 | #Constraints: 55212
652.17/654.19 c #Conflicts: 300000 | #Constraints: 56212
652.17/654.19 c #Conflicts: 301000 | #Constraints: 57212
652.17/654.19 c #Conflicts: 302000 | #Constraints: 58212
652.17/654.19 c #Conflicts: 303000 | #Constraints: 59212
652.17/654.19 c #Conflicts: 304000 | #Constraints: 60212
652.17/654.19 c #Conflicts: 305000 | #Constraints: 61212
652.17/654.19 c #Conflicts: 306000 | #Constraints: 62212
652.17/654.19 c #Conflicts: 307000 | #Constraints: 63212
652.17/654.19 c #Conflicts: 308000 | #Constraints: 64212
652.17/654.19 c #Conflicts: 309000 | #Constraints: 65212
652.17/654.19 c #Conflicts: 310000 | #Constraints: 66212
652.17/654.19 c #Conflicts: 311000 | #Constraints: 67212
652.17/654.19 c #Conflicts: 312000 | #Constraints: 68212
652.17/654.19 c #Conflicts: 313000 | #Constraints: 69212
652.17/654.19 c #Conflicts: 314000 | #Constraints: 70212
652.17/654.19 c #Conflicts: 315000 | #Constraints: 71212
652.17/654.19 c #Conflicts: 316000 | #Constraints: 72212
652.17/654.19 c #Conflicts: 317000 | #Constraints: 73212
652.17/654.19 c #Conflicts: 318000 | #Constraints: 74212
652.17/654.19 c INPROCESSING
652.17/654.19 c GARBAGE COLLECT
652.17/654.19 c #Conflicts: 319000 | #Constraints: 46752
652.17/654.19 c #Conflicts: 320000 | #Constraints: 47752
652.17/654.19 c #Conflicts: 321000 | #Constraints: 48752
652.17/654.19 c #Conflicts: 322000 | #Constraints: 49752
652.17/654.19 c #Conflicts: 323000 | #Constraints: 50752
652.17/654.19 c #Conflicts: 324000 | #Constraints: 51752
652.17/654.19 c #Conflicts: 325000 | #Constraints: 52752
652.17/654.19 c #Conflicts: 326000 | #Constraints: 53752
652.17/654.19 c #Conflicts: 327000 | #Constraints: 54752
652.17/654.19 c #Conflicts: 328000 | #Constraints: 55752
652.17/654.19 c #Conflicts: 329000 | #Constraints: 56752
652.17/654.19 c #Conflicts: 330000 | #Constraints: 57752
652.17/654.19 c #Conflicts: 331000 | #Constraints: 58752
652.17/654.19 c #Conflicts: 332000 | #Constraints: 59752
652.17/654.19 c #Conflicts: 333000 | #Constraints: 60752
652.17/654.19 c INPROCESSING
652.17/654.19 c GARBAGE COLLECT
652.17/654.19 c #Conflicts: 334000 | #Constraints: 40054
652.17/654.19 c #Conflicts: 335000 | #Constraints: 41054
652.17/654.19 c #Conflicts: 336000 | #Constraints: 42054
652.17/654.19 c #Conflicts: 337000 | #Constraints: 43054
652.17/654.19 c #Conflicts: 338000 | #Constraints: 44054
652.17/654.19 c #Conflicts: 339000 | #Constraints: 45054
652.17/654.19 c #Conflicts: 340000 | #Constraints: 46054
652.17/654.19 c #Conflicts: 341000 | #Constraints: 47054
652.17/654.19 c #Conflicts: 342000 | #Constraints: 48054
652.17/654.19 c #Conflicts: 343000 | #Constraints: 49054
652.17/654.19 c #Conflicts: 344000 | #Constraints: 50054
652.17/654.19 c #Conflicts: 345000 | #Constraints: 51054
652.17/654.19 c #Conflicts: 346000 | #Constraints: 52054
652.17/654.19 c #Conflicts: 347000 | #Constraints: 53054
652.17/654.19 c #Conflicts: 348000 | #Constraints: 54054
652.17/654.19 c #Conflicts: 349000 | #Constraints: 55054
652.17/654.19 c #Conflicts: 350000 | #Constraints: 56054
652.17/654.19 c #Conflicts: 351000 | #Constraints: 57054
652.17/654.19 c #Conflicts: 352000 | #Constraints: 58054
652.17/654.19 c #Conflicts: 353000 | #Constraints: 59054
652.17/654.19 c #Conflicts: 354000 | #Constraints: 60054
652.17/654.19 c #Conflicts: 355000 | #Constraints: 61054
652.17/654.19 c #Conflicts: 356000 | #Constraints: 62054
652.17/654.19 c #Conflicts: 357000 | #Constraints: 63054
652.17/654.19 c #Conflicts: 358000 | #Constraints: 64054
652.17/654.19 c #Conflicts: 359000 | #Constraints: 65054
652.17/654.19 c #Conflicts: 360000 | #Constraints: 66054
652.17/654.19 c #Conflicts: 361000 | #Constraints: 67054
652.17/654.19 c #Conflicts: 362000 | #Constraints: 68054
652.17/654.19 c #Conflicts: 363000 | #Constraints: 69054
652.17/654.19 c #Conflicts: 364000 | #Constraints: 70054
652.17/654.19 c #Conflicts: 365000 | #Constraints: 71054
652.17/654.19 c #Conflicts: 366000 | #Constraints: 72054
652.17/654.19 c #Conflicts: 367000 | #Constraints: 73054
652.17/654.19 c #Conflicts: 368000 | #Constraints: 74054
652.17/654.19 c #Conflicts: 369000 | #Constraints: 75054
652.17/654.19 c #Conflicts: 370000 | #Constraints: 76054
652.17/654.19 c #Conflicts: 371000 | #Constraints: 77054
652.17/654.19 c #Conflicts: 372000 | #Constraints: 78054
652.17/654.19 c #Conflicts: 373000 | #Constraints: 79054
652.17/654.19 c #Conflicts: 374000 | #Constraints: 80054
652.17/654.19 c INPROCESSING
652.17/654.19 c GARBAGE COLLECT
672.28/674.37 c rational objective 138
893.69/896.42 c #Conflicts: 375000 | #Constraints: 49943
893.69/896.42 c #Conflicts: 376000 | #Constraints: 50943
893.69/896.42 c #Conflicts: 377000 | #Constraints: 51943
893.69/896.42 c #Conflicts: 378000 | #Constraints: 52943
893.69/896.42 c #Conflicts: 379000 | #Constraints: 53943
893.69/896.42 c #Conflicts: 380000 | #Constraints: 54943
893.69/896.42 c #Conflicts: 381000 | #Constraints: 55943
893.69/896.42 c #Conflicts: 382000 | #Constraints: 56943
893.69/896.42 c #Conflicts: 383000 | #Constraints: 57943
893.69/896.42 c #Conflicts: 384000 | #Constraints: 58943
893.69/896.42 c #Conflicts: 385000 | #Constraints: 59943
893.69/896.42 c #Conflicts: 386000 | #Constraints: 60943
893.69/896.42 c #Conflicts: 387000 | #Constraints: 61943
893.69/896.42 c #Conflicts: 388000 | #Constraints: 62943
893.69/896.42 c #Conflicts: 389000 | #Constraints: 63943
893.69/896.42 c #Conflicts: 390000 | #Constraints: 64943
893.69/896.42 c INPROCESSING
893.69/896.42 c GARBAGE COLLECT
893.69/896.42 c #Conflicts: 391000 | #Constraints: 42528
893.69/896.42 c #Conflicts: 392000 | #Constraints: 43528
893.69/896.42 c #Conflicts: 393000 | #Constraints: 44528
893.69/896.42 c #Conflicts: 394000 | #Constraints: 45528
893.69/896.42 c #Conflicts: 395000 | #Constraints: 46528
893.69/896.42 c #Conflicts: 396000 | #Constraints: 47528
893.69/896.42 c #Conflicts: 397000 | #Constraints: 48528
893.69/896.42 c #Conflicts: 398000 | #Constraints: 49528
893.69/896.42 c #Conflicts: 399000 | #Constraints: 50528
893.69/896.42 c #Conflicts: 400000 | #Constraints: 51528
893.69/896.42 c #Conflicts: 401000 | #Constraints: 52528
893.69/896.42 c #Conflicts: 402000 | #Constraints: 53528
893.69/896.42 c #Conflicts: 403000 | #Constraints: 54528
893.69/896.42 c #Conflicts: 404000 | #Constraints: 55528
893.69/896.42 c #Conflicts: 405000 | #Constraints: 56528
893.69/896.42 c #Conflicts: 406000 | #Constraints: 57528
893.69/896.42 c #Conflicts: 407000 | #Constraints: 58528
893.69/896.42 c #Conflicts: 408000 | #Constraints: 59528
893.69/896.42 c #Conflicts: 409000 | #Constraints: 60528
893.69/896.42 c #Conflicts: 410000 | #Constraints: 61528
893.69/896.42 c #Conflicts: 411000 | #Constraints: 62528
893.69/896.42 c #Conflicts: 412000 | #Constraints: 63528
893.69/896.42 c #Conflicts: 413000 | #Constraints: 64528
893.69/896.42 c #Conflicts: 414000 | #Constraints: 65528
893.69/896.42 c #Conflicts: 415000 | #Constraints: 66528
893.69/896.42 c #Conflicts: 416000 | #Constraints: 67528
893.69/896.42 c #Conflicts: 417000 | #Constraints: 68528
893.69/896.42 c #Conflicts: 418000 | #Constraints: 69528
893.69/896.42 c #Conflicts: 419000 | #Constraints: 70528
893.69/896.42 c #Conflicts: 420000 | #Constraints: 71528
893.69/896.42 c #Conflicts: 421000 | #Constraints: 72528
893.69/896.42 c #Conflicts: 422000 | #Constraints: 73528
893.69/896.42 c #Conflicts: 423000 | #Constraints: 74528
893.69/896.42 c #Conflicts: 424000 | #Constraints: 75528
893.69/896.42 c #Conflicts: 425000 | #Constraints: 76528
893.69/896.42 c #Conflicts: 426000 | #Constraints: 77528
893.69/896.42 c #Conflicts: 427000 | #Constraints: 78528
893.69/896.42 c #Conflicts: 428000 | #Constraints: 79528
893.69/896.42 c #Conflicts: 429000 | #Constraints: 80528
893.69/896.42 c #Conflicts: 430000 | #Constraints: 81528
893.69/896.42 c #Conflicts: 431000 | #Constraints: 82528
893.69/896.42 c #Conflicts: 432000 | #Constraints: 83528
893.69/896.42 c #Conflicts: 433000 | #Constraints: 84528
893.69/896.42 c #Conflicts: 434000 | #Constraints: 85528
893.69/896.42 c INPROCESSING
893.69/896.42 c GARBAGE COLLECT
893.69/896.42 c #Conflicts: 435000 | #Constraints: 52694
893.69/896.42 c #Conflicts: 436000 | #Constraints: 53694
893.69/896.42 c #Conflicts: 437000 | #Constraints: 54694
893.69/896.42 c #Conflicts: 438000 | #Constraints: 55694
893.69/896.42 c #Conflicts: 439000 | #Constraints: 56694
893.69/896.42 c #Conflicts: 440000 | #Constraints: 57694
893.69/896.42 c #Conflicts: 441000 | #Constraints: 58694
893.69/896.42 c #Conflicts: 442000 | #Constraints: 59694
893.69/896.42 c #Conflicts: 443000 | #Constraints: 60694
893.69/896.42 c #Conflicts: 444000 | #Constraints: 61694
893.69/896.42 c #Conflicts: 445000 | #Constraints: 62694
893.69/896.42 c #Conflicts: 446000 | #Constraints: 63694
893.69/896.42 c #Conflicts: 447000 | #Constraints: 64694
893.69/896.42 c #Conflicts: 448000 | #Constraints: 65694
893.69/896.42 c #Conflicts: 449000 | #Constraints: 66694
893.69/896.42 c #Conflicts: 450000 | #Constraints: 67694
893.69/896.42 c #Conflicts: 451000 | #Constraints: 68694
893.69/896.42 c INPROCESSING
893.69/896.42 c GARBAGE COLLECT
1070.95/1074.24 c #Conflicts: 452000 | #Constraints: 44014
1070.95/1074.24 c #Conflicts: 453000 | #Constraints: 45014
1070.95/1074.24 c #Conflicts: 454000 | #Constraints: 46014
1070.95/1074.24 c #Conflicts: 455000 | #Constraints: 47014
1070.95/1074.24 c #Conflicts: 456000 | #Constraints: 48014
1070.95/1074.24 c #Conflicts: 457000 | #Constraints: 49014
1070.95/1074.24 c #Conflicts: 458000 | #Constraints: 50014
1070.95/1074.24 c #Conflicts: 459000 | #Constraints: 51014
1070.95/1074.24 c #Conflicts: 460000 | #Constraints: 52014
1070.95/1074.24 c #Conflicts: 461000 | #Constraints: 53014
1070.95/1074.24 c #Conflicts: 462000 | #Constraints: 54014
1070.95/1074.24 c #Conflicts: 463000 | #Constraints: 55014
1070.95/1074.24 c #Conflicts: 464000 | #Constraints: 56014
1070.95/1074.24 c #Conflicts: 465000 | #Constraints: 57014
1070.95/1074.24 c #Conflicts: 466000 | #Constraints: 58014
1070.95/1074.24 c #Conflicts: 467000 | #Constraints: 59014
1070.95/1074.24 c #Conflicts: 468000 | #Constraints: 60014
1070.95/1074.24 c #Conflicts: 469000 | #Constraints: 61014
1070.95/1074.24 c #Conflicts: 470000 | #Constraints: 62014
1070.95/1074.24 c #Conflicts: 471000 | #Constraints: 63014
1070.95/1074.24 c #Conflicts: 472000 | #Constraints: 64014
1070.95/1074.24 c #Conflicts: 473000 | #Constraints: 65014
1070.95/1074.24 c #Conflicts: 474000 | #Constraints: 66014
1070.95/1074.24 c #Conflicts: 475000 | #Constraints: 67014
1070.95/1074.24 c #Conflicts: 476000 | #Constraints: 68014
1070.95/1074.24 c #Conflicts: 477000 | #Constraints: 69014
1070.95/1074.24 c #Conflicts: 478000 | #Constraints: 70014
1070.95/1074.24 c #Conflicts: 479000 | #Constraints: 71014
1070.95/1074.24 c #Conflicts: 480000 | #Constraints: 72014
1070.95/1074.24 c #Conflicts: 481000 | #Constraints: 73014
1070.95/1074.24 c #Conflicts: 482000 | #Constraints: 74014
1070.95/1074.24 c #Conflicts: 483000 | #Constraints: 75014
1070.95/1074.24 c #Conflicts: 484000 | #Constraints: 76014
1070.95/1074.24 c #Conflicts: 485000 | #Constraints: 77014
1070.95/1074.24 c #Conflicts: 486000 | #Constraints: 78014
1070.95/1074.24 c #Conflicts: 487000 | #Constraints: 79014
1070.95/1074.24 c #Conflicts: 488000 | #Constraints: 80014
1070.95/1074.24 c #Conflicts: 489000 | #Constraints: 81014
1070.95/1074.24 c #Conflicts: 490000 | #Constraints: 82014
1070.95/1074.24 c #Conflicts: 491000 | #Constraints: 83014
1070.95/1074.24 c #Conflicts: 492000 | #Constraints: 84014
1070.95/1074.24 c #Conflicts: 493000 | #Constraints: 85014
1070.95/1074.24 c #Conflicts: 494000 | #Constraints: 86014
1070.95/1074.24 c #Conflicts: 495000 | #Constraints: 87014
1070.95/1074.24 c #Conflicts: 496000 | #Constraints: 88014
1070.95/1074.24 c #Conflicts: 497000 | #Constraints: 89014
1070.95/1074.24 c #Conflicts: 498000 | #Constraints: 90014
1070.95/1074.24 c INPROCESSING
1070.95/1074.24 c GARBAGE COLLECT
1070.95/1074.24 c rational objective 138
1131.95/1135.42 c #Conflicts: 499000 | #Constraints: 54815
1131.95/1135.42 c #Conflicts: 500000 | #Constraints: 55815
1131.95/1135.42 c #Conflicts: 501000 | #Constraints: 56815
1131.95/1135.42 c #Conflicts: 502000 | #Constraints: 57815
1131.95/1135.42 c #Conflicts: 503000 | #Constraints: 58815
1131.95/1135.42 c #Conflicts: 504000 | #Constraints: 59815
1131.95/1135.42 c #Conflicts: 505000 | #Constraints: 60815
1131.95/1135.42 c #Conflicts: 506000 | #Constraints: 61815
1131.95/1135.42 c #Conflicts: 507000 | #Constraints: 62815
1131.95/1135.42 c #Conflicts: 508000 | #Constraints: 63815
1131.95/1135.42 c #Conflicts: 509000 | #Constraints: 64815
1131.95/1135.42 c #Conflicts: 510000 | #Constraints: 65815
1131.95/1135.42 c #Conflicts: 511000 | #Constraints: 66815
1131.95/1135.42 c #Conflicts: 512000 | #Constraints: 67815
1131.95/1135.42 c #Conflicts: 513000 | #Constraints: 68815
1131.95/1135.42 c #Conflicts: 514000 | #Constraints: 69815
1131.95/1135.42 c #Conflicts: 515000 | #Constraints: 70815
1131.95/1135.42 c #Conflicts: 516000 | #Constraints: 71815
1131.95/1135.42 c INPROCESSING
1131.95/1135.42 c GARBAGE COLLECT
1131.95/1135.42 c rational objective 138
1319.46/1323.56 c #Conflicts: 517000 | #Constraints: 45547
1319.46/1323.56 c #Conflicts: 518000 | #Constraints: 46547
1319.46/1323.56 c #Conflicts: 519000 | #Constraints: 47547
1319.46/1323.56 c #Conflicts: 520000 | #Constraints: 48547
1319.46/1323.56 c #Conflicts: 521000 | #Constraints: 49547
1319.46/1323.56 c #Conflicts: 522000 | #Constraints: 50547
1319.46/1323.56 c #Conflicts: 523000 | #Constraints: 51547
1319.46/1323.56 c #Conflicts: 524000 | #Constraints: 52547
1319.46/1323.56 c #Conflicts: 525000 | #Constraints: 53547
1319.46/1323.56 c #Conflicts: 526000 | #Constraints: 54547
1319.46/1323.56 c #Conflicts: 527000 | #Constraints: 55547
1319.46/1323.56 c #Conflicts: 528000 | #Constraints: 56547
1319.46/1323.56 c #Conflicts: 529000 | #Constraints: 57547
1319.46/1323.56 c #Conflicts: 530000 | #Constraints: 58547
1319.46/1323.56 c #Conflicts: 531000 | #Constraints: 59547
1319.46/1323.56 c #Conflicts: 532000 | #Constraints: 60547
1319.46/1323.56 c #Conflicts: 533000 | #Constraints: 61547
1319.46/1323.56 c #Conflicts: 534000 | #Constraints: 62547
1319.46/1323.56 c #Conflicts: 535000 | #Constraints: 63547
1319.46/1323.56 c #Conflicts: 536000 | #Constraints: 64547
1319.46/1323.56 c #Conflicts: 537000 | #Constraints: 65547
1319.46/1323.56 c #Conflicts: 538000 | #Constraints: 66547
1319.46/1323.56 c #Conflicts: 539000 | #Constraints: 67547
1319.46/1323.56 c #Conflicts: 540000 | #Constraints: 68547
1319.46/1323.56 c #Conflicts: 541000 | #Constraints: 69547
1319.46/1323.56 c #Conflicts: 542000 | #Constraints: 70547
1319.46/1323.56 c #Conflicts: 543000 | #Constraints: 71547
1319.46/1323.56 c #Conflicts: 544000 | #Constraints: 72547
1319.46/1323.56 c #Conflicts: 545000 | #Constraints: 73547
1319.46/1323.56 c #Conflicts: 546000 | #Constraints: 74547
1319.46/1323.56 c #Conflicts: 547000 | #Constraints: 75547
1319.46/1323.56 c #Conflicts: 548000 | #Constraints: 76547
1319.46/1323.56 c #Conflicts: 549000 | #Constraints: 77547
1319.46/1323.56 c #Conflicts: 550000 | #Constraints: 78547
1319.46/1323.56 c #Conflicts: 551000 | #Constraints: 79547
1319.46/1323.56 c #Conflicts: 552000 | #Constraints: 80547
1319.46/1323.56 c #Conflicts: 553000 | #Constraints: 81547
1319.46/1323.56 c #Conflicts: 554000 | #Constraints: 82547
1319.46/1323.56 c #Conflicts: 555000 | #Constraints: 83547
1319.46/1323.56 c #Conflicts: 556000 | #Constraints: 84547
1319.46/1323.56 c #Conflicts: 557000 | #Constraints: 85547
1319.46/1323.56 c #Conflicts: 558000 | #Constraints: 86547
1319.46/1323.56 c #Conflicts: 559000 | #Constraints: 87547
1319.46/1323.56 c #Conflicts: 560000 | #Constraints: 88547
1319.46/1323.56 c #Conflicts: 561000 | #Constraints: 89547
1319.46/1323.56 c #Conflicts: 562000 | #Constraints: 90547
1319.46/1323.56 c #Conflicts: 563000 | #Constraints: 91547
1319.46/1323.56 c #Conflicts: 564000 | #Constraints: 92547
1319.46/1323.56 c #Conflicts: 565000 | #Constraints: 93547
1319.46/1323.56 c #Conflicts: 566000 | #Constraints: 94547
1319.46/1323.56 c #Conflicts: 567000 | #Constraints: 95547
1319.46/1323.56 c INPROCESSING
1319.46/1323.56 c GARBAGE COLLECT
1319.46/1323.56 c #Conflicts: 568000 | #Constraints: 57821
1319.46/1323.56 c #Conflicts: 569000 | #Constraints: 58821
1319.46/1323.56 c #Conflicts: 570000 | #Constraints: 59821
1319.46/1323.56 c #Conflicts: 571000 | #Constraints: 60821
1319.46/1323.56 c #Conflicts: 572000 | #Constraints: 61821
1319.46/1323.56 c #Conflicts: 573000 | #Constraints: 62821
1319.46/1323.56 c #Conflicts: 574000 | #Constraints: 63821
1319.46/1323.56 c #Conflicts: 575000 | #Constraints: 64821
1319.46/1323.56 c #Conflicts: 576000 | #Constraints: 65821
1319.46/1323.56 c #Conflicts: 577000 | #Constraints: 66822
1319.46/1323.56 c #Conflicts: 578000 | #Constraints: 67822
1319.46/1323.56 c #Conflicts: 579000 | #Constraints: 68822
1319.46/1323.56 c #Conflicts: 580000 | #Constraints: 69822
1319.46/1323.56 c #Conflicts: 581000 | #Constraints: 70822
1319.46/1323.56 c #Conflicts: 582000 | #Constraints: 71822
1319.46/1323.56 c #Conflicts: 583000 | #Constraints: 72822
1319.46/1323.56 c #Conflicts: 584000 | #Constraints: 73822
1319.46/1323.56 c #Conflicts: 585000 | #Constraints: 74822
1319.46/1323.56 c #Conflicts: 586000 | #Constraints: 75822
1319.46/1323.56 c INPROCESSING
1319.46/1323.56 c GARBAGE COLLECT
1319.46/1323.56 c #Conflicts: 587000 | #Constraints: 47620
1319.46/1323.56 c #Conflicts: 588000 | #Constraints: 48620
1319.46/1323.56 c #Conflicts: 589000 | #Constraints: 49620
1319.46/1323.56 c #Conflicts: 590000 | #Constraints: 50620
1319.46/1323.56 c #Conflicts: 591000 | #Constraints: 51620
1319.46/1323.56 c #Conflicts: 592000 | #Constraints: 52620
1319.46/1323.56 c #Conflicts: 593000 | #Constraints: 53620
1319.46/1323.56 c #Conflicts: 594000 | #Constraints: 54620
1558.48/1563.39 c #Conflicts: 595000 | #Constraints: 55620
1558.48/1563.39 c #Conflicts: 596000 | #Constraints: 56620
1558.48/1563.39 c #Conflicts: 597000 | #Constraints: 57620
1558.48/1563.39 c #Conflicts: 598000 | #Constraints: 58620
1558.48/1563.39 c #Conflicts: 599000 | #Constraints: 59620
1558.48/1563.39 c #Conflicts: 600000 | #Constraints: 60620
1558.48/1563.39 c #Conflicts: 601000 | #Constraints: 61620
1558.48/1563.39 c #Conflicts: 602000 | #Constraints: 62620
1558.48/1563.39 c #Conflicts: 603000 | #Constraints: 63620
1558.48/1563.39 c #Conflicts: 604000 | #Constraints: 64620
1558.48/1563.39 c #Conflicts: 605000 | #Constraints: 65620
1558.48/1563.39 c #Conflicts: 606000 | #Constraints: 66620
1558.48/1563.39 c #Conflicts: 607000 | #Constraints: 67620
1558.48/1563.39 c #Conflicts: 608000 | #Constraints: 68620
1558.48/1563.39 c #Conflicts: 609000 | #Constraints: 69620
1558.48/1563.39 c #Conflicts: 610000 | #Constraints: 70620
1558.48/1563.39 c #Conflicts: 611000 | #Constraints: 71620
1558.48/1563.39 c #Conflicts: 612000 | #Constraints: 72620
1558.48/1563.39 c #Conflicts: 613000 | #Constraints: 73620
1558.48/1563.39 c #Conflicts: 614000 | #Constraints: 74620
1558.48/1563.39 c #Conflicts: 615000 | #Constraints: 75620
1558.48/1563.39 c #Conflicts: 616000 | #Constraints: 76620
1558.48/1563.39 c #Conflicts: 617000 | #Constraints: 77620
1558.48/1563.39 c #Conflicts: 618000 | #Constraints: 78620
1558.48/1563.39 c #Conflicts: 619000 | #Constraints: 79620
1558.48/1563.39 c #Conflicts: 620000 | #Constraints: 80620
1558.48/1563.39 c #Conflicts: 621000 | #Constraints: 81620
1558.48/1563.39 c #Conflicts: 622000 | #Constraints: 82620
1558.48/1563.39 c #Conflicts: 623000 | #Constraints: 83620
1558.48/1563.39 c #Conflicts: 624000 | #Constraints: 84620
1558.48/1563.39 c #Conflicts: 625000 | #Constraints: 85620
1558.48/1563.39 c #Conflicts: 626000 | #Constraints: 86620
1558.48/1563.39 c #Conflicts: 627000 | #Constraints: 87620
1558.48/1563.39 c #Conflicts: 628000 | #Constraints: 88620
1558.48/1563.39 c #Conflicts: 629000 | #Constraints: 89620
1558.48/1563.39 c #Conflicts: 630000 | #Constraints: 90620
1558.48/1563.39 c #Conflicts: 631000 | #Constraints: 91620
1558.48/1563.39 c #Conflicts: 632000 | #Constraints: 92620
1558.48/1563.39 c #Conflicts: 633000 | #Constraints: 93620
1558.48/1563.39 c #Conflicts: 634000 | #Constraints: 94620
1558.48/1563.39 c #Conflicts: 635000 | #Constraints: 95620
1558.48/1563.39 c #Conflicts: 636000 | #Constraints: 96620
1558.48/1563.39 c #Conflicts: 637000 | #Constraints: 97620
1558.48/1563.39 c #Conflicts: 638000 | #Constraints: 98620
1558.48/1563.39 c #Conflicts: 639000 | #Constraints: 99620
1558.48/1563.39 c #Conflicts: 640000 | #Constraints: 100620
1558.48/1563.39 c INPROCESSING
1558.48/1563.39 c GARBAGE COLLECT
1558.48/1563.39 c #Conflicts: 641000 | #Constraints: 60328
1558.48/1563.39 c #Conflicts: 642000 | #Constraints: 61328
1558.48/1563.39 c #Conflicts: 643000 | #Constraints: 62328
1558.48/1563.39 c #Conflicts: 644000 | #Constraints: 63328
1558.48/1563.39 c #Conflicts: 645000 | #Constraints: 64328
1558.48/1563.39 c #Conflicts: 646000 | #Constraints: 65328
1558.48/1563.39 c #Conflicts: 647000 | #Constraints: 66328
1558.48/1563.39 c #Conflicts: 648000 | #Constraints: 67328
1558.48/1563.39 c #Conflicts: 649000 | #Constraints: 68328
1558.48/1563.39 c #Conflicts: 650000 | #Constraints: 69328
1558.48/1563.39 c #Conflicts: 651000 | #Constraints: 70328
1558.48/1563.39 c #Conflicts: 652000 | #Constraints: 71328
1558.48/1563.39 c #Conflicts: 653000 | #Constraints: 72328
1558.48/1563.39 c #Conflicts: 654000 | #Constraints: 73328
1558.48/1563.39 c #Conflicts: 655000 | #Constraints: 74328
1558.48/1563.39 c #Conflicts: 656000 | #Constraints: 75328
1558.48/1563.39 c #Conflicts: 657000 | #Constraints: 76328
1558.48/1563.39 c #Conflicts: 658000 | #Constraints: 77328
1558.48/1563.39 c #Conflicts: 659000 | #Constraints: 78328
1558.48/1563.39 c #Conflicts: 660000 | #Constraints: 79328
1558.48/1563.39 c #Conflicts: 661000 | #Constraints: 80328
1558.48/1563.39 c INPROCESSING
1558.48/1563.39 c GARBAGE COLLECT
1558.48/1563.39 c rational objective 138
1758.05/1763.52 c #Conflicts: 662000 | #Constraints: 50018
1758.05/1763.52 c #Conflicts: 663000 | #Constraints: 51018
1758.05/1763.52 c #Conflicts: 664000 | #Constraints: 52018
1758.05/1763.52 c #Conflicts: 665000 | #Constraints: 53018
1758.05/1763.52 c #Conflicts: 666000 | #Constraints: 54018
1758.05/1763.52 c #Conflicts: 667000 | #Constraints: 55018
1758.05/1763.52 c #Conflicts: 668000 | #Constraints: 56018
1758.05/1763.52 c #Conflicts: 669000 | #Constraints: 57018
1758.05/1763.52 c #Conflicts: 670000 | #Constraints: 58018
1758.05/1763.52 c #Conflicts: 671000 | #Constraints: 59018
1758.05/1763.52 c #Conflicts: 672000 | #Constraints: 60018
1758.05/1763.52 c #Conflicts: 673000 | #Constraints: 61018
1758.05/1763.52 c #Conflicts: 674000 | #Constraints: 62018
1758.05/1763.52 c #Conflicts: 675000 | #Constraints: 63018
1758.05/1763.52 c #Conflicts: 676000 | #Constraints: 64018
1758.05/1763.52 c #Conflicts: 677000 | #Constraints: 65018
1758.05/1763.52 c #Conflicts: 678000 | #Constraints: 66018
1758.05/1763.52 c #Conflicts: 679000 | #Constraints: 67018
1758.05/1763.52 c #Conflicts: 680000 | #Constraints: 68018
1758.05/1763.52 c #Conflicts: 681000 | #Constraints: 69018
1758.05/1763.52 c #Conflicts: 682000 | #Constraints: 70018
1758.05/1763.52 c #Conflicts: 683000 | #Constraints: 71018
1758.05/1763.52 c #Conflicts: 684000 | #Constraints: 72018
1758.05/1763.52 c #Conflicts: 685000 | #Constraints: 73018
1758.05/1763.52 c #Conflicts: 686000 | #Constraints: 74018
1758.05/1763.52 c #Conflicts: 687000 | #Constraints: 75018
1758.05/1763.52 c #Conflicts: 688000 | #Constraints: 76018
1758.05/1763.52 c #Conflicts: 689000 | #Constraints: 77018
1758.05/1763.52 c #Conflicts: 690000 | #Constraints: 78018
1758.05/1763.52 c #Conflicts: 691000 | #Constraints: 79018
1758.05/1763.52 c #Conflicts: 692000 | #Constraints: 80018
1758.05/1763.52 c #Conflicts: 693000 | #Constraints: 81018
1758.05/1763.52 c #Conflicts: 694000 | #Constraints: 82018
1758.05/1763.52 c #Conflicts: 695000 | #Constraints: 83018
1758.05/1763.52 c #Conflicts: 696000 | #Constraints: 84018
1758.05/1763.52 c #Conflicts: 697000 | #Constraints: 85018
1758.05/1763.52 c #Conflicts: 698000 | #Constraints: 86018
1758.05/1763.52 c #Conflicts: 699000 | #Constraints: 87018
1758.05/1763.52 c #Conflicts: 700000 | #Constraints: 88018
1758.05/1763.52 c #Conflicts: 701000 | #Constraints: 89018
1758.05/1763.52 c #Conflicts: 702000 | #Constraints: 90018
1758.05/1763.52 c #Conflicts: 703000 | #Constraints: 91018
1758.05/1763.52 c #Conflicts: 704000 | #Constraints: 92018
1758.05/1763.52 c #Conflicts: 705000 | #Constraints: 93018
1758.05/1763.52 c #Conflicts: 706000 | #Constraints: 94018
1758.05/1763.52 c #Conflicts: 707000 | #Constraints: 95018
1758.05/1763.52 c #Conflicts: 708000 | #Constraints: 96018
1758.05/1763.52 c #Conflicts: 709000 | #Constraints: 97018
1758.05/1763.52 c #Conflicts: 710000 | #Constraints: 98018
1758.05/1763.52 c #Conflicts: 711000 | #Constraints: 99018
1758.05/1763.52 c #Conflicts: 712000 | #Constraints: 100018
1758.05/1763.52 c #Conflicts: 713000 | #Constraints: 101018
1758.05/1763.52 c #Conflicts: 714000 | #Constraints: 102018
1758.05/1763.52 c #Conflicts: 715000 | #Constraints: 103018
1758.05/1763.52 c #Conflicts: 716000 | #Constraints: 104018
1758.05/1763.52 c #Conflicts: 717000 | #Constraints: 105018
1758.05/1763.52 c INPROCESSING
1758.05/1763.52 c GARBAGE COLLECT
1758.05/1763.52 c #Conflicts: 718000 | #Constraints: 62359
1758.05/1763.52 c #Conflicts: 719000 | #Constraints: 63359
1758.05/1763.52 c #Conflicts: 720000 | #Constraints: 64359
1758.05/1763.52 c #Conflicts: 721000 | #Constraints: 65359
1758.05/1763.52 c #Conflicts: 722000 | #Constraints: 66359
1758.05/1763.52 c #Conflicts: 723000 | #Constraints: 67359
1758.05/1763.52 c #Conflicts: 724000 | #Constraints: 68359
1758.05/1763.52 c #Conflicts: 725000 | #Constraints: 69359
1758.05/1763.52 c #Conflicts: 726000 | #Constraints: 70359
1758.05/1763.52 c #Conflicts: 727000 | #Constraints: 71359
1758.05/1763.52 c #Conflicts: 728000 | #Constraints: 72359
1758.05/1763.52 c #Conflicts: 729000 | #Constraints: 73359
1758.05/1763.52 c #Conflicts: 730000 | #Constraints: 74359
1758.05/1763.52 c #Conflicts: 731000 | #Constraints: 75359
1758.05/1763.52 c #Conflicts: 732000 | #Constraints: 76359
1758.05/1763.52 c #Conflicts: 733000 | #Constraints: 77359
1758.05/1763.52 c #Conflicts: 734000 | #Constraints: 78359
1758.05/1763.52 c #Conflicts: 735000 | #Constraints: 79359
1758.05/1763.52 c #Conflicts: 736000 | #Constraints: 80359
1758.05/1763.52 c #Conflicts: 737000 | #Constraints: 81359
1758.05/1763.52 c #Conflicts: 738000 | #Constraints: 82359
1758.05/1763.52 c #Conflicts: 739000 | #Constraints: 83359
1758.05/1763.52 c #Conflicts: 740000 | #Constraints: 84359
1967.69/1973.84 c INPROCESSING
1967.69/1973.84 c GARBAGE COLLECT
1967.69/1973.84 c #Conflicts: 741000 | #Constraints: 52193
1967.69/1973.84 c #Conflicts: 742000 | #Constraints: 53193
1967.69/1973.84 c #Conflicts: 743000 | #Constraints: 54193
1967.69/1973.84 c #Conflicts: 744000 | #Constraints: 55193
1967.69/1973.84 c #Conflicts: 745000 | #Constraints: 56193
1967.69/1973.84 c #Conflicts: 746000 | #Constraints: 57193
1967.69/1973.84 c #Conflicts: 747000 | #Constraints: 58194
1967.69/1973.84 c #Conflicts: 748000 | #Constraints: 59194
1967.69/1973.84 c #Conflicts: 749000 | #Constraints: 60194
1967.69/1973.84 c #Conflicts: 750000 | #Constraints: 61194
1967.69/1973.84 c #Conflicts: 751000 | #Constraints: 62194
1967.69/1973.84 c #Conflicts: 752000 | #Constraints: 63194
1967.69/1973.84 c #Conflicts: 753000 | #Constraints: 64194
1967.69/1973.84 c #Conflicts: 754000 | #Constraints: 65194
1967.69/1973.84 c #Conflicts: 755000 | #Constraints: 66194
1967.69/1973.84 c #Conflicts: 756000 | #Constraints: 67195
1967.69/1973.84 c #Conflicts: 757000 | #Constraints: 68195
1967.69/1973.84 c #Conflicts: 758000 | #Constraints: 69195
1967.69/1973.84 c #Conflicts: 759000 | #Constraints: 70195
1967.69/1973.84 c #Conflicts: 760000 | #Constraints: 71195
1967.69/1973.84 c #Conflicts: 761000 | #Constraints: 72195
1967.69/1973.84 c #Conflicts: 762000 | #Constraints: 73195
1967.69/1973.84 c #Conflicts: 763000 | #Constraints: 74195
1967.69/1973.84 c #Conflicts: 764000 | #Constraints: 75195
1967.69/1973.84 c #Conflicts: 765000 | #Constraints: 76195
1967.69/1973.84 c #Conflicts: 766000 | #Constraints: 77195
1967.69/1973.84 c #Conflicts: 767000 | #Constraints: 78195
1967.69/1973.84 c #Conflicts: 768000 | #Constraints: 79195
1967.69/1973.84 c #Conflicts: 769000 | #Constraints: 80195
1967.69/1973.84 c #Conflicts: 770000 | #Constraints: 81195
1967.69/1973.84 c #Conflicts: 771000 | #Constraints: 82195
1967.69/1973.84 c #Conflicts: 772000 | #Constraints: 83195
1967.69/1973.84 c #Conflicts: 773000 | #Constraints: 84195
1967.69/1973.84 c #Conflicts: 774000 | #Constraints: 85195
1967.69/1973.84 c #Conflicts: 775000 | #Constraints: 86195
1967.69/1973.84 c #Conflicts: 776000 | #Constraints: 87195
1967.69/1973.84 c #Conflicts: 777000 | #Constraints: 88195
1967.69/1973.84 c #Conflicts: 778000 | #Constraints: 89195
1967.69/1973.84 c #Conflicts: 779000 | #Constraints: 90195
1967.69/1973.84 c #Conflicts: 780000 | #Constraints: 91195
1967.69/1973.84 c #Conflicts: 781000 | #Constraints: 92195
1967.69/1973.84 c #Conflicts: 782000 | #Constraints: 93196
1967.69/1973.84 c #Conflicts: 783000 | #Constraints: 94196
1967.69/1973.84 c #Conflicts: 784000 | #Constraints: 95196
1967.69/1973.84 c #Conflicts: 785000 | #Constraints: 96196
1967.69/1973.84 c #Conflicts: 786000 | #Constraints: 97196
1967.69/1973.84 c #Conflicts: 787000 | #Constraints: 98196
1967.69/1973.84 c #Conflicts: 788000 | #Constraints: 99196
1967.69/1973.84 c #Conflicts: 789000 | #Constraints: 100196
1967.69/1973.84 c #Conflicts: 790000 | #Constraints: 101196
1967.69/1973.84 c #Conflicts: 791000 | #Constraints: 102196
1967.69/1973.84 c #Conflicts: 792000 | #Constraints: 103196
1967.69/1973.84 c #Conflicts: 793000 | #Constraints: 104196
1967.69/1973.84 c #Conflicts: 794000 | #Constraints: 105196
1967.69/1973.84 c #Conflicts: 795000 | #Constraints: 106196
1967.69/1973.84 c #Conflicts: 796000 | #Constraints: 107196
1967.69/1973.84 c #Conflicts: 797000 | #Constraints: 108196
1967.69/1973.84 c #Conflicts: 798000 | #Constraints: 109196
1967.69/1973.84 c #Conflicts: 799000 | #Constraints: 110196
1967.69/1973.84 c INPROCESSING
1967.69/1973.84 c GARBAGE COLLECT
1967.69/1973.84 c #Conflicts: 800000 | #Constraints: 64938
1967.69/1973.84 c #Conflicts: 801000 | #Constraints: 65938
1967.69/1973.84 c #Conflicts: 802000 | #Constraints: 66938
1967.69/1973.84 c #Conflicts: 803000 | #Constraints: 67938
1967.69/1973.84 c #Conflicts: 804000 | #Constraints: 68938
1967.69/1973.84 c #Conflicts: 805000 | #Constraints: 69938
1967.69/1973.84 c #Conflicts: 806000 | #Constraints: 70938
1967.69/1973.84 c #Conflicts: 807000 | #Constraints: 71938
1967.69/1973.84 c #Conflicts: 808000 | #Constraints: 72938
1967.69/1973.84 c #Conflicts: 809000 | #Constraints: 73938
1967.69/1973.84 c #Conflicts: 810000 | #Constraints: 74938
1967.69/1973.84 c #Conflicts: 811000 | #Constraints: 75938
1967.69/1973.84 c #Conflicts: 812000 | #Constraints: 76938
1967.69/1973.84 c #Conflicts: 813000 | #Constraints: 77938
1967.69/1973.84 c #Conflicts: 814000 | #Constraints: 78938
1967.69/1973.84 c #Conflicts: 815000 | #Constraints: 79938
1967.69/1973.84 c #Conflicts: 816000 | #Constraints: 80938
1967.69/1973.84 c #Conflicts: 817000 | #Constraints: 81938
2215.91/2222.84 c #Conflicts: 818000 | #Constraints: 82938
2215.91/2222.84 c #Conflicts: 819000 | #Constraints: 83938
2215.91/2222.84 c #Conflicts: 820000 | #Constraints: 84938
2215.91/2222.84 c #Conflicts: 821000 | #Constraints: 85938
2215.91/2222.84 c #Conflicts: 822000 | #Constraints: 86939
2215.91/2222.84 c #Conflicts: 823000 | #Constraints: 87939
2215.91/2222.84 c INPROCESSING
2215.91/2222.84 c GARBAGE COLLECT
2215.91/2222.84 c #Conflicts: 824000 | #Constraints: 53861
2215.91/2222.84 c #Conflicts: 825000 | #Constraints: 54861
2215.91/2222.84 c #Conflicts: 826000 | #Constraints: 55861
2215.91/2222.84 c #Conflicts: 827000 | #Constraints: 56861
2215.91/2222.84 c #Conflicts: 828000 | #Constraints: 57861
2215.91/2222.84 c #Conflicts: 829000 | #Constraints: 58861
2215.91/2222.84 c #Conflicts: 830000 | #Constraints: 59861
2215.91/2222.84 c #Conflicts: 831000 | #Constraints: 60861
2215.91/2222.84 c #Conflicts: 832000 | #Constraints: 61861
2215.91/2222.84 c #Conflicts: 833000 | #Constraints: 62861
2215.91/2222.84 c #Conflicts: 834000 | #Constraints: 63861
2215.91/2222.84 c #Conflicts: 835000 | #Constraints: 64861
2215.91/2222.84 c #Conflicts: 836000 | #Constraints: 65861
2215.91/2222.84 c #Conflicts: 837000 | #Constraints: 66861
2215.91/2222.84 c #Conflicts: 838000 | #Constraints: 67861
2215.91/2222.84 c #Conflicts: 839000 | #Constraints: 68861
2215.91/2222.84 c #Conflicts: 840000 | #Constraints: 69861
2215.91/2222.84 c #Conflicts: 841000 | #Constraints: 70861
2215.91/2222.84 c #Conflicts: 842000 | #Constraints: 71861
2215.91/2222.84 c #Conflicts: 843000 | #Constraints: 72861
2215.91/2222.84 c #Conflicts: 844000 | #Constraints: 73861
2215.91/2222.84 c #Conflicts: 845000 | #Constraints: 74861
2215.91/2222.84 c #Conflicts: 846000 | #Constraints: 75861
2215.91/2222.84 c #Conflicts: 847000 | #Constraints: 76861
2215.91/2222.84 c #Conflicts: 848000 | #Constraints: 77861
2215.91/2222.84 c #Conflicts: 849000 | #Constraints: 78861
2215.91/2222.84 c #Conflicts: 850000 | #Constraints: 79861
2215.91/2222.84 c #Conflicts: 851000 | #Constraints: 80861
2215.91/2222.84 c #Conflicts: 852000 | #Constraints: 81861
2215.91/2222.84 c #Conflicts: 853000 | #Constraints: 82861
2215.91/2222.84 c #Conflicts: 854000 | #Constraints: 83861
2215.91/2222.84 c #Conflicts: 855000 | #Constraints: 84861
2215.91/2222.84 c #Conflicts: 856000 | #Constraints: 85861
2215.91/2222.84 c #Conflicts: 857000 | #Constraints: 86861
2215.91/2222.84 c #Conflicts: 858000 | #Constraints: 87861
2215.91/2222.84 c #Conflicts: 859000 | #Constraints: 88861
2215.91/2222.84 c #Conflicts: 860000 | #Constraints: 89861
2215.91/2222.84 c #Conflicts: 861000 | #Constraints: 90861
2215.91/2222.84 c #Conflicts: 862000 | #Constraints: 91861
2215.91/2222.84 c #Conflicts: 863000 | #Constraints: 92861
2215.91/2222.84 c #Conflicts: 864000 | #Constraints: 93861
2215.91/2222.84 c #Conflicts: 865000 | #Constraints: 94861
2215.91/2222.84 c #Conflicts: 866000 | #Constraints: 95861
2215.91/2222.84 c #Conflicts: 867000 | #Constraints: 96861
2215.91/2222.84 c #Conflicts: 868000 | #Constraints: 97861
2215.91/2222.84 c #Conflicts: 869000 | #Constraints: 98861
2215.91/2222.84 c #Conflicts: 870000 | #Constraints: 99861
2215.91/2222.84 c #Conflicts: 871000 | #Constraints: 100861
2215.91/2222.84 c #Conflicts: 872000 | #Constraints: 101861
2215.91/2222.84 c #Conflicts: 873000 | #Constraints: 102861
2215.91/2222.84 c #Conflicts: 874000 | #Constraints: 103861
2215.91/2222.84 c #Conflicts: 875000 | #Constraints: 104861
2215.91/2222.84 c #Conflicts: 876000 | #Constraints: 105861
2215.91/2222.84 c #Conflicts: 877000 | #Constraints: 106861
2215.91/2222.84 c #Conflicts: 878000 | #Constraints: 107861
2215.91/2222.84 c #Conflicts: 879000 | #Constraints: 108861
2215.91/2222.84 c #Conflicts: 880000 | #Constraints: 109861
2215.91/2222.84 c #Conflicts: 881000 | #Constraints: 110861
2215.91/2222.84 c #Conflicts: 882000 | #Constraints: 111861
2215.91/2222.84 c #Conflicts: 883000 | #Constraints: 112861
2215.91/2222.84 c #Conflicts: 884000 | #Constraints: 113861
2215.91/2222.84 c #Conflicts: 885000 | #Constraints: 114861
2215.91/2222.84 c INPROCESSING
2215.91/2222.84 c GARBAGE COLLECT
2215.91/2222.84 c #Conflicts: 886000 | #Constraints: 67355
2215.91/2222.84 c #Conflicts: 887000 | #Constraints: 68355
2215.91/2222.84 c #Conflicts: 888000 | #Constraints: 69355
2215.91/2222.84 c #Conflicts: 889000 | #Constraints: 70355
2215.91/2222.84 c #Conflicts: 890000 | #Constraints: 71355
2215.91/2222.84 c #Conflicts: 891000 | #Constraints: 72355
2215.91/2222.84 c #Conflicts: 892000 | #Constraints: 73355
2215.91/2222.84 c #Conflicts: 893000 | #Constraints: 74355
2215.91/2222.84 c #Conflicts: 894000 | #Constraints: 75355
2215.91/2222.84 c #Conflicts: 895000 | #Constraints: 76355
2441.03/2448.60 c #Conflicts: 896000 | #Constraints: 77355
2441.03/2448.60 c #Conflicts: 897000 | #Constraints: 78355
2441.03/2448.60 c #Conflicts: 898000 | #Constraints: 79355
2441.03/2448.60 c #Conflicts: 899000 | #Constraints: 80355
2441.03/2448.60 c #Conflicts: 900000 | #Constraints: 81355
2441.03/2448.60 c #Conflicts: 901000 | #Constraints: 82355
2441.03/2448.60 c #Conflicts: 902000 | #Constraints: 83355
2441.03/2448.60 c #Conflicts: 903000 | #Constraints: 84355
2441.03/2448.60 c #Conflicts: 904000 | #Constraints: 85355
2441.03/2448.60 c #Conflicts: 905000 | #Constraints: 86355
2441.03/2448.60 c #Conflicts: 906000 | #Constraints: 87355
2441.03/2448.60 c #Conflicts: 907000 | #Constraints: 88355
2441.03/2448.60 c #Conflicts: 908000 | #Constraints: 89355
2441.03/2448.60 c #Conflicts: 909000 | #Constraints: 90355
2441.03/2448.60 c #Conflicts: 910000 | #Constraints: 91355
2441.03/2448.60 c INPROCESSING
2441.03/2448.60 c GARBAGE COLLECT
2441.03/2448.60 c #Conflicts: 911000 | #Constraints: 55295
2441.03/2448.60 c #Conflicts: 912000 | #Constraints: 56295
2441.03/2448.60 c #Conflicts: 913000 | #Constraints: 57295
2441.03/2448.60 c #Conflicts: 914000 | #Constraints: 58295
2441.03/2448.60 c #Conflicts: 915000 | #Constraints: 59295
2441.03/2448.60 c #Conflicts: 916000 | #Constraints: 60295
2441.03/2448.60 c #Conflicts: 917000 | #Constraints: 61295
2441.03/2448.60 c #Conflicts: 918000 | #Constraints: 62295
2441.03/2448.60 c #Conflicts: 919000 | #Constraints: 63295
2441.03/2448.60 c #Conflicts: 920000 | #Constraints: 64295
2441.03/2448.60 c #Conflicts: 921000 | #Constraints: 65295
2441.03/2448.60 c #Conflicts: 922000 | #Constraints: 66295
2441.03/2448.60 c #Conflicts: 923000 | #Constraints: 67295
2441.03/2448.60 c #Conflicts: 924000 | #Constraints: 68295
2441.03/2448.60 c #Conflicts: 925000 | #Constraints: 69295
2441.03/2448.60 c #Conflicts: 926000 | #Constraints: 70295
2441.03/2448.60 c #Conflicts: 927000 | #Constraints: 71295
2441.03/2448.60 c #Conflicts: 928000 | #Constraints: 72295
2441.03/2448.60 c #Conflicts: 929000 | #Constraints: 73295
2441.03/2448.60 c #Conflicts: 930000 | #Constraints: 74295
2441.03/2448.60 c #Conflicts: 931000 | #Constraints: 75295
2441.03/2448.60 c #Conflicts: 932000 | #Constraints: 76295
2441.03/2448.60 c #Conflicts: 933000 | #Constraints: 77295
2441.03/2448.60 c #Conflicts: 934000 | #Constraints: 78295
2441.03/2448.60 c #Conflicts: 935000 | #Constraints: 79295
2441.03/2448.60 c #Conflicts: 936000 | #Constraints: 80295
2441.03/2448.60 c #Conflicts: 937000 | #Constraints: 81295
2441.03/2448.60 c #Conflicts: 938000 | #Constraints: 82295
2441.03/2448.60 c #Conflicts: 939000 | #Constraints: 83295
2441.03/2448.60 c #Conflicts: 940000 | #Constraints: 84295
2441.03/2448.60 c #Conflicts: 941000 | #Constraints: 85295
2441.03/2448.60 c #Conflicts: 942000 | #Constraints: 86295
2441.03/2448.60 c #Conflicts: 943000 | #Constraints: 87295
2441.03/2448.60 c #Conflicts: 944000 | #Constraints: 88295
2441.03/2448.60 c #Conflicts: 945000 | #Constraints: 89295
2441.03/2448.60 c #Conflicts: 946000 | #Constraints: 90295
2441.03/2448.60 c #Conflicts: 947000 | #Constraints: 91295
2441.03/2448.60 c #Conflicts: 948000 | #Constraints: 92295
2441.03/2448.60 c #Conflicts: 949000 | #Constraints: 93295
2441.03/2448.60 c #Conflicts: 950000 | #Constraints: 94295
2441.03/2448.60 c #Conflicts: 951000 | #Constraints: 95295
2441.03/2448.60 c #Conflicts: 952000 | #Constraints: 96295
2441.03/2448.60 c #Conflicts: 953000 | #Constraints: 97295
2441.03/2448.60 c #Conflicts: 954000 | #Constraints: 98295
2441.03/2448.60 c #Conflicts: 955000 | #Constraints: 99295
2441.03/2448.60 c #Conflicts: 956000 | #Constraints: 100295
2441.03/2448.60 c #Conflicts: 957000 | #Constraints: 101295
2441.03/2448.60 c #Conflicts: 958000 | #Constraints: 102295
2441.03/2448.60 c #Conflicts: 959000 | #Constraints: 103295
2441.03/2448.60 c #Conflicts: 960000 | #Constraints: 104295
2441.03/2448.60 c #Conflicts: 961000 | #Constraints: 105295
2441.03/2448.60 c #Conflicts: 962000 | #Constraints: 106295
2441.03/2448.60 c #Conflicts: 963000 | #Constraints: 107295
2441.03/2448.60 c #Conflicts: 964000 | #Constraints: 108295
2441.03/2448.60 c #Conflicts: 965000 | #Constraints: 109295
2441.03/2448.60 c #Conflicts: 966000 | #Constraints: 110295
2441.03/2448.60 c #Conflicts: 967000 | #Constraints: 111295
2441.03/2448.60 c #Conflicts: 968000 | #Constraints: 112295
2441.03/2448.60 c #Conflicts: 969000 | #Constraints: 113295
2441.03/2448.60 c #Conflicts: 970000 | #Constraints: 114295
2441.03/2448.60 c #Conflicts: 971000 | #Constraints: 115295
2441.03/2448.60 c #Conflicts: 972000 | #Constraints: 116295
2441.03/2448.60 c #Conflicts: 973000 | #Constraints: 117295
2717.03/2725.33 c #Conflicts: 974000 | #Constraints: 118295
2717.03/2725.33 c #Conflicts: 975000 | #Constraints: 119295
2717.03/2725.33 c #Conflicts: 976000 | #Constraints: 120295
2717.03/2725.33 c INPROCESSING
2717.03/2725.33 c GARBAGE COLLECT
2717.03/2725.33 c #Conflicts: 977000 | #Constraints: 70011
2717.03/2725.33 c #Conflicts: 978000 | #Constraints: 71011
2717.03/2725.33 c #Conflicts: 979000 | #Constraints: 72011
2717.03/2725.33 c #Conflicts: 980000 | #Constraints: 73011
2717.03/2725.33 c #Conflicts: 981000 | #Constraints: 74011
2717.03/2725.33 c #Conflicts: 982000 | #Constraints: 75011
2717.03/2725.33 c #Conflicts: 983000 | #Constraints: 76011
2717.03/2725.33 c #Conflicts: 984000 | #Constraints: 77011
2717.03/2725.33 c #Conflicts: 985000 | #Constraints: 78011
2717.03/2725.33 c #Conflicts: 986000 | #Constraints: 79011
2717.03/2725.33 c #Conflicts: 987000 | #Constraints: 80011
2717.03/2725.33 c #Conflicts: 988000 | #Constraints: 81011
2717.03/2725.33 c #Conflicts: 989000 | #Constraints: 82011
2717.03/2725.33 c #Conflicts: 990000 | #Constraints: 83011
2717.03/2725.33 c #Conflicts: 991000 | #Constraints: 84011
2717.03/2725.33 c #Conflicts: 992000 | #Constraints: 85011
2717.03/2725.33 c #Conflicts: 993000 | #Constraints: 86011
2717.03/2725.33 c #Conflicts: 994000 | #Constraints: 87011
2717.03/2725.33 c #Conflicts: 995000 | #Constraints: 88011
2717.03/2725.33 c #Conflicts: 996000 | #Constraints: 89011
2717.03/2725.33 c #Conflicts: 997000 | #Constraints: 90011
2717.03/2725.33 c #Conflicts: 998000 | #Constraints: 91011
2717.03/2725.33 c #Conflicts: 999000 | #Constraints: 92011
2717.03/2725.33 c #Conflicts: 1000000 | #Constraints: 93011
2717.03/2725.33 c #Conflicts: 1001000 | #Constraints: 94011
2717.03/2725.33 c #Conflicts: 1002000 | #Constraints: 95011
2717.03/2725.33 c INPROCESSING
2717.03/2725.33 c GARBAGE COLLECT
2717.03/2725.33 c #Conflicts: 1003000 | #Constraints: 57288
2717.03/2725.33 c #Conflicts: 1004000 | #Constraints: 58288
2717.03/2725.33 c #Conflicts: 1005000 | #Constraints: 59288
2717.03/2725.33 c #Conflicts: 1006000 | #Constraints: 60288
2717.03/2725.33 c #Conflicts: 1007000 | #Constraints: 61288
2717.03/2725.33 c #Conflicts: 1008000 | #Constraints: 62288
2717.03/2725.33 c #Conflicts: 1009000 | #Constraints: 63288
2717.03/2725.33 c #Conflicts: 1010000 | #Constraints: 64288
2717.03/2725.33 c #Conflicts: 1011000 | #Constraints: 65288
2717.03/2725.33 c #Conflicts: 1012000 | #Constraints: 66288
2717.03/2725.33 c #Conflicts: 1013000 | #Constraints: 67288
2717.03/2725.33 c #Conflicts: 1014000 | #Constraints: 68288
2717.03/2725.33 c #Conflicts: 1015000 | #Constraints: 69288
2717.03/2725.33 c #Conflicts: 1016000 | #Constraints: 70288
2717.03/2725.33 c #Conflicts: 1017000 | #Constraints: 71288
2717.03/2725.33 c #Conflicts: 1018000 | #Constraints: 72288
2717.03/2725.33 c #Conflicts: 1019000 | #Constraints: 73288
2717.03/2725.33 c #Conflicts: 1020000 | #Constraints: 74288
2717.03/2725.33 c #Conflicts: 1021000 | #Constraints: 75288
2717.03/2725.33 c #Conflicts: 1022000 | #Constraints: 76288
2717.03/2725.33 c #Conflicts: 1023000 | #Constraints: 77288
2717.03/2725.33 c #Conflicts: 1024000 | #Constraints: 78288
2717.03/2725.33 c #Conflicts: 1025000 | #Constraints: 79288
2717.03/2725.33 c #Conflicts: 1026000 | #Constraints: 80288
2717.03/2725.33 c #Conflicts: 1027000 | #Constraints: 81288
2717.03/2725.33 c #Conflicts: 1028000 | #Constraints: 82288
2717.03/2725.33 c #Conflicts: 1029000 | #Constraints: 83288
2717.03/2725.33 c #Conflicts: 1030000 | #Constraints: 84288
2717.03/2725.33 c #Conflicts: 1031000 | #Constraints: 85288
2717.03/2725.34 c #Conflicts: 1032000 | #Constraints: 86288
2717.03/2725.34 c #Conflicts: 1033000 | #Constraints: 87288
2717.03/2725.34 c #Conflicts: 1034000 | #Constraints: 88288
2717.03/2725.34 c #Conflicts: 1035000 | #Constraints: 89288
2717.03/2725.34 c #Conflicts: 1036000 | #Constraints: 90288
2717.03/2725.34 c #Conflicts: 1037000 | #Constraints: 91288
2717.03/2725.34 c #Conflicts: 1038000 | #Constraints: 92288
2717.03/2725.34 c #Conflicts: 1039000 | #Constraints: 93288
2717.03/2725.34 c #Conflicts: 1040000 | #Constraints: 94288
2717.03/2725.34 c #Conflicts: 1041000 | #Constraints: 95288
2717.03/2725.34 c #Conflicts: 1042000 | #Constraints: 96288
2717.03/2725.34 c #Conflicts: 1043000 | #Constraints: 97288
2717.03/2725.34 c #Conflicts: 1044000 | #Constraints: 98288
2717.03/2725.34 c #Conflicts: 1045000 | #Constraints: 99288
2717.03/2725.34 c #Conflicts: 1046000 | #Constraints: 100288
2717.03/2725.34 c #Conflicts: 1047000 | #Constraints: 101288
2717.03/2725.34 c #Conflicts: 1048000 | #Constraints: 102289
2717.03/2725.34 c #Conflicts: 1049000 | #Constraints: 103289
2717.03/2725.34 c #Conflicts: 1050000 | #Constraints: 104289
2970.27/2979.34 c #Conflicts: 1051000 | #Constraints: 105289
2970.27/2979.34 c #Conflicts: 1052000 | #Constraints: 106289
2970.27/2979.34 c #Conflicts: 1053000 | #Constraints: 107289
2970.27/2979.34 c #Conflicts: 1054000 | #Constraints: 108289
2970.27/2979.34 c #Conflicts: 1055000 | #Constraints: 109289
2970.27/2979.34 c #Conflicts: 1056000 | #Constraints: 110289
2970.27/2979.34 c #Conflicts: 1057000 | #Constraints: 111289
2970.27/2979.34 c #Conflicts: 1058000 | #Constraints: 112289
2970.27/2979.34 c #Conflicts: 1059000 | #Constraints: 113289
2970.27/2979.34 c #Conflicts: 1060000 | #Constraints: 114289
2970.27/2979.34 c #Conflicts: 1061000 | #Constraints: 115289
2970.27/2979.34 c #Conflicts: 1062000 | #Constraints: 116289
2970.27/2979.34 c #Conflicts: 1063000 | #Constraints: 117289
2970.27/2979.34 c #Conflicts: 1064000 | #Constraints: 118289
2970.27/2979.34 c #Conflicts: 1065000 | #Constraints: 119289
2970.27/2979.34 c #Conflicts: 1066000 | #Constraints: 120289
2970.27/2979.34 c #Conflicts: 1067000 | #Constraints: 121289
2970.27/2979.34 c #Conflicts: 1068000 | #Constraints: 122289
2970.27/2979.34 c #Conflicts: 1069000 | #Constraints: 123289
2970.27/2979.34 c #Conflicts: 1070000 | #Constraints: 124289
2970.27/2979.34 c #Conflicts: 1071000 | #Constraints: 125289
2970.27/2979.34 c INPROCESSING
2970.27/2979.34 c GARBAGE COLLECT
2970.27/2979.34 c #Conflicts: 1072000 | #Constraints: 72613
2970.27/2979.34 c #Conflicts: 1073000 | #Constraints: 73613
2970.27/2979.34 c #Conflicts: 1074000 | #Constraints: 74613
2970.27/2979.34 c #Conflicts: 1075000 | #Constraints: 75613
2970.27/2979.34 c #Conflicts: 1076000 | #Constraints: 76613
2970.27/2979.34 c #Conflicts: 1077000 | #Constraints: 77613
2970.27/2979.34 c #Conflicts: 1078000 | #Constraints: 78613
2970.27/2979.34 c #Conflicts: 1079000 | #Constraints: 79613
2970.27/2979.34 c #Conflicts: 1080000 | #Constraints: 80613
2970.27/2979.34 c #Conflicts: 1081000 | #Constraints: 81613
2970.27/2979.34 c #Conflicts: 1082000 | #Constraints: 82613
2970.27/2979.34 c #Conflicts: 1083000 | #Constraints: 83613
2970.27/2979.34 c #Conflicts: 1084000 | #Constraints: 84613
2970.27/2979.34 c #Conflicts: 1085000 | #Constraints: 85613
2970.27/2979.34 c #Conflicts: 1086000 | #Constraints: 86613
2970.27/2979.34 c #Conflicts: 1087000 | #Constraints: 87613
2970.27/2979.34 c #Conflicts: 1088000 | #Constraints: 88613
2970.27/2979.34 c #Conflicts: 1089000 | #Constraints: 89613
2970.27/2979.34 c #Conflicts: 1090000 | #Constraints: 90613
2970.27/2979.34 c #Conflicts: 1091000 | #Constraints: 91613
2970.27/2979.34 c #Conflicts: 1092000 | #Constraints: 92613
2970.27/2979.34 c #Conflicts: 1093000 | #Constraints: 93613
2970.27/2979.34 c #Conflicts: 1094000 | #Constraints: 94613
2970.27/2979.34 c #Conflicts: 1095000 | #Constraints: 95613
2970.27/2979.34 c #Conflicts: 1096000 | #Constraints: 96613
2970.27/2979.34 c #Conflicts: 1097000 | #Constraints: 97613
2970.27/2979.34 c #Conflicts: 1098000 | #Constraints: 98613
2970.27/2979.34 c #Conflicts: 1099000 | #Constraints: 99613
2970.27/2979.34 c INPROCESSING
2970.27/2979.34 c GARBAGE COLLECT
2970.27/2979.34 c #Conflicts: 1100000 | #Constraints: 60008
2970.27/2979.34 c #Conflicts: 1101000 | #Constraints: 61008
2970.27/2979.34 c #Conflicts: 1102000 | #Constraints: 62008
2970.27/2979.34 c #Conflicts: 1103000 | #Constraints: 63008
2970.27/2979.34 c #Conflicts: 1104000 | #Constraints: 64008
2970.27/2979.34 c #Conflicts: 1105000 | #Constraints: 65008
2970.27/2979.34 c #Conflicts: 1106000 | #Constraints: 66008
2970.27/2979.34 c #Conflicts: 1107000 | #Constraints: 67008
2970.27/2979.34 c #Conflicts: 1108000 | #Constraints: 68008
2970.27/2979.34 c #Conflicts: 1109000 | #Constraints: 69008
2970.27/2979.34 c #Conflicts: 1110000 | #Constraints: 70008
2970.27/2979.34 c #Conflicts: 1111000 | #Constraints: 71008
2970.27/2979.34 c #Conflicts: 1112000 | #Constraints: 72008
2970.27/2979.34 c #Conflicts: 1113000 | #Constraints: 73008
2970.27/2979.34 c #Conflicts: 1114000 | #Constraints: 74008
2970.27/2979.34 c #Conflicts: 1115000 | #Constraints: 75008
2970.27/2979.34 c #Conflicts: 1116000 | #Constraints: 76008
2970.27/2979.34 c #Conflicts: 1117000 | #Constraints: 77008
2970.27/2979.34 c #Conflicts: 1118000 | #Constraints: 78008
2970.27/2979.34 c #Conflicts: 1119000 | #Constraints: 79008
2970.27/2979.34 c #Conflicts: 1120000 | #Constraints: 80008
2970.27/2979.34 c #Conflicts: 1121000 | #Constraints: 81008
2970.27/2979.34 c #Conflicts: 1122000 | #Constraints: 82008
2970.27/2979.34 c #Conflicts: 1123000 | #Constraints: 83008
2970.27/2979.34 c #Conflicts: 1124000 | #Constraints: 84008
2970.27/2979.34 c #Conflicts: 1125000 | #Constraints: 85008
2970.27/2979.34 c #Conflicts: 1126000 | #Constraints: 86008
2970.27/2979.34 c #Conflicts: 1127000 | #Constraints: 87008
2970.27/2979.34 c #Conflicts: 1128000 | #Constraints: 88008
3185.07/3194.89 c #Conflicts: 1129000 | #Constraints: 89008
3185.07/3194.89 c #Conflicts: 1130000 | #Constraints: 90008
3185.07/3194.89 c #Conflicts: 1131000 | #Constraints: 91008
3185.07/3194.89 c #Conflicts: 1132000 | #Constraints: 92008
3185.07/3194.89 c #Conflicts: 1133000 | #Constraints: 93008
3185.07/3194.89 c #Conflicts: 1134000 | #Constraints: 94008
3185.07/3194.89 c #Conflicts: 1135000 | #Constraints: 95008
3185.07/3194.89 c #Conflicts: 1136000 | #Constraints: 96008
3185.07/3194.89 c #Conflicts: 1137000 | #Constraints: 97008
3185.07/3194.89 c #Conflicts: 1138000 | #Constraints: 98008
3185.07/3194.89 c #Conflicts: 1139000 | #Constraints: 99008
3185.07/3194.89 c #Conflicts: 1140000 | #Constraints: 100008
3185.07/3194.89 c #Conflicts: 1141000 | #Constraints: 101008
3185.07/3194.89 c #Conflicts: 1142000 | #Constraints: 102008
3185.07/3194.89 c #Conflicts: 1143000 | #Constraints: 103008
3185.07/3194.89 c #Conflicts: 1144000 | #Constraints: 104008
3185.07/3194.89 c #Conflicts: 1145000 | #Constraints: 105008
3185.07/3194.89 c #Conflicts: 1146000 | #Constraints: 106008
3185.07/3194.89 c #Conflicts: 1147000 | #Constraints: 107008
3185.07/3194.89 c #Conflicts: 1148000 | #Constraints: 108008
3185.07/3194.89 c #Conflicts: 1149000 | #Constraints: 109008
3185.07/3194.89 c #Conflicts: 1150000 | #Constraints: 110008
3185.07/3194.89 c #Conflicts: 1151000 | #Constraints: 111008
3185.07/3194.89 c #Conflicts: 1152000 | #Constraints: 112008
3185.07/3194.89 c #Conflicts: 1153000 | #Constraints: 113008
3185.07/3194.89 c #Conflicts: 1154000 | #Constraints: 114008
3185.07/3194.89 c #Conflicts: 1155000 | #Constraints: 115008
3185.07/3194.89 c #Conflicts: 1156000 | #Constraints: 116008
3185.07/3194.89 c #Conflicts: 1157000 | #Constraints: 117008
3185.07/3194.89 c #Conflicts: 1158000 | #Constraints: 118008
3185.07/3194.89 c #Conflicts: 1159000 | #Constraints: 119008
3185.07/3194.89 c #Conflicts: 1160000 | #Constraints: 120008
3185.07/3194.89 c #Conflicts: 1161000 | #Constraints: 121008
3185.07/3194.89 c #Conflicts: 1162000 | #Constraints: 122008
3185.07/3194.89 c #Conflicts: 1163000 | #Constraints: 123008
3185.07/3194.89 c #Conflicts: 1164000 | #Constraints: 124008
3185.07/3194.89 c #Conflicts: 1165000 | #Constraints: 125008
3185.07/3194.89 c #Conflicts: 1166000 | #Constraints: 126008
3185.07/3194.89 c #Conflicts: 1167000 | #Constraints: 127008
3185.07/3194.89 c #Conflicts: 1168000 | #Constraints: 128008
3185.07/3194.89 c #Conflicts: 1169000 | #Constraints: 129008
3185.07/3194.89 c #Conflicts: 1170000 | #Constraints: 130008
3185.07/3194.89 c #Conflicts: 1171000 | #Constraints: 131008
3185.07/3194.89 c INPROCESSING
3185.07/3194.89 c GARBAGE COLLECT
3185.07/3194.89 c rational objective 138
3409.69/3420.19 c #Conflicts: 1172000 | #Constraints: 75646
3409.69/3420.19 c #Conflicts: 1173000 | #Constraints: 76646
3409.69/3420.19 c #Conflicts: 1174000 | #Constraints: 77646
3409.69/3420.19 c #Conflicts: 1175000 | #Constraints: 78646
3409.69/3420.19 c #Conflicts: 1176000 | #Constraints: 79646
3409.69/3420.19 c #Conflicts: 1177000 | #Constraints: 80646
3409.69/3420.19 c #Conflicts: 1178000 | #Constraints: 81646
3409.69/3420.19 c #Conflicts: 1179000 | #Constraints: 82646
3409.69/3420.19 c #Conflicts: 1180000 | #Constraints: 83646
3409.69/3420.19 c #Conflicts: 1181000 | #Constraints: 84646
3409.69/3420.19 c #Conflicts: 1182000 | #Constraints: 85646
3409.69/3420.19 c #Conflicts: 1183000 | #Constraints: 86646
3409.69/3420.19 c #Conflicts: 1184000 | #Constraints: 87646
3409.69/3420.19 c #Conflicts: 1185000 | #Constraints: 88646
3409.69/3420.19 c #Conflicts: 1186000 | #Constraints: 89646
3409.69/3420.19 c #Conflicts: 1187000 | #Constraints: 90646
3409.69/3420.19 c #Conflicts: 1188000 | #Constraints: 91646
3409.69/3420.19 c #Conflicts: 1189000 | #Constraints: 92646
3409.69/3420.19 c #Conflicts: 1190000 | #Constraints: 93646
3409.69/3420.19 c #Conflicts: 1191000 | #Constraints: 94646
3409.69/3420.19 c #Conflicts: 1192000 | #Constraints: 95646
3409.69/3420.19 c #Conflicts: 1193000 | #Constraints: 96646
3409.69/3420.19 c #Conflicts: 1194000 | #Constraints: 97646
3409.69/3420.19 c #Conflicts: 1195000 | #Constraints: 98646
3409.69/3420.19 c #Conflicts: 1196000 | #Constraints: 99646
3409.69/3420.19 c #Conflicts: 1197000 | #Constraints: 100646
3409.69/3420.19 c #Conflicts: 1198000 | #Constraints: 101646
3409.69/3420.19 c #Conflicts: 1199000 | #Constraints: 102646
3409.69/3420.19 c #Conflicts: 1200000 | #Constraints: 103646
3409.69/3420.19 c INPROCESSING
3409.69/3420.19 c GARBAGE COLLECT
3409.69/3420.19 c #Conflicts: 1201000 | #Constraints: 62218
3409.69/3420.19 c #Conflicts: 1202000 | #Constraints: 63218
3409.69/3420.19 c #Conflicts: 1203000 | #Constraints: 64218
3409.69/3420.19 c #Conflicts: 1204000 | #Constraints: 65218
3409.69/3420.19 c #Conflicts: 1205000 | #Constraints: 66218
3409.69/3420.19 c #Conflicts: 1206000 | #Constraints: 67218
3409.69/3420.19 c #Conflicts: 1207000 | #Constraints: 68218
3409.69/3420.19 c #Conflicts: 1208000 | #Constraints: 69218
3409.69/3420.19 c #Conflicts: 1209000 | #Constraints: 70218
3409.69/3420.19 c #Conflicts: 1210000 | #Constraints: 71218
3409.69/3420.19 c #Conflicts: 1211000 | #Constraints: 72218
3409.69/3420.19 c #Conflicts: 1212000 | #Constraints: 73218
3409.69/3420.19 c #Conflicts: 1213000 | #Constraints: 74218
3409.69/3420.19 c #Conflicts: 1214000 | #Constraints: 75218
3409.69/3420.19 c #Conflicts: 1215000 | #Constraints: 76218
3409.69/3420.19 c #Conflicts: 1216000 | #Constraints: 77218
3409.69/3420.19 c #Conflicts: 1217000 | #Constraints: 78218
3409.69/3420.19 c #Conflicts: 1218000 | #Constraints: 79218
3409.69/3420.19 c #Conflicts: 1219000 | #Constraints: 80218
3409.69/3420.19 c #Conflicts: 1220000 | #Constraints: 81218
3409.69/3420.19 c #Conflicts: 1221000 | #Constraints: 82218
3409.69/3420.19 c #Conflicts: 1222000 | #Constraints: 83218
3409.69/3420.19 c #Conflicts: 1223000 | #Constraints: 84218
3409.69/3420.19 c #Conflicts: 1224000 | #Constraints: 85218
3409.69/3420.19 c #Conflicts: 1225000 | #Constraints: 86218
3409.69/3420.19 c #Conflicts: 1226000 | #Constraints: 87218
3409.69/3420.19 c #Conflicts: 1227000 | #Constraints: 88218
3409.69/3420.19 c #Conflicts: 1228000 | #Constraints: 89218
3409.69/3420.19 c #Conflicts: 1229000 | #Constraints: 90218
3409.69/3420.19 c #Conflicts: 1230000 | #Constraints: 91218
3409.69/3420.19 c #Conflicts: 1231000 | #Constraints: 92218
3409.69/3420.19 c #Conflicts: 1232000 | #Constraints: 93218
3409.69/3420.19 c #Conflicts: 1233000 | #Constraints: 94218
3409.69/3420.19 c #Conflicts: 1234000 | #Constraints: 95218
3409.69/3420.19 c #Conflicts: 1235000 | #Constraints: 96218
3409.69/3420.19 c #Conflicts: 1236000 | #Constraints: 97218
3409.69/3420.19 c #Conflicts: 1237000 | #Constraints: 98218
3409.69/3420.19 c #Conflicts: 1238000 | #Constraints: 99218
3409.69/3420.19 c #Conflicts: 1239000 | #Constraints: 100218
3409.69/3420.19 c #Conflicts: 1240000 | #Constraints: 101218
3409.69/3420.19 c #Conflicts: 1241000 | #Constraints: 102218
3409.69/3420.19 c #Conflicts: 1242000 | #Constraints: 103218
3409.69/3420.19 c #Conflicts: 1243000 | #Constraints: 104218
3409.69/3420.19 c #Conflicts: 1244000 | #Constraints: 105218
3409.69/3420.19 c #Conflicts: 1245000 | #Constraints: 106218
3409.69/3420.19 c #Conflicts: 1246000 | #Constraints: 107218
3409.69/3420.19 c #Conflicts: 1247000 | #Constraints: 108218
3409.69/3420.19 c #Conflicts: 1248000 | #Constraints: 109218
3409.69/3420.19 c #Conflicts: 1249000 | #Constraints: 110218
3409.69/3420.19 c #Conflicts: 1250000 | #Constraints: 111218
3600.07/3611.11 c #Conflicts: 1251000 | #Constraints: 112218
3600.07/3611.11 c #Conflicts: 1252000 | #Constraints: 113218
3600.07/3611.11 c #Conflicts: 1253000 | #Constraints: 114218
3600.07/3611.11 c #Conflicts: 1254000 | #Constraints: 115218
3600.07/3611.11 c #Conflicts: 1255000 | #Constraints: 116218
3600.07/3611.11 c #Conflicts: 1256000 | #Constraints: 117218
3600.07/3611.11 c #Conflicts: 1257000 | #Constraints: 118218
3600.07/3611.11 c #Conflicts: 1258000 | #Constraints: 119218
3600.07/3611.11 c #Conflicts: 1259000 | #Constraints: 120218
3600.07/3611.11 c #Conflicts: 1260000 | #Constraints: 121218
3600.07/3611.11 c #Conflicts: 1261000 | #Constraints: 122218
3600.07/3611.11 c #Conflicts: 1262000 | #Constraints: 123218
3600.07/3611.11 c #Conflicts: 1263000 | #Constraints: 124218
3600.07/3611.11 c #Conflicts: 1264000 | #Constraints: 125218
3600.07/3611.11 c #Conflicts: 1265000 | #Constraints: 126218
3600.07/3611.11 c #Conflicts: 1266000 | #Constraints: 127218
3600.07/3611.11 c #Conflicts: 1267000 | #Constraints: 128218
3600.07/3611.11 c #Conflicts: 1268000 | #Constraints: 129218
3600.07/3611.11 c #Conflicts: 1269000 | #Constraints: 130218
3600.07/3611.11 c #Conflicts: 1270000 | #Constraints: 131218
3600.07/3611.11 c #Conflicts: 1271000 | #Constraints: 132218
3600.07/3611.11 c #Conflicts: 1272000 | #Constraints: 133218
3600.07/3611.11 c #Conflicts: 1273000 | #Constraints: 134218
3600.07/3611.11 c #Conflicts: 1274000 | #Constraints: 135218
3600.07/3611.11 c #Conflicts: 1275000 | #Constraints: 136218
3600.07/3611.11 c INPROCESSING
3600.07/3611.11 c GARBAGE COLLECT
3600.07/3611.11 c #Conflicts: 1276000 | #Constraints: 78414
3600.07/3611.11 c #Conflicts: 1277000 | #Constraints: 79414
3600.07/3611.11 c #Conflicts: 1278000 | #Constraints: 80414
3600.07/3611.11 c #Conflicts: 1279000 | #Constraints: 81414
3600.07/3611.11 c #Conflicts: 1280000 | #Constraints: 82414
3600.07/3611.11 c #Conflicts: 1281000 | #Constraints: 83414
3600.07/3611.11 c #Conflicts: 1282000 | #Constraints: 84414
3600.07/3611.11 c #Conflicts: 1283000 | #Constraints: 85414
3600.07/3611.11 c #Conflicts: 1284000 | #Constraints: 86414
3600.07/3611.11 c #Conflicts: 1285000 | #Constraints: 87414
3600.07/3611.11 c #Conflicts: 1286000 | #Constraints: 88414
3600.07/3611.11 c #Conflicts: 1287000 | #Constraints: 89414
3600.07/3611.11 c #Conflicts: 1288000 | #Constraints: 90414
3600.07/3611.11 c #Conflicts: 1289000 | #Constraints: 91414
3600.07/3611.11 c #Conflicts: 1290000 | #Constraints: 92414
3600.07/3611.11 c #Conflicts: 1291000 | #Constraints: 93414
3600.07/3611.11 c #Conflicts: 1292000 | #Constraints: 94414
3600.07/3611.11 c #Conflicts: 1293000 | #Constraints: 95414
3600.07/3611.11 c #Conflicts: 1294000 | #Constraints: 96414
3600.07/3611.11 c #Conflicts: 1295000 | #Constraints: 97414
3600.07/3611.11 c #Conflicts: 1296000 | #Constraints: 98414
3600.07/3611.11 c #Conflicts: 1297000 | #Constraints: 99414
3600.07/3611.11 c #Conflicts: 1298000 | #Constraints: 100414
3600.07/3611.11 c #Conflicts: 1299000 | #Constraints: 101414
3600.07/3611.11 c #Conflicts: 1300000 | #Constraints: 102414
3600.07/3611.11 c #Conflicts: 1301000 | #Constraints: 103414
3600.07/3611.11 c #Conflicts: 1302000 | #Constraints: 104414
3600.07/3611.11 c #Conflicts: 1303000 | #Constraints: 105414
3600.07/3611.11 c #Conflicts: 1304000 | #Constraints: 106414
3600.07/3611.11 c #Conflicts: 1305000 | #Constraints: 107414
3600.07/3611.11 c INPROCESSING
3600.07/3611.11 c GARBAGE COLLECT
3600.07/3611.11 c #Conflicts: 1306000 | #Constraints: 63866
3600.07/3611.11 c cpu time 3579.77 s
3600.07/3611.11 c deterministic time 222124228641 2.22e+11
3600.07/3611.11 c optimization time 2.72137 s
3600.07/3611.11 c total solve time 3576.84 s
3600.07/3611.11 c core-guided solve time 0 s
3600.07/3611.11 c propagation time 1711.14 s
3600.07/3611.11 c conflict analysis time 1485.91 s
3600.07/3611.11 c propagations 1311369546
3600.07/3611.11 c resolve steps 97443015
3600.07/3611.11 c decisions 19829358
3600.07/3611.11 c conflicts 1306248
3600.07/3611.11 c restarts 2537
3600.07/3611.11 c inprocessing phases 52
3600.07/3611.11 c garbage collections 52 ,( 100.00 )
3600.07/3611.11 c input clauses 16562 ,( 99.17 )
3600.07/3611.11 c input cardinalities 138 ,( 0.83 )
3600.07/3611.11 c input general constraints 0 ,( 0.00 )
3600.07/3611.11 c input average constraint length 6.43
3600.07/3611.11 c input average constraint degree 1.97
3600.07/3611.11 c learned clauses 979581 ,( 74.99 )
3600.07/3611.11 c learned cardinalities 35351 ,( 2.71 )
3600.07/3611.11 c learned general constraints 291327 ,( 22.30 )
3600.07/3611.11 c learned average constraint length 760.79
3600.07/3611.11 c learned average constraint degree 35109879.29
3600.07/3611.11 c watched CF 32, 64, 128, Arb: 80196 , 0 , 0 , 0
3600.07/3611.11 c counting CF 32, 64, 128, Arb: 211131 , 0 , 0 , 0
3600.07/3611.11 c watched constraints 80196 ,( 27.53 )
3600.07/3611.11 c counting constraints 211131 ,( 72.47 )
3600.07/3611.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1338505081 , 526417234 , 2193461750 ,( 88029539 , 2105432211 )
3600.07/3611.11 c gcd simplifications 766
3600.07/3611.11 c detected cardinalities 4004
3600.07/3611.11 c weakened non-implied lits 395570198
3600.07/3611.11 c weakened non-implying lits 227427
3600.07/3611.11 c original variables 16422
3600.07/3611.11 c clausal propagations 593975607
3600.07/3611.11 c cardinality propagations 464138612
3600.07/3611.11 c watched propagations 4366815
3600.07/3611.11 c counting propagations 238681671
3600.07/3611.11 c watch lookups 93506133922
3600.07/3611.11 c watch backjump lookups 0
3600.07/3611.11 c watch checks 32579221973
3600.07/3611.11 c propagation checks 88602970588
3600.07/3611.11 c constraint additions 4771935823
3600.07/3611.11 c trail pops 1332491901
3600.07/3611.11 c formula constraints 16700
3600.07/3611.11 c learned constraints 1306241
3600.07/3611.11 c bound constraints 0
3600.07/3611.11 c core-guided constraints 0
3600.07/3611.11 c encountered formula constraints 66122037
3600.07/3611.11 c encountered learned constraints 32626282
3600.07/3611.11 c encountered bound constraints 0
3600.07/3611.11 c encountered core-guided constraints 0
3600.07/3611.11 c LP total time 369.616 s
3600.07/3611.11 c LP solve time 352.93 s
3600.07/3611.11 c LP constraints added 17640
3600.07/3611.11 c LP constraints removed 679
3600.07/3611.11 c LP pivots internal 133244
3600.07/3611.11 c LP pivots root 142285
3600.07/3611.11 c LP calls 20
3600.07/3611.11 c LP optimalities 8
3600.07/3611.11 c LP no pivot count 1
3600.07/3611.11 c LP infeasibilities 6
3600.07/3611.11 c LP valid Farkas constraints 6
3600.07/3611.11 c LP learned Farkas constraints 6
3600.07/3611.11 c LP basis resets 0
3600.07/3611.11 c LP cycling count 0
3600.07/3611.11 c LP singular count 0
3600.07/3611.11 c LP no primal count 0
3600.07/3611.11 c LP no farkas count 0
3600.07/3611.11 c LP other issue count 0
3600.07/3611.11 c LP Gomory cuts 6
3600.07/3611.11 c LP learned cuts 1190
3600.07/3611.11 c LP deleted cuts 878
3600.07/3611.11 c LP encountered Gomory constraints 0
3600.07/3611.11 c LP encountered Farkas constraints 934
3600.07/3611.11 c LP encountered learned Farkas constraints 4
3600.07/3611.11 c CG auxiliary variables introduced 0
3600.07/3611.11 c CG solutions found 0
3600.07/3611.11 c CG cores constructed 0
3600.07/3611.11 c CG core cardinality constraints returned 0
3600.07/3611.11 c CG unit cores 0
3600.07/3611.11 c CG single cores 0
3600.07/3611.11 c CG blocks removed during cardinality reduction 0
3600.07/3611.11 c CG first core best 0
3600.07/3611.11 c CG decision core best 0
3600.07/3611.11 c CG core reduction tie 0
3600.07/3611.11 c CG core degree average 0.00
3600.07/3611.11 c CG core slack average 0.00
3600.07/3611.11 c CG core upper bound improvements 0
3600.07/3611.11 c STR number of successful calls 0
3600.07/3611.11 c STR number of unsuccessful calls 0
3600.07/3611.11 c STR number of inconclusive calls 0
3600.07/3611.11 c STR number of successful attempts 0
3600.07/3611.11 c STR number of unsuccessful attempts 0
3600.07/3611.11 c STR number of inconclusive attempts 0
3600.07/3611.11 c STR average degree increase per successful call inf
3600.07/3611.11 c STR average degree increase per successful attempt inf
3600.07/3611.11 c STR total number of conflicts for successful attempts 0
3600.07/3611.11 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.11 c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.11 c STR average number of conflicts per successful attempt inf
3600.07/3611.11 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.11 c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.11 c AVG.sumWPerc 64.73
3600.07/3611.11 c bigint constraints 0
3600.07/3611.11 s UNKNOWN
3600.07/3611.11 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (61702 MiB free)
memory of node 1: 64507 MiB (64047 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506798-1751172660/watcher-4506798-1751172660 -o /tmp/evaluation-result-4506798-1751172660/solver-4506798-1751172660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20703 --watchdog 3760 run-dec-ls.sh HOME/instance-4506798-1751172660.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21123, runsolver pid=21117
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.09 4.11 4.12 5/257 21131
/proc/meminfo: memFree=128743808/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=62628 memory=16000 CPUtime=0.08 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 2234 0 0 0 6 2 0 0 20 0 1 0 32944858 64131072 4000 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 15657 4000 1984 1147 0 3084 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66820 KiB
Current children cumulated memory: 19072 KiB
[startup+0.214497 s]*
/proc/loadavg: 4.09 4.11 4.12 5/257 21131
/proc/meminfo: memFree=128725856/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=72840 memory=26900 CPUtime=0.2 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 4777 0 0 0 15 5 0 0 20 0 1 0 32944858 74588160 6725 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 18210 6725 2272 1147 0 5637 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77032 KiB
Current children cumulated memory: 29972 KiB
[startup+0.313831 s]*
/proc/loadavg: 4.09 4.11 4.12 5/257 21131
/proc/meminfo: memFree=128700904/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=96648 memory=43428 CPUtime=0.29 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 9197 0 0 0 22 7 0 0 20 0 1 0 32944858 98967552 10857 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 24162 10857 2272 1147 0 11589 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100840 KiB
Current children cumulated memory: 46500 KiB
[startup+0.700429 s]
/proc/loadavg: 4.09 4.11 4.12 5/257 21131
/proc/meminfo: memFree=128665432/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=108168 memory=51392 CPUtime=0.66 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 11302 0 0 0 58 8 0 0 20 0 1 0 32944858 110764032 12848 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 27042 12848 2304 1147 0 14469 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 112360 KiB
Current children cumulated memory: 54464 KiB
[startup+1.50042 s]
/proc/loadavg: 4.09 4.11 4.12 5/257 21131
/proc/meminfo: memFree=128645524/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=108168 memory=52032 CPUtime=1.46 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 11462 0 0 0 137 9 0 0 20 0 1 0 32944858 110764032 13008 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 27042 13008 2304 1147 0 14469 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 112360 KiB
Current children cumulated memory: 55104 KiB
[startup+3.11377 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129388628/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=110152 memory=53952 CPUtime=3.04 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 11949 0 0 0 293 11 0 0 20 0 1 0 32944858 112795648 13488 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 27538 13488 2304 1147 0 14965 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 114344 KiB
Current children cumulated memory: 57024 KiB
[startup+6.3004 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129334584/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=114496 memory=63012 CPUtime=6.22 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 13631 0 0 0 603 19 0 0 20 0 1 0 32944858 117243904 15753 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 28624 15753 2368 1147 0 16051 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 118688 KiB
Current children cumulated memory: 66084 KiB
[startup+12.7004 s]
/proc/loadavg: 4.00 4.09 4.11 5/257 21177
/proc/meminfo: memFree=129309392/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=124580 memory=72976 CPUtime=12.61 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 15613 0 0 0 1230 31 0 0 20 0 1 0 32944858 127569920 18244 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 31145 18244 2368 1147 0 18572 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 128772 KiB
Current children cumulated memory: 76048 KiB
[startup+25.5004 s]
/proc/loadavg: 4.07 4.10 4.11 5/257 21178
/proc/meminfo: memFree=129255728/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=132080 memory=80016 CPUtime=25.37 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 17397 0 0 0 2487 50 0 0 20 0 1 0 32944858 135249920 20004 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 33020 20004 2368 1147 0 20447 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 136272 KiB
Current children cumulated memory: 83088 KiB
[startup+51.1136 s]
/proc/loadavg: 4.11 4.11 4.11 5/257 21178
/proc/meminfo: memFree=129178296/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=161168 memory=108804 CPUtime=50.91 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 23046 0 0 0 4998 93 0 0 20 0 1 0 32944858 165036032 27201 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 40292 27201 2368 1147 0 27719 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 165360 KiB
Current children cumulated memory: 111876 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.12 5/259 21182
/proc/meminfo: memFree=129015976/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=213788 memory=151292 CPUtime=101.96 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 29665 0 0 0 10041 155 0 0 20 0 1 0 32944858 218918912 37823 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 53447 37823 2368 1147 0 40874 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 217980 KiB
Current children cumulated memory: 154364 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/259 21185
/proc/meminfo: memFree=128914152/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=235168 memory=171260 CPUtime=161.8 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 34661 0 0 0 15972 208 0 0 20 0 1 0 32944858 240812032 42815 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 58792 42815 2368 1147 0 46219 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 239360 KiB
Current children cumulated memory: 174332 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/259 21187
/proc/meminfo: memFree=128849208/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=275996 memory=211108 CPUtime=221.64 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 37902 0 0 0 21907 257 0 0 20 0 1 0 32944858 282619904 52777 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 68999 52777 2464 1147 0 56426 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/21125/statm: 272962 224835 2464 1147 0 260389 0
Current children cumulated CPU time: 3092.88 s
Current children cumulated vsize: 1096040 KiB
Current children cumulated memory: 902412 KiB
[startup+3162.3 s]
/proc/loadavg: 4.94 4.48 4.25 5/254 21381
/proc/meminfo: memFree=126276588/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=1108860 memory=911812 CPUtime=3152.68 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 119847 0 0 0 313455 1813 0 0 20 0 1 0 32944858 1135472640 227953 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 277215 227953 2464 1147 0 264642 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 1113052 KiB
Current children cumulated memory: 914884 KiB
[startup+3222.3 s]
/proc/loadavg: 4.41 4.41 4.25 5/254 21383
/proc/meminfo: memFree=126262744/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=1114916 memory=918212 CPUtime=3212.5 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 121435 0 0 0 319408 1842 0 0 20 0 1 0 32944858 1141673984 229553 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 278729 229553 2464 1147 0 266156 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 1119108 KiB
Current children cumulated memory: 921284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.35 4.24 5/254 21385
/proc/meminfo: memFree=126259972/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=1116392 memory=919620 CPUtime=3272.31 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 121794 0 0 0 325358 1873 0 0 20 0 1 0 32944858 1143185408 229905 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 279098 229905 2464 1147 0 266525 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 1120584 KiB
Current children cumulated memory: 922692 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.30 4.22 5/254 21387
/proc/meminfo: memFree=126253184/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=1116392 memory=919620 CPUtime=3332.12 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 121794 0 0 0 331314 1898 0 0 20 0 1 0 32944858 1143185408 229905 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 279098 229905 2464 1147 0 266525 0
Current children cumulated CPU time: 3332.12 s
Current children cumulated vsize: 1120584 KiB
Current children cumulated memory: 922692 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.27 4.22 5/255 21394
/proc/meminfo: memFree=126254680/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=1116392 memory=919620 CPUtime=3391.93 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 121794 0 0 0 337264 1929 0 0 20 0 1 0 32944858 1143185408 229905 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 279098 229905 2464 1147 0 266525 0
Current children cumulated CPU time: 3391.93 s
Current children cumulated vsize: 1120584 KiB
Current children cumulated memory: 922692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.69 4.41 4.27 5/255 21398
/proc/meminfo: memFree=126248884/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=1116392 memory=919620 CPUtime=3451.73 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 121801 0 0 0 343220 1953 0 0 20 0 1 0 32944858 1143185408 229905 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 279098 229905 2464 1147 0 266525 0
Current children cumulated CPU time: 3451.73 s
Current children cumulated vsize: 1120584 KiB
Current children cumulated memory: 922692 KiB
[startup+3522.3 s]
/proc/loadavg: 4.39 4.38 4.27 5/254 21400
/proc/meminfo: memFree=126229480/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=1118548 memory=921284 CPUtime=3511.54 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 122203 0 0 0 349179 1975 0 0 20 0 1 0 32944858 1145393152 230321 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 279637 230321 2464 1147 0 267064 0
Current children cumulated CPU time: 3511.54 s
Current children cumulated vsize: 1122740 KiB
Current children cumulated memory: 924356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.32 4.26 5/254 21403
/proc/meminfo: memFree=126162292/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=1121828 memory=923972 CPUtime=3571.35 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 122884 0 0 0 355123 2012 0 0 20 0 1 0 32944858 1148751872 230993 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 280457 230993 2464 1147 0 267884 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 1126020 KiB
Current children cumulated memory: 927044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.19 4.31 4.25 4/249 21437
/proc/meminfo: memFree=127138552/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=1121828 memory=924356 CPUtime=3600.07 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 122998 0 0 0 357977 2030 0 0 20 0 1 0 32944858 1148751872 231089 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 280457 231089 2464 1147 0 267884 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1126020 KiB
Current children cumulated memory: 927428 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.12 s]
# the end of solver process 21123 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001299 s, system=0.003843 s
Sleeping 2 seconds
[startup+3611.13 s]
# the end of solver process 21125 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3579.78 s, system=20.3175 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.19 4.31 4.25 4/249 21437
/proc/meminfo: memFree=127138552/131382112 swapFree=33010684/33010684
[pid=21123] ppid=21117 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/21123/stat : 21123 (run-dec-ls.sh) S 21117 21123 20691 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 32944856 4292608 768 18446744073709551615 94770989645824 94770990540357 140733843733616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94770990779408 94770990827152 94771004690432 140733843741031 140733843741157 140733843741157 140733843746759 0
/proc/21123/statm: 1048 768 704 219 0 110 0
[pid=21125] ppid=21123 vsize=1121828 memory=924356 CPUtime=3600.07 cores=1,3
/proc/21125/stat : 21125 (roundingsat) R 21123 21123 20691 0 -1 4194304 122998 0 0 0 357977 2030 0 0 20 0 1 0 32944858 1148751872 231089 18446744073709551615 4227072 8923433 140727547141456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21995520 140727547148704 140727547148840 140727547148840 140727547154410 0
/proc/21125/statm: 280457 231089 2464 1147 0 267884 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1126020 KiB
Current children cumulated memory: 927428 KiB
Child status: 2
Real time (s): 3611.13
CPU time (s): 3600.1
CPU user time (s): 3579.78
CPU system time (s): 20.3175
CPU usage (%): 99.6945
Max. virtual memory (cumulated for all children) (KiB): 1126020
Max. memory (cumulated for all children) (KiB): 927428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.78
system time used= 20.3175
maximum resident set size= 924612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123222
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= 337
involuntary context switches= 3303
# summary of solver processes directly reported to runsolver:
# pid: 21123,21125
# total CPU time (s): 3600.1
# total CPU user time (s): 3579.78
# total CPU system time (s): 20.3175
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5708 second user time and 37.7016 second system time
The end
Begin job on nodeC001 at 2025-06-29 06:51:00
IDJOB=4506798
IDBENCH=158265
IDSOLVER=3353
FILE ID=nodeC001/4506798-1751172660
RUNJOBID= nodeC001-1751169047-20703
SLURM_JOB_ID= 9587516
Free space on /tmp= 433012 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506798-1751172660/watcher-4506798-1751172660 -o /tmp/evaluation-result-4506798-1751172660/solver-4506798-1751172660 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20703 --watchdog 3760 run-dec-ls.sh HOME/instance-4506798-1751172660.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=1815181408
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.768
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.170
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.382
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.355
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.130
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.150
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128775348 kB
MemAvailable: 128447740 kB
Buffers: 3280 kB
Cached: 483732 kB
SwapCached: 0 kB
Active: 1829296 kB
Inactive: 238792 kB
Active(anon): 1599036 kB
Inactive(anon): 0 kB
Active(file): 230260 kB
Inactive(file): 238792 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9532 kB
Writeback: 44 kB
AnonPages: 1575452 kB
Mapped: 112572 kB
Shmem: 17960 kB
KReclaimable: 85548 kB
Slab: 165824 kB
SReclaimable: 85548 kB
SUnreclaim: 80276 kB
KernelStack: 4144 kB
PageTables: 6248 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2140124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1470464 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC001 at 2025-06-29 07:51:11