0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.28/0.35 c #variables 16422 #constraints 16700
104.15/104.51 c #Conflicts: 1000 | #Constraints: 17699
104.15/104.51 c #Conflicts: 2000 | #Constraints: 18699
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 3000 | #Constraints: 18026
104.15/104.51 c #Conflicts: 4000 | #Constraints: 19026
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 5000 | #Constraints: 18538
104.15/104.51 c #Conflicts: 6000 | #Constraints: 19538
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 7000 | #Constraints: 18416
104.15/104.51 c #Conflicts: 8000 | #Constraints: 19416
104.15/104.51 c #Conflicts: 9000 | #Constraints: 20416
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 10000 | #Constraints: 19170
104.15/104.51 c #Conflicts: 11000 | #Constraints: 20170
104.15/104.51 c #Conflicts: 12000 | #Constraints: 21170
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 13000 | #Constraints: 19664
104.15/104.51 c #Conflicts: 14000 | #Constraints: 20664
104.15/104.51 c #Conflicts: 15000 | #Constraints: 21664
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 16000 | #Constraints: 19955
104.15/104.51 c #Conflicts: 17000 | #Constraints: 20955
104.15/104.51 c #Conflicts: 18000 | #Constraints: 21955
104.15/104.51 c #Conflicts: 19000 | #Constraints: 22955
104.15/104.51 c #Conflicts: 20000 | #Constraints: 23955
104.15/104.51 c #Conflicts: 21000 | #Constraints: 24955
104.15/104.51 c #Conflicts: 22000 | #Constraints: 25955
104.15/104.51 c #Conflicts: 23000 | #Constraints: 26955
104.15/104.51 c #Conflicts: 24000 | #Constraints: 27955
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 25000 | #Constraints: 22940
104.15/104.51 c #Conflicts: 26000 | #Constraints: 23940
104.15/104.51 c #Conflicts: 27000 | #Constraints: 24940
104.15/104.51 c #Conflicts: 28000 | #Constraints: 25940
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 29000 | #Constraints: 21814
104.15/104.51 c #Conflicts: 30000 | #Constraints: 22814
104.15/104.51 c #Conflicts: 31000 | #Constraints: 23814
104.15/104.51 c #Conflicts: 32000 | #Constraints: 24814
104.15/104.51 c #Conflicts: 33000 | #Constraints: 25814
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 34000 | #Constraints: 22057
104.15/104.51 c #Conflicts: 35000 | #Constraints: 23057
104.15/104.51 c #Conflicts: 36000 | #Constraints: 24057
104.15/104.51 c #Conflicts: 37000 | #Constraints: 25057
104.15/104.51 c #Conflicts: 38000 | #Constraints: 26057
104.15/104.51 c #Conflicts: 39000 | #Constraints: 27057
104.15/104.51 c #Conflicts: 40000 | #Constraints: 28057
104.15/104.51 c #Conflicts: 41000 | #Constraints: 29057
104.15/104.51 c #Conflicts: 42000 | #Constraints: 30057
104.15/104.51 c #Conflicts: 43000 | #Constraints: 31057
104.15/104.51 c #Conflicts: 44000 | #Constraints: 32057
104.15/104.51 c #Conflicts: 45000 | #Constraints: 33057
104.15/104.51 c #Conflicts: 46000 | #Constraints: 34057
104.15/104.51 c #Conflicts: 47000 | #Constraints: 35057
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 48000 | #Constraints: 26815
104.15/104.51 c #Conflicts: 49000 | #Constraints: 27815
104.15/104.51 c #Conflicts: 50000 | #Constraints: 28815
104.15/104.51 c #Conflicts: 51000 | #Constraints: 29815
104.15/104.51 c #Conflicts: 52000 | #Constraints: 30815
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 53000 | #Constraints: 24344
104.15/104.51 c #Conflicts: 54000 | #Constraints: 25344
104.15/104.51 c #Conflicts: 55000 | #Constraints: 26344
104.15/104.51 c #Conflicts: 56000 | #Constraints: 27344
104.15/104.51 c #Conflicts: 57000 | #Constraints: 28344
104.15/104.51 c #Conflicts: 58000 | #Constraints: 29344
104.15/104.51 c INPROCESSING
104.15/104.51 c GARBAGE COLLECT
104.15/104.51 c #Conflicts: 59000 | #Constraints: 23820
104.15/104.51 c #Conflicts: 60000 | #Constraints: 24820
104.15/104.51 c #Conflicts: 61000 | #Constraints: 25820
104.15/104.51 c #Conflicts: 62000 | #Constraints: 26820
104.15/104.51 c #Conflicts: 63000 | #Constraints: 27820
104.15/104.51 c #Conflicts: 64000 | #Constraints: 28820
104.15/104.51 c #Conflicts: 65000 | #Constraints: 29820
104.15/104.51 c #Conflicts: 66000 | #Constraints: 30820
104.15/104.51 c #Conflicts: 67000 | #Constraints: 31820
104.15/104.51 c #Conflicts: 68000 | #Constraints: 32820
104.15/104.51 c #Conflicts: 69000 | #Constraints: 33820
104.15/104.51 c #Conflicts: 70000 | #Constraints: 34820
104.15/104.51 c #Conflicts: 71000 | #Constraints: 35820
104.15/104.51 c #Conflicts: 72000 | #Constraints: 36820
255.35/256.11 c #Conflicts: 73000 | #Constraints: 37820
255.35/256.11 c #Conflicts: 74000 | #Constraints: 38820
255.35/256.11 c #Conflicts: 75000 | #Constraints: 39820
255.35/256.11 c #Conflicts: 76000 | #Constraints: 40820
255.35/256.11 c INPROCESSING
255.35/256.11 c GARBAGE COLLECT
255.35/256.11 c #Conflicts: 77000 | #Constraints: 29532
255.35/256.11 c #Conflicts: 78000 | #Constraints: 30532
255.35/256.11 c #Conflicts: 79000 | #Constraints: 31532
255.35/256.11 c #Conflicts: 80000 | #Constraints: 32532
255.35/256.11 c #Conflicts: 81000 | #Constraints: 33532
255.35/256.11 c #Conflicts: 82000 | #Constraints: 34532
255.35/256.11 c #Conflicts: 83000 | #Constraints: 35532
255.35/256.11 c #Conflicts: 84000 | #Constraints: 36532
255.35/256.11 c INPROCESSING
255.35/256.11 c GARBAGE COLLECT
255.35/256.11 c #Conflicts: 85000 | #Constraints: 27769
255.35/256.11 c #Conflicts: 86000 | #Constraints: 28769
255.35/256.11 c #Conflicts: 87000 | #Constraints: 29769
255.35/256.11 c #Conflicts: 88000 | #Constraints: 30769
255.35/256.11 c #Conflicts: 89000 | #Constraints: 31769
255.35/256.11 c #Conflicts: 90000 | #Constraints: 32769
255.35/256.11 c #Conflicts: 91000 | #Constraints: 33769
255.35/256.11 c INPROCESSING
255.35/256.11 c GARBAGE COLLECT
255.35/256.11 c #Conflicts: 92000 | #Constraints: 26654
255.35/256.11 c #Conflicts: 93000 | #Constraints: 27654
255.35/256.11 c #Conflicts: 94000 | #Constraints: 28654
255.35/256.11 c #Conflicts: 95000 | #Constraints: 29654
255.35/256.11 c #Conflicts: 96000 | #Constraints: 30654
255.35/256.11 c #Conflicts: 97000 | #Constraints: 31654
255.35/256.11 c #Conflicts: 98000 | #Constraints: 32654
255.35/256.11 c #Conflicts: 99000 | #Constraints: 33654
255.35/256.11 c #Conflicts: 100000 | #Constraints: 34654
255.35/256.11 c #Conflicts: 101000 | #Constraints: 35654
255.35/256.11 c #Conflicts: 102000 | #Constraints: 36654
255.35/256.11 c #Conflicts: 103000 | #Constraints: 37654
255.35/256.11 c #Conflicts: 104000 | #Constraints: 38654
255.35/256.11 c #Conflicts: 105000 | #Constraints: 39654
255.35/256.11 c #Conflicts: 106000 | #Constraints: 40654
255.35/256.11 c #Conflicts: 107000 | #Constraints: 41654
255.35/256.11 c #Conflicts: 108000 | #Constraints: 42654
255.35/256.11 c #Conflicts: 109000 | #Constraints: 43654
255.35/256.11 c #Conflicts: 110000 | #Constraints: 44654
255.35/256.11 c #Conflicts: 111000 | #Constraints: 45654
255.35/256.11 c #Conflicts: 112000 | #Constraints: 46654
255.35/256.11 c #Conflicts: 113000 | #Constraints: 47654
255.35/256.11 c INPROCESSING
255.35/256.11 c GARBAGE COLLECT
255.35/256.11 c #Conflicts: 114000 | #Constraints: 33006
255.35/256.11 c #Conflicts: 115000 | #Constraints: 34006
255.35/256.11 c #Conflicts: 116000 | #Constraints: 35006
255.35/256.11 c #Conflicts: 117000 | #Constraints: 36006
255.35/256.11 c #Conflicts: 118000 | #Constraints: 37006
255.35/256.11 c #Conflicts: 119000 | #Constraints: 38006
255.35/256.11 c #Conflicts: 120000 | #Constraints: 39006
255.35/256.11 c #Conflicts: 121000 | #Constraints: 40006
255.35/256.11 c #Conflicts: 122000 | #Constraints: 41006
255.35/256.11 c INPROCESSING
255.35/256.11 c GARBAGE COLLECT
255.35/256.11 c #Conflicts: 123000 | #Constraints: 29790
255.35/256.11 c #Conflicts: 124000 | #Constraints: 30790
255.35/256.11 c #Conflicts: 125000 | #Constraints: 31790
255.35/256.11 c #Conflicts: 126000 | #Constraints: 32790
255.35/256.11 c #Conflicts: 127000 | #Constraints: 33790
255.35/256.11 c #Conflicts: 128000 | #Constraints: 34790
255.35/256.11 c #Conflicts: 129000 | #Constraints: 35790
255.35/256.11 c #Conflicts: 130000 | #Constraints: 36790
255.35/256.11 c #Conflicts: 131000 | #Constraints: 37790
255.35/256.11 c INPROCESSING
255.35/256.11 c GARBAGE COLLECT
255.35/256.11 c #Conflicts: 132000 | #Constraints: 29198
255.35/256.11 c #Conflicts: 133000 | #Constraints: 30198
255.35/256.11 c #Conflicts: 134000 | #Constraints: 31198
255.35/256.11 c #Conflicts: 135000 | #Constraints: 32198
255.35/256.11 c #Conflicts: 136000 | #Constraints: 33198
255.35/256.11 c #Conflicts: 137000 | #Constraints: 34198
255.35/256.11 c #Conflicts: 138000 | #Constraints: 35198
255.35/256.11 c #Conflicts: 139000 | #Constraints: 36198
255.35/256.11 c #Conflicts: 140000 | #Constraints: 37198
255.35/256.11 c #Conflicts: 141000 | #Constraints: 38198
255.35/256.11 c #Conflicts: 142000 | #Constraints: 39198
255.35/256.11 c #Conflicts: 143000 | #Constraints: 40198
255.35/256.11 c #Conflicts: 144000 | #Constraints: 41198
255.35/256.11 c #Conflicts: 145000 | #Constraints: 42198
255.35/256.11 c #Conflicts: 146000 | #Constraints: 43198
255.35/256.11 c #Conflicts: 147000 | #Constraints: 44198
408.84/410.04 c #Conflicts: 148000 | #Constraints: 45198
408.84/410.04 c #Conflicts: 149000 | #Constraints: 46198
408.84/410.04 c #Conflicts: 150000 | #Constraints: 47198
408.84/410.04 c #Conflicts: 151000 | #Constraints: 48198
408.84/410.04 c #Conflicts: 152000 | #Constraints: 49198
408.84/410.04 c #Conflicts: 153000 | #Constraints: 50198
408.84/410.04 c #Conflicts: 154000 | #Constraints: 51198
408.84/410.04 c #Conflicts: 155000 | #Constraints: 52198
408.84/410.04 c #Conflicts: 156000 | #Constraints: 53198
408.84/410.04 c #Conflicts: 157000 | #Constraints: 54198
408.84/410.04 c INPROCESSING
408.84/410.04 c GARBAGE COLLECT
408.84/410.04 c #Conflicts: 158000 | #Constraints: 36435
408.84/410.04 c #Conflicts: 159000 | #Constraints: 37435
408.84/410.04 c #Conflicts: 160000 | #Constraints: 38435
408.84/410.04 c #Conflicts: 161000 | #Constraints: 39435
408.84/410.04 c #Conflicts: 162000 | #Constraints: 40435
408.84/410.04 c #Conflicts: 163000 | #Constraints: 41435
408.84/410.04 c #Conflicts: 164000 | #Constraints: 42435
408.84/410.04 c #Conflicts: 165000 | #Constraints: 43435
408.84/410.04 c #Conflicts: 166000 | #Constraints: 44435
408.84/410.04 c #Conflicts: 167000 | #Constraints: 45435
408.84/410.04 c #Conflicts: 168000 | #Constraints: 46435
408.84/410.04 c INPROCESSING
408.84/410.04 c GARBAGE COLLECT
408.84/410.04 c #Conflicts: 169000 | #Constraints: 32948
408.84/410.04 c #Conflicts: 170000 | #Constraints: 33948
408.84/410.04 c #Conflicts: 171000 | #Constraints: 34948
408.84/410.04 c #Conflicts: 172000 | #Constraints: 35948
408.84/410.04 c #Conflicts: 173000 | #Constraints: 36948
408.84/410.04 c #Conflicts: 174000 | #Constraints: 37948
408.84/410.04 c #Conflicts: 175000 | #Constraints: 38948
408.84/410.04 c #Conflicts: 176000 | #Constraints: 39948
408.84/410.04 c #Conflicts: 177000 | #Constraints: 40948
408.84/410.04 c #Conflicts: 178000 | #Constraints: 41948
408.84/410.04 c INPROCESSING
408.84/410.04 c GARBAGE COLLECT
408.84/410.04 c #Conflicts: 179000 | #Constraints: 32016
408.84/410.04 c #Conflicts: 180000 | #Constraints: 33016
408.84/410.04 c #Conflicts: 181000 | #Constraints: 34016
408.84/410.04 c #Conflicts: 182000 | #Constraints: 35016
408.84/410.04 c #Conflicts: 183000 | #Constraints: 36016
408.84/410.04 c #Conflicts: 184000 | #Constraints: 37016
408.84/410.04 c #Conflicts: 185000 | #Constraints: 38016
408.84/410.04 c #Conflicts: 186000 | #Constraints: 39016
408.84/410.04 c #Conflicts: 187000 | #Constraints: 40016
408.84/410.04 c #Conflicts: 188000 | #Constraints: 41016
408.84/410.04 c #Conflicts: 189000 | #Constraints: 42016
408.84/410.04 c #Conflicts: 190000 | #Constraints: 43016
408.84/410.04 c #Conflicts: 191000 | #Constraints: 44016
408.84/410.04 c #Conflicts: 192000 | #Constraints: 45016
408.84/410.04 c #Conflicts: 193000 | #Constraints: 46016
408.84/410.04 c #Conflicts: 194000 | #Constraints: 47016
408.84/410.04 c #Conflicts: 195000 | #Constraints: 48016
408.84/410.04 c #Conflicts: 196000 | #Constraints: 49016
408.84/410.04 c #Conflicts: 197000 | #Constraints: 50016
408.84/410.04 c #Conflicts: 198000 | #Constraints: 51016
408.84/410.04 c #Conflicts: 199000 | #Constraints: 52016
408.84/410.04 c #Conflicts: 200000 | #Constraints: 53016
408.84/410.04 c #Conflicts: 201000 | #Constraints: 54016
408.84/410.04 c #Conflicts: 202000 | #Constraints: 55016
408.84/410.04 c #Conflicts: 203000 | #Constraints: 56016
408.84/410.04 c #Conflicts: 204000 | #Constraints: 57016
408.84/410.04 c #Conflicts: 205000 | #Constraints: 58016
408.84/410.04 c #Conflicts: 206000 | #Constraints: 59016
408.84/410.04 c #Conflicts: 207000 | #Constraints: 60016
408.84/410.04 c #Conflicts: 208000 | #Constraints: 61016
408.84/410.04 c #Conflicts: 209000 | #Constraints: 62016
408.84/410.04 c INPROCESSING
408.84/410.04 c GARBAGE COLLECT
408.84/410.04 c #Conflicts: 210000 | #Constraints: 40655
408.84/410.04 c #Conflicts: 211000 | #Constraints: 41655
408.84/410.04 c #Conflicts: 212000 | #Constraints: 42655
408.84/410.04 c #Conflicts: 213000 | #Constraints: 43655
408.84/410.04 c #Conflicts: 214000 | #Constraints: 44655
408.84/410.04 c #Conflicts: 215000 | #Constraints: 45655
408.84/410.04 c #Conflicts: 216000 | #Constraints: 46655
408.84/410.04 c #Conflicts: 217000 | #Constraints: 47655
408.84/410.04 c #Conflicts: 218000 | #Constraints: 48655
408.84/410.04 c #Conflicts: 219000 | #Constraints: 49655
408.84/410.04 c #Conflicts: 220000 | #Constraints: 50655
408.84/410.04 c INPROCESSING
408.84/410.04 c GARBAGE COLLECT
408.84/410.04 c rational objective 138
554.95/556.67 c #Conflicts: 221000 | #Constraints: 34713
554.95/556.67 c #Conflicts: 222000 | #Constraints: 35713
554.95/556.67 c #Conflicts: 223000 | #Constraints: 36713
554.95/556.67 c #Conflicts: 224000 | #Constraints: 37713
554.95/556.67 c #Conflicts: 225000 | #Constraints: 38713
554.95/556.67 c #Conflicts: 226000 | #Constraints: 39713
554.95/556.67 c #Conflicts: 227000 | #Constraints: 40713
554.95/556.67 c #Conflicts: 228000 | #Constraints: 41713
554.95/556.67 c #Conflicts: 229000 | #Constraints: 42713
554.95/556.67 c #Conflicts: 230000 | #Constraints: 43713
554.95/556.67 c #Conflicts: 231000 | #Constraints: 44713
554.95/556.67 c #Conflicts: 232000 | #Constraints: 45713
554.95/556.67 c INPROCESSING
554.95/556.67 c GARBAGE COLLECT
554.95/556.67 c #Conflicts: 233000 | #Constraints: 34108
554.95/556.67 c #Conflicts: 234000 | #Constraints: 35108
554.95/556.67 c #Conflicts: 235000 | #Constraints: 36108
554.95/556.67 c #Conflicts: 236000 | #Constraints: 37108
554.95/556.67 c #Conflicts: 237000 | #Constraints: 38108
554.95/556.67 c #Conflicts: 238000 | #Constraints: 39108
554.95/556.67 c #Conflicts: 239000 | #Constraints: 40108
554.95/556.67 c #Conflicts: 240000 | #Constraints: 41108
554.95/556.67 c #Conflicts: 241000 | #Constraints: 42108
554.95/556.67 c #Conflicts: 242000 | #Constraints: 43108
554.95/556.67 c #Conflicts: 243000 | #Constraints: 44108
554.95/556.67 c #Conflicts: 244000 | #Constraints: 45108
554.95/556.67 c #Conflicts: 245000 | #Constraints: 46108
554.95/556.67 c #Conflicts: 246000 | #Constraints: 47108
554.95/556.67 c #Conflicts: 247000 | #Constraints: 48108
554.95/556.67 c #Conflicts: 248000 | #Constraints: 49108
554.95/556.67 c #Conflicts: 249000 | #Constraints: 50108
554.95/556.67 c #Conflicts: 250000 | #Constraints: 51108
554.95/556.67 c #Conflicts: 251000 | #Constraints: 52108
554.95/556.67 c #Conflicts: 252000 | #Constraints: 53108
554.95/556.67 c #Conflicts: 253000 | #Constraints: 54108
554.95/556.67 c #Conflicts: 254000 | #Constraints: 55108
554.95/556.67 c #Conflicts: 255000 | #Constraints: 56108
554.95/556.67 c #Conflicts: 256000 | #Constraints: 57108
554.95/556.67 c #Conflicts: 257000 | #Constraints: 58108
554.95/556.67 c #Conflicts: 258000 | #Constraints: 59108
554.95/556.67 c #Conflicts: 259000 | #Constraints: 60108
554.95/556.67 c #Conflicts: 260000 | #Constraints: 61108
554.95/556.67 c #Conflicts: 261000 | #Constraints: 62108
554.95/556.67 c #Conflicts: 262000 | #Constraints: 63108
554.95/556.67 c #Conflicts: 263000 | #Constraints: 64108
554.95/556.67 c #Conflicts: 264000 | #Constraints: 65108
554.95/556.67 c #Conflicts: 265000 | #Constraints: 66108
554.95/556.67 c #Conflicts: 266000 | #Constraints: 67108
554.95/556.67 c #Conflicts: 267000 | #Constraints: 68108
554.95/556.67 c INPROCESSING
554.95/556.67 c GARBAGE COLLECT
554.95/556.67 c #Conflicts: 268000 | #Constraints: 43436
554.95/556.67 c #Conflicts: 269000 | #Constraints: 44436
554.95/556.67 c #Conflicts: 270000 | #Constraints: 45436
554.95/556.67 c #Conflicts: 271000 | #Constraints: 46436
554.95/556.67 c #Conflicts: 272000 | #Constraints: 47436
554.95/556.67 c #Conflicts: 273000 | #Constraints: 48436
554.95/556.67 c #Conflicts: 274000 | #Constraints: 49436
554.95/556.67 c #Conflicts: 275000 | #Constraints: 50436
554.95/556.67 c #Conflicts: 276000 | #Constraints: 51436
554.95/556.67 c #Conflicts: 277000 | #Constraints: 52436
554.95/556.67 c #Conflicts: 278000 | #Constraints: 53436
554.95/556.67 c #Conflicts: 279000 | #Constraints: 54436
554.95/556.67 c #Conflicts: 280000 | #Constraints: 55436
554.95/556.67 c INPROCESSING
554.95/556.67 c GARBAGE COLLECT
554.95/556.67 c #Conflicts: 281000 | #Constraints: 37212
554.95/556.67 c #Conflicts: 282000 | #Constraints: 38212
554.95/556.67 c #Conflicts: 283000 | #Constraints: 39212
554.95/556.67 c #Conflicts: 284000 | #Constraints: 40212
554.95/556.67 c #Conflicts: 285000 | #Constraints: 41212
554.95/556.67 c #Conflicts: 286000 | #Constraints: 42212
554.95/556.67 c #Conflicts: 287000 | #Constraints: 43212
554.95/556.67 c #Conflicts: 288000 | #Constraints: 44212
554.95/556.67 c #Conflicts: 289000 | #Constraints: 45212
554.95/556.67 c #Conflicts: 290000 | #Constraints: 46212
554.95/556.67 c #Conflicts: 291000 | #Constraints: 47212
554.95/556.67 c #Conflicts: 292000 | #Constraints: 48212
554.95/556.67 c #Conflicts: 293000 | #Constraints: 49212
554.95/556.67 c #Conflicts: 294000 | #Constraints: 50212
554.95/556.67 c #Conflicts: 295000 | #Constraints: 51212
554.95/556.67 c #Conflicts: 296000 | #Constraints: 52212
554.95/556.67 c #Conflicts: 297000 | #Constraints: 53212
745.80/748.17 c #Conflicts: 298000 | #Constraints: 54212
745.80/748.17 c #Conflicts: 299000 | #Constraints: 55212
745.80/748.17 c #Conflicts: 300000 | #Constraints: 56212
745.80/748.17 c #Conflicts: 301000 | #Constraints: 57212
745.80/748.17 c #Conflicts: 302000 | #Constraints: 58212
745.80/748.17 c #Conflicts: 303000 | #Constraints: 59212
745.80/748.17 c #Conflicts: 304000 | #Constraints: 60212
745.80/748.17 c #Conflicts: 305000 | #Constraints: 61212
745.80/748.17 c #Conflicts: 306000 | #Constraints: 62212
745.80/748.17 c #Conflicts: 307000 | #Constraints: 63212
745.80/748.17 c #Conflicts: 308000 | #Constraints: 64212
745.80/748.17 c #Conflicts: 309000 | #Constraints: 65212
745.80/748.17 c #Conflicts: 310000 | #Constraints: 66212
745.80/748.17 c #Conflicts: 311000 | #Constraints: 67212
745.80/748.17 c #Conflicts: 312000 | #Constraints: 68212
745.80/748.17 c #Conflicts: 313000 | #Constraints: 69212
745.80/748.17 c #Conflicts: 314000 | #Constraints: 70212
745.80/748.17 c #Conflicts: 315000 | #Constraints: 71212
745.80/748.17 c #Conflicts: 316000 | #Constraints: 72212
745.80/748.17 c #Conflicts: 317000 | #Constraints: 73212
745.80/748.17 c #Conflicts: 318000 | #Constraints: 74212
745.80/748.17 c INPROCESSING
745.80/748.17 c GARBAGE COLLECT
745.80/748.17 c #Conflicts: 319000 | #Constraints: 46752
745.80/748.17 c #Conflicts: 320000 | #Constraints: 47752
745.80/748.17 c #Conflicts: 321000 | #Constraints: 48752
745.80/748.17 c #Conflicts: 322000 | #Constraints: 49752
745.80/748.17 c #Conflicts: 323000 | #Constraints: 50752
745.80/748.17 c #Conflicts: 324000 | #Constraints: 51752
745.80/748.17 c #Conflicts: 325000 | #Constraints: 52752
745.80/748.17 c #Conflicts: 326000 | #Constraints: 53752
745.80/748.17 c #Conflicts: 327000 | #Constraints: 54752
745.80/748.17 c #Conflicts: 328000 | #Constraints: 55752
745.80/748.17 c #Conflicts: 329000 | #Constraints: 56752
745.80/748.17 c #Conflicts: 330000 | #Constraints: 57752
745.80/748.17 c #Conflicts: 331000 | #Constraints: 58752
745.80/748.17 c #Conflicts: 332000 | #Constraints: 59752
745.80/748.17 c #Conflicts: 333000 | #Constraints: 60752
745.80/748.17 c INPROCESSING
745.80/748.17 c GARBAGE COLLECT
745.80/748.17 c #Conflicts: 334000 | #Constraints: 40054
745.80/748.17 c #Conflicts: 335000 | #Constraints: 41054
745.80/748.17 c #Conflicts: 336000 | #Constraints: 42054
745.80/748.17 c #Conflicts: 337000 | #Constraints: 43054
745.80/748.17 c #Conflicts: 338000 | #Constraints: 44054
745.80/748.17 c #Conflicts: 339000 | #Constraints: 45054
745.80/748.17 c #Conflicts: 340000 | #Constraints: 46054
745.80/748.17 c #Conflicts: 341000 | #Constraints: 47054
745.80/748.17 c #Conflicts: 342000 | #Constraints: 48054
745.80/748.17 c #Conflicts: 343000 | #Constraints: 49054
745.80/748.17 c #Conflicts: 344000 | #Constraints: 50054
745.80/748.17 c #Conflicts: 345000 | #Constraints: 51054
745.80/748.17 c #Conflicts: 346000 | #Constraints: 52054
745.80/748.17 c #Conflicts: 347000 | #Constraints: 53054
745.80/748.17 c #Conflicts: 348000 | #Constraints: 54054
745.80/748.17 c #Conflicts: 349000 | #Constraints: 55054
745.80/748.17 c #Conflicts: 350000 | #Constraints: 56054
745.80/748.17 c #Conflicts: 351000 | #Constraints: 57054
745.80/748.17 c #Conflicts: 352000 | #Constraints: 58054
745.80/748.17 c #Conflicts: 353000 | #Constraints: 59054
745.80/748.17 c #Conflicts: 354000 | #Constraints: 60054
745.80/748.17 c #Conflicts: 355000 | #Constraints: 61054
745.80/748.17 c #Conflicts: 356000 | #Constraints: 62054
745.80/748.17 c #Conflicts: 357000 | #Constraints: 63054
745.80/748.17 c #Conflicts: 358000 | #Constraints: 64054
745.80/748.17 c #Conflicts: 359000 | #Constraints: 65054
745.80/748.17 c #Conflicts: 360000 | #Constraints: 66054
745.80/748.17 c #Conflicts: 361000 | #Constraints: 67054
745.80/748.17 c #Conflicts: 362000 | #Constraints: 68054
745.80/748.17 c #Conflicts: 363000 | #Constraints: 69054
745.80/748.17 c #Conflicts: 364000 | #Constraints: 70054
745.80/748.17 c #Conflicts: 365000 | #Constraints: 71054
745.80/748.17 c #Conflicts: 366000 | #Constraints: 72054
745.80/748.17 c #Conflicts: 367000 | #Constraints: 73054
745.80/748.17 c #Conflicts: 368000 | #Constraints: 74054
745.80/748.17 c #Conflicts: 369000 | #Constraints: 75054
745.80/748.17 c #Conflicts: 370000 | #Constraints: 76054
745.80/748.17 c #Conflicts: 371000 | #Constraints: 77054
745.80/748.17 c #Conflicts: 372000 | #Constraints: 78054
745.80/748.17 c #Conflicts: 373000 | #Constraints: 79054
745.80/748.17 c #Conflicts: 374000 | #Constraints: 80054
745.80/748.17 c INPROCESSING
745.80/748.17 c GARBAGE COLLECT
769.61/772.10 c rational objective 138
1020.45/1023.60 c #Conflicts: 375000 | #Constraints: 49943
1020.45/1023.60 c #Conflicts: 376000 | #Constraints: 50943
1020.45/1023.60 c #Conflicts: 377000 | #Constraints: 51943
1020.45/1023.60 c #Conflicts: 378000 | #Constraints: 52943
1020.45/1023.60 c #Conflicts: 379000 | #Constraints: 53943
1020.45/1023.60 c #Conflicts: 380000 | #Constraints: 54943
1020.45/1023.60 c #Conflicts: 381000 | #Constraints: 55943
1020.45/1023.60 c #Conflicts: 382000 | #Constraints: 56943
1020.45/1023.60 c #Conflicts: 383000 | #Constraints: 57943
1020.45/1023.60 c #Conflicts: 384000 | #Constraints: 58943
1020.45/1023.60 c #Conflicts: 385000 | #Constraints: 59943
1020.45/1023.60 c #Conflicts: 386000 | #Constraints: 60943
1020.45/1023.60 c #Conflicts: 387000 | #Constraints: 61943
1020.45/1023.60 c #Conflicts: 388000 | #Constraints: 62943
1020.45/1023.60 c #Conflicts: 389000 | #Constraints: 63943
1020.45/1023.60 c #Conflicts: 390000 | #Constraints: 64943
1020.45/1023.60 c INPROCESSING
1020.45/1023.60 c GARBAGE COLLECT
1020.45/1023.60 c #Conflicts: 391000 | #Constraints: 42528
1020.45/1023.60 c #Conflicts: 392000 | #Constraints: 43528
1020.45/1023.60 c #Conflicts: 393000 | #Constraints: 44528
1020.45/1023.60 c #Conflicts: 394000 | #Constraints: 45528
1020.45/1023.60 c #Conflicts: 395000 | #Constraints: 46528
1020.45/1023.60 c #Conflicts: 396000 | #Constraints: 47528
1020.45/1023.60 c #Conflicts: 397000 | #Constraints: 48528
1020.45/1023.60 c #Conflicts: 398000 | #Constraints: 49528
1020.45/1023.60 c #Conflicts: 399000 | #Constraints: 50528
1020.45/1023.60 c #Conflicts: 400000 | #Constraints: 51528
1020.45/1023.60 c #Conflicts: 401000 | #Constraints: 52528
1020.45/1023.60 c #Conflicts: 402000 | #Constraints: 53528
1020.45/1023.60 c #Conflicts: 403000 | #Constraints: 54528
1020.45/1023.60 c #Conflicts: 404000 | #Constraints: 55528
1020.45/1023.60 c #Conflicts: 405000 | #Constraints: 56528
1020.45/1023.60 c #Conflicts: 406000 | #Constraints: 57528
1020.45/1023.60 c #Conflicts: 407000 | #Constraints: 58528
1020.45/1023.60 c #Conflicts: 408000 | #Constraints: 59528
1020.45/1023.60 c #Conflicts: 409000 | #Constraints: 60528
1020.45/1023.60 c #Conflicts: 410000 | #Constraints: 61528
1020.45/1023.60 c #Conflicts: 411000 | #Constraints: 62528
1020.45/1023.60 c #Conflicts: 412000 | #Constraints: 63528
1020.45/1023.60 c #Conflicts: 413000 | #Constraints: 64528
1020.45/1023.60 c #Conflicts: 414000 | #Constraints: 65528
1020.45/1023.60 c #Conflicts: 415000 | #Constraints: 66528
1020.45/1023.60 c #Conflicts: 416000 | #Constraints: 67528
1020.45/1023.60 c #Conflicts: 417000 | #Constraints: 68528
1020.45/1023.60 c #Conflicts: 418000 | #Constraints: 69528
1020.45/1023.60 c #Conflicts: 419000 | #Constraints: 70528
1020.45/1023.60 c #Conflicts: 420000 | #Constraints: 71528
1020.45/1023.60 c #Conflicts: 421000 | #Constraints: 72528
1020.45/1023.60 c #Conflicts: 422000 | #Constraints: 73528
1020.45/1023.60 c #Conflicts: 423000 | #Constraints: 74528
1020.45/1023.60 c #Conflicts: 424000 | #Constraints: 75528
1020.45/1023.60 c #Conflicts: 425000 | #Constraints: 76528
1020.45/1023.60 c #Conflicts: 426000 | #Constraints: 77528
1020.45/1023.60 c #Conflicts: 427000 | #Constraints: 78528
1020.45/1023.60 c #Conflicts: 428000 | #Constraints: 79528
1020.45/1023.60 c #Conflicts: 429000 | #Constraints: 80528
1020.45/1023.60 c #Conflicts: 430000 | #Constraints: 81528
1020.45/1023.60 c #Conflicts: 431000 | #Constraints: 82528
1020.45/1023.60 c #Conflicts: 432000 | #Constraints: 83528
1020.45/1023.60 c #Conflicts: 433000 | #Constraints: 84528
1020.45/1023.60 c #Conflicts: 434000 | #Constraints: 85528
1020.45/1023.60 c INPROCESSING
1020.45/1023.60 c GARBAGE COLLECT
1020.45/1023.60 c #Conflicts: 435000 | #Constraints: 52694
1020.45/1023.60 c #Conflicts: 436000 | #Constraints: 53694
1020.45/1023.60 c #Conflicts: 437000 | #Constraints: 54694
1020.45/1023.60 c #Conflicts: 438000 | #Constraints: 55694
1020.45/1023.60 c #Conflicts: 439000 | #Constraints: 56694
1020.45/1023.60 c #Conflicts: 440000 | #Constraints: 57694
1020.45/1023.60 c #Conflicts: 441000 | #Constraints: 58694
1020.45/1023.60 c #Conflicts: 442000 | #Constraints: 59694
1020.45/1023.60 c #Conflicts: 443000 | #Constraints: 60694
1020.45/1023.60 c #Conflicts: 444000 | #Constraints: 61694
1020.45/1023.60 c #Conflicts: 445000 | #Constraints: 62694
1020.45/1023.60 c #Conflicts: 446000 | #Constraints: 63694
1020.45/1023.60 c #Conflicts: 447000 | #Constraints: 64694
1020.45/1023.60 c #Conflicts: 448000 | #Constraints: 65694
1020.45/1023.60 c #Conflicts: 449000 | #Constraints: 66694
1020.45/1023.60 c #Conflicts: 450000 | #Constraints: 67694
1020.45/1023.60 c #Conflicts: 451000 | #Constraints: 68694
1020.45/1023.60 c INPROCESSING
1020.45/1023.60 c GARBAGE COLLECT
1207.50/1211.15 c #Conflicts: 452000 | #Constraints: 44014
1207.50/1211.15 c #Conflicts: 453000 | #Constraints: 45014
1207.50/1211.15 c #Conflicts: 454000 | #Constraints: 46014
1207.50/1211.15 c #Conflicts: 455000 | #Constraints: 47014
1207.50/1211.15 c #Conflicts: 456000 | #Constraints: 48014
1207.50/1211.15 c #Conflicts: 457000 | #Constraints: 49014
1207.50/1211.15 c #Conflicts: 458000 | #Constraints: 50014
1207.50/1211.15 c #Conflicts: 459000 | #Constraints: 51014
1207.50/1211.15 c #Conflicts: 460000 | #Constraints: 52014
1207.50/1211.15 c #Conflicts: 461000 | #Constraints: 53014
1207.50/1211.15 c #Conflicts: 462000 | #Constraints: 54014
1207.50/1211.15 c #Conflicts: 463000 | #Constraints: 55014
1207.50/1211.15 c #Conflicts: 464000 | #Constraints: 56014
1207.50/1211.15 c #Conflicts: 465000 | #Constraints: 57014
1207.50/1211.15 c #Conflicts: 466000 | #Constraints: 58014
1207.50/1211.15 c #Conflicts: 467000 | #Constraints: 59014
1207.50/1211.15 c #Conflicts: 468000 | #Constraints: 60014
1207.50/1211.15 c #Conflicts: 469000 | #Constraints: 61014
1207.50/1211.15 c #Conflicts: 470000 | #Constraints: 62014
1207.50/1211.15 c #Conflicts: 471000 | #Constraints: 63014
1207.50/1211.15 c #Conflicts: 472000 | #Constraints: 64014
1207.50/1211.15 c #Conflicts: 473000 | #Constraints: 65014
1207.50/1211.15 c #Conflicts: 474000 | #Constraints: 66014
1207.50/1211.15 c #Conflicts: 475000 | #Constraints: 67014
1207.50/1211.15 c #Conflicts: 476000 | #Constraints: 68014
1207.50/1211.15 c #Conflicts: 477000 | #Constraints: 69014
1207.50/1211.15 c #Conflicts: 478000 | #Constraints: 70014
1207.50/1211.15 c #Conflicts: 479000 | #Constraints: 71014
1207.50/1211.15 c #Conflicts: 480000 | #Constraints: 72014
1207.50/1211.15 c #Conflicts: 481000 | #Constraints: 73014
1207.50/1211.15 c #Conflicts: 482000 | #Constraints: 74014
1207.50/1211.15 c #Conflicts: 483000 | #Constraints: 75014
1207.50/1211.15 c #Conflicts: 484000 | #Constraints: 76014
1207.50/1211.15 c #Conflicts: 485000 | #Constraints: 77014
1207.50/1211.15 c #Conflicts: 486000 | #Constraints: 78014
1207.50/1211.15 c #Conflicts: 487000 | #Constraints: 79014
1207.50/1211.15 c #Conflicts: 488000 | #Constraints: 80014
1207.50/1211.15 c #Conflicts: 489000 | #Constraints: 81014
1207.50/1211.15 c #Conflicts: 490000 | #Constraints: 82014
1207.50/1211.15 c #Conflicts: 491000 | #Constraints: 83014
1207.50/1211.15 c #Conflicts: 492000 | #Constraints: 84014
1207.50/1211.15 c #Conflicts: 493000 | #Constraints: 85014
1207.50/1211.15 c #Conflicts: 494000 | #Constraints: 86014
1207.50/1211.15 c #Conflicts: 495000 | #Constraints: 87014
1207.50/1211.15 c #Conflicts: 496000 | #Constraints: 88014
1207.50/1211.15 c #Conflicts: 497000 | #Constraints: 89014
1207.50/1211.15 c #Conflicts: 498000 | #Constraints: 90014
1207.50/1211.15 c INPROCESSING
1207.50/1211.15 c GARBAGE COLLECT
1207.50/1211.15 c rational objective 138
1272.53/1276.32 c #Conflicts: 499000 | #Constraints: 54815
1272.53/1276.32 c #Conflicts: 500000 | #Constraints: 55815
1272.53/1276.32 c #Conflicts: 501000 | #Constraints: 56815
1272.53/1276.32 c #Conflicts: 502000 | #Constraints: 57815
1272.53/1276.32 c #Conflicts: 503000 | #Constraints: 58815
1272.53/1276.32 c #Conflicts: 504000 | #Constraints: 59815
1272.53/1276.32 c #Conflicts: 505000 | #Constraints: 60815
1272.53/1276.32 c #Conflicts: 506000 | #Constraints: 61815
1272.53/1276.32 c #Conflicts: 507000 | #Constraints: 62815
1272.53/1276.32 c #Conflicts: 508000 | #Constraints: 63815
1272.53/1276.32 c #Conflicts: 509000 | #Constraints: 64815
1272.53/1276.32 c #Conflicts: 510000 | #Constraints: 65815
1272.53/1276.32 c #Conflicts: 511000 | #Constraints: 66815
1272.53/1276.32 c #Conflicts: 512000 | #Constraints: 67815
1272.53/1276.32 c #Conflicts: 513000 | #Constraints: 68815
1272.53/1276.32 c #Conflicts: 514000 | #Constraints: 69815
1272.53/1276.32 c #Conflicts: 515000 | #Constraints: 70815
1272.53/1276.32 c #Conflicts: 516000 | #Constraints: 71815
1272.53/1276.32 c INPROCESSING
1272.53/1276.32 c GARBAGE COLLECT
1272.53/1276.32 c rational objective 138
1467.17/1471.44 c #Conflicts: 517000 | #Constraints: 45547
1467.17/1471.44 c #Conflicts: 518000 | #Constraints: 46547
1467.17/1471.44 c #Conflicts: 519000 | #Constraints: 47547
1467.17/1471.44 c #Conflicts: 520000 | #Constraints: 48547
1467.17/1471.44 c #Conflicts: 521000 | #Constraints: 49547
1467.17/1471.44 c #Conflicts: 522000 | #Constraints: 50547
1467.17/1471.44 c #Conflicts: 523000 | #Constraints: 51547
1467.17/1471.44 c #Conflicts: 524000 | #Constraints: 52547
1467.17/1471.44 c #Conflicts: 525000 | #Constraints: 53547
1467.17/1471.44 c #Conflicts: 526000 | #Constraints: 54547
1467.17/1471.44 c #Conflicts: 527000 | #Constraints: 55547
1467.17/1471.44 c #Conflicts: 528000 | #Constraints: 56547
1467.17/1471.44 c #Conflicts: 529000 | #Constraints: 57547
1467.17/1471.44 c #Conflicts: 530000 | #Constraints: 58547
1467.17/1471.44 c #Conflicts: 531000 | #Constraints: 59547
1467.17/1471.44 c #Conflicts: 532000 | #Constraints: 60547
1467.17/1471.44 c #Conflicts: 533000 | #Constraints: 61547
1467.17/1471.44 c #Conflicts: 534000 | #Constraints: 62547
1467.17/1471.44 c #Conflicts: 535000 | #Constraints: 63547
1467.17/1471.44 c #Conflicts: 536000 | #Constraints: 64547
1467.17/1471.44 c #Conflicts: 537000 | #Constraints: 65547
1467.17/1471.44 c #Conflicts: 538000 | #Constraints: 66547
1467.17/1471.44 c #Conflicts: 539000 | #Constraints: 67547
1467.17/1471.44 c #Conflicts: 540000 | #Constraints: 68547
1467.17/1471.44 c #Conflicts: 541000 | #Constraints: 69547
1467.17/1471.44 c #Conflicts: 542000 | #Constraints: 70547
1467.17/1471.44 c #Conflicts: 543000 | #Constraints: 71547
1467.17/1471.44 c #Conflicts: 544000 | #Constraints: 72547
1467.17/1471.44 c #Conflicts: 545000 | #Constraints: 73547
1467.17/1471.44 c #Conflicts: 546000 | #Constraints: 74547
1467.17/1471.44 c #Conflicts: 547000 | #Constraints: 75547
1467.17/1471.44 c #Conflicts: 548000 | #Constraints: 76547
1467.17/1471.44 c #Conflicts: 549000 | #Constraints: 77547
1467.17/1471.44 c #Conflicts: 550000 | #Constraints: 78547
1467.17/1471.44 c #Conflicts: 551000 | #Constraints: 79547
1467.17/1471.44 c #Conflicts: 552000 | #Constraints: 80547
1467.17/1471.44 c #Conflicts: 553000 | #Constraints: 81547
1467.17/1471.44 c #Conflicts: 554000 | #Constraints: 82547
1467.17/1471.44 c #Conflicts: 555000 | #Constraints: 83547
1467.17/1471.44 c #Conflicts: 556000 | #Constraints: 84547
1467.17/1471.44 c #Conflicts: 557000 | #Constraints: 85547
1467.17/1471.44 c #Conflicts: 558000 | #Constraints: 86547
1467.17/1471.44 c #Conflicts: 559000 | #Constraints: 87547
1467.17/1471.44 c #Conflicts: 560000 | #Constraints: 88547
1467.17/1471.44 c #Conflicts: 561000 | #Constraints: 89547
1467.17/1471.44 c #Conflicts: 562000 | #Constraints: 90547
1467.17/1471.44 c #Conflicts: 563000 | #Constraints: 91547
1467.17/1471.44 c #Conflicts: 564000 | #Constraints: 92547
1467.17/1471.44 c #Conflicts: 565000 | #Constraints: 93547
1467.17/1471.44 c #Conflicts: 566000 | #Constraints: 94547
1467.17/1471.44 c #Conflicts: 567000 | #Constraints: 95547
1467.17/1471.44 c INPROCESSING
1467.17/1471.44 c GARBAGE COLLECT
1467.17/1471.44 c #Conflicts: 568000 | #Constraints: 57821
1467.17/1471.44 c #Conflicts: 569000 | #Constraints: 58821
1467.17/1471.44 c #Conflicts: 570000 | #Constraints: 59821
1467.17/1471.44 c #Conflicts: 571000 | #Constraints: 60821
1467.17/1471.44 c #Conflicts: 572000 | #Constraints: 61821
1467.17/1471.44 c #Conflicts: 573000 | #Constraints: 62821
1467.17/1471.44 c #Conflicts: 574000 | #Constraints: 63821
1467.17/1471.44 c #Conflicts: 575000 | #Constraints: 64821
1467.17/1471.44 c #Conflicts: 576000 | #Constraints: 65821
1467.17/1471.44 c #Conflicts: 577000 | #Constraints: 66822
1467.17/1471.44 c #Conflicts: 578000 | #Constraints: 67822
1467.17/1471.44 c #Conflicts: 579000 | #Constraints: 68822
1467.17/1471.44 c #Conflicts: 580000 | #Constraints: 69822
1467.17/1471.44 c #Conflicts: 581000 | #Constraints: 70822
1467.17/1471.44 c #Conflicts: 582000 | #Constraints: 71822
1467.17/1471.44 c #Conflicts: 583000 | #Constraints: 72822
1467.17/1471.44 c #Conflicts: 584000 | #Constraints: 73822
1467.17/1471.44 c #Conflicts: 585000 | #Constraints: 74822
1467.17/1471.44 c #Conflicts: 586000 | #Constraints: 75822
1467.17/1471.44 c INPROCESSING
1467.17/1471.44 c GARBAGE COLLECT
1467.17/1471.44 c #Conflicts: 587000 | #Constraints: 47620
1467.17/1471.44 c #Conflicts: 588000 | #Constraints: 48620
1467.17/1471.44 c #Conflicts: 589000 | #Constraints: 49620
1467.17/1471.44 c #Conflicts: 590000 | #Constraints: 50620
1467.17/1471.44 c #Conflicts: 591000 | #Constraints: 51620
1467.17/1471.44 c #Conflicts: 592000 | #Constraints: 52620
1467.17/1471.44 c #Conflicts: 593000 | #Constraints: 53620
1467.17/1471.44 c #Conflicts: 594000 | #Constraints: 54620
1708.09/1712.97 c #Conflicts: 595000 | #Constraints: 55620
1708.09/1712.97 c #Conflicts: 596000 | #Constraints: 56620
1708.09/1712.97 c #Conflicts: 597000 | #Constraints: 57620
1708.09/1712.97 c #Conflicts: 598000 | #Constraints: 58620
1708.09/1712.97 c #Conflicts: 599000 | #Constraints: 59620
1708.09/1712.97 c #Conflicts: 600000 | #Constraints: 60620
1708.09/1712.97 c #Conflicts: 601000 | #Constraints: 61620
1708.09/1712.97 c #Conflicts: 602000 | #Constraints: 62620
1708.09/1712.97 c #Conflicts: 603000 | #Constraints: 63620
1708.09/1712.97 c #Conflicts: 604000 | #Constraints: 64620
1708.09/1712.97 c #Conflicts: 605000 | #Constraints: 65620
1708.09/1712.97 c #Conflicts: 606000 | #Constraints: 66620
1708.09/1712.97 c #Conflicts: 607000 | #Constraints: 67620
1708.09/1712.97 c #Conflicts: 608000 | #Constraints: 68620
1708.09/1712.97 c #Conflicts: 609000 | #Constraints: 69620
1708.09/1712.97 c #Conflicts: 610000 | #Constraints: 70620
1708.09/1712.97 c #Conflicts: 611000 | #Constraints: 71620
1708.09/1712.97 c #Conflicts: 612000 | #Constraints: 72620
1708.09/1712.97 c #Conflicts: 613000 | #Constraints: 73620
1708.09/1712.97 c #Conflicts: 614000 | #Constraints: 74620
1708.09/1712.97 c #Conflicts: 615000 | #Constraints: 75620
1708.09/1712.97 c #Conflicts: 616000 | #Constraints: 76620
1708.09/1712.97 c #Conflicts: 617000 | #Constraints: 77620
1708.09/1712.97 c #Conflicts: 618000 | #Constraints: 78620
1708.09/1712.97 c #Conflicts: 619000 | #Constraints: 79620
1708.09/1712.97 c #Conflicts: 620000 | #Constraints: 80620
1708.09/1712.97 c #Conflicts: 621000 | #Constraints: 81620
1708.09/1712.97 c #Conflicts: 622000 | #Constraints: 82620
1708.09/1712.97 c #Conflicts: 623000 | #Constraints: 83620
1708.09/1712.97 c #Conflicts: 624000 | #Constraints: 84620
1708.09/1712.97 c #Conflicts: 625000 | #Constraints: 85620
1708.09/1712.97 c #Conflicts: 626000 | #Constraints: 86620
1708.09/1712.97 c #Conflicts: 627000 | #Constraints: 87620
1708.09/1712.97 c #Conflicts: 628000 | #Constraints: 88620
1708.09/1712.97 c #Conflicts: 629000 | #Constraints: 89620
1708.09/1712.97 c #Conflicts: 630000 | #Constraints: 90620
1708.09/1712.97 c #Conflicts: 631000 | #Constraints: 91620
1708.09/1712.97 c #Conflicts: 632000 | #Constraints: 92620
1708.09/1712.97 c #Conflicts: 633000 | #Constraints: 93620
1708.09/1712.97 c #Conflicts: 634000 | #Constraints: 94620
1708.09/1712.97 c #Conflicts: 635000 | #Constraints: 95620
1708.09/1712.97 c #Conflicts: 636000 | #Constraints: 96620
1708.09/1712.97 c #Conflicts: 637000 | #Constraints: 97620
1708.09/1712.97 c #Conflicts: 638000 | #Constraints: 98620
1708.09/1712.97 c #Conflicts: 639000 | #Constraints: 99620
1708.09/1712.97 c #Conflicts: 640000 | #Constraints: 100620
1708.09/1712.97 c INPROCESSING
1708.09/1712.97 c GARBAGE COLLECT
1708.09/1712.97 c #Conflicts: 641000 | #Constraints: 60328
1708.09/1712.97 c #Conflicts: 642000 | #Constraints: 61328
1708.09/1712.97 c #Conflicts: 643000 | #Constraints: 62328
1708.09/1712.97 c #Conflicts: 644000 | #Constraints: 63328
1708.09/1712.97 c #Conflicts: 645000 | #Constraints: 64328
1708.09/1712.97 c #Conflicts: 646000 | #Constraints: 65328
1708.09/1712.97 c #Conflicts: 647000 | #Constraints: 66328
1708.09/1712.97 c #Conflicts: 648000 | #Constraints: 67328
1708.09/1712.97 c #Conflicts: 649000 | #Constraints: 68328
1708.09/1712.97 c #Conflicts: 650000 | #Constraints: 69328
1708.09/1712.97 c #Conflicts: 651000 | #Constraints: 70328
1708.09/1712.97 c #Conflicts: 652000 | #Constraints: 71328
1708.09/1712.97 c #Conflicts: 653000 | #Constraints: 72328
1708.09/1712.97 c #Conflicts: 654000 | #Constraints: 73328
1708.09/1712.97 c #Conflicts: 655000 | #Constraints: 74328
1708.09/1712.97 c #Conflicts: 656000 | #Constraints: 75328
1708.09/1712.97 c #Conflicts: 657000 | #Constraints: 76328
1708.09/1712.97 c #Conflicts: 658000 | #Constraints: 77328
1708.09/1712.97 c #Conflicts: 659000 | #Constraints: 78328
1708.09/1712.97 c #Conflicts: 660000 | #Constraints: 79328
1708.09/1712.97 c #Conflicts: 661000 | #Constraints: 80328
1708.09/1712.97 c INPROCESSING
1708.09/1712.97 c GARBAGE COLLECT
1708.09/1712.97 c rational objective 138
1915.59/1920.96 c #Conflicts: 662000 | #Constraints: 50018
1915.59/1920.96 c #Conflicts: 663000 | #Constraints: 51018
1915.59/1920.96 c #Conflicts: 664000 | #Constraints: 52018
1915.59/1920.96 c #Conflicts: 665000 | #Constraints: 53018
1915.59/1920.96 c #Conflicts: 666000 | #Constraints: 54018
1915.59/1920.96 c #Conflicts: 667000 | #Constraints: 55018
1915.59/1920.96 c #Conflicts: 668000 | #Constraints: 56018
1915.59/1920.96 c #Conflicts: 669000 | #Constraints: 57018
1915.59/1920.96 c #Conflicts: 670000 | #Constraints: 58018
1915.59/1920.96 c #Conflicts: 671000 | #Constraints: 59018
1915.59/1920.96 c #Conflicts: 672000 | #Constraints: 60018
1915.59/1920.96 c #Conflicts: 673000 | #Constraints: 61018
1915.59/1920.96 c #Conflicts: 674000 | #Constraints: 62018
1915.59/1920.96 c #Conflicts: 675000 | #Constraints: 63018
1915.59/1920.96 c #Conflicts: 676000 | #Constraints: 64018
1915.59/1920.96 c #Conflicts: 677000 | #Constraints: 65018
1915.59/1920.96 c #Conflicts: 678000 | #Constraints: 66018
1915.59/1920.96 c #Conflicts: 679000 | #Constraints: 67018
1915.59/1920.96 c #Conflicts: 680000 | #Constraints: 68018
1915.59/1920.96 c #Conflicts: 681000 | #Constraints: 69018
1915.59/1920.96 c #Conflicts: 682000 | #Constraints: 70018
1915.59/1920.96 c #Conflicts: 683000 | #Constraints: 71018
1915.59/1920.96 c #Conflicts: 684000 | #Constraints: 72018
1915.59/1920.96 c #Conflicts: 685000 | #Constraints: 73018
1915.59/1920.96 c #Conflicts: 686000 | #Constraints: 74018
1915.59/1920.96 c #Conflicts: 687000 | #Constraints: 75018
1915.59/1920.96 c #Conflicts: 688000 | #Constraints: 76018
1915.59/1920.96 c #Conflicts: 689000 | #Constraints: 77018
1915.59/1920.96 c #Conflicts: 690000 | #Constraints: 78018
1915.59/1920.96 c #Conflicts: 691000 | #Constraints: 79018
1915.59/1920.96 c #Conflicts: 692000 | #Constraints: 80018
1915.59/1920.96 c #Conflicts: 693000 | #Constraints: 81018
1915.59/1920.96 c #Conflicts: 694000 | #Constraints: 82018
1915.59/1920.96 c #Conflicts: 695000 | #Constraints: 83018
1915.59/1920.96 c #Conflicts: 696000 | #Constraints: 84018
1915.59/1920.96 c #Conflicts: 697000 | #Constraints: 85018
1915.59/1920.96 c #Conflicts: 698000 | #Constraints: 86018
1915.59/1920.96 c #Conflicts: 699000 | #Constraints: 87018
1915.59/1920.96 c #Conflicts: 700000 | #Constraints: 88018
1915.59/1920.96 c #Conflicts: 701000 | #Constraints: 89018
1915.59/1920.96 c #Conflicts: 702000 | #Constraints: 90018
1915.59/1920.96 c #Conflicts: 703000 | #Constraints: 91018
1915.59/1920.96 c #Conflicts: 704000 | #Constraints: 92018
1915.59/1920.96 c #Conflicts: 705000 | #Constraints: 93018
1915.59/1920.96 c #Conflicts: 706000 | #Constraints: 94018
1915.59/1920.96 c #Conflicts: 707000 | #Constraints: 95018
1915.59/1920.96 c #Conflicts: 708000 | #Constraints: 96018
1915.59/1920.96 c #Conflicts: 709000 | #Constraints: 97018
1915.59/1920.96 c #Conflicts: 710000 | #Constraints: 98018
1915.59/1920.96 c #Conflicts: 711000 | #Constraints: 99018
1915.59/1920.96 c #Conflicts: 712000 | #Constraints: 100018
1915.59/1920.96 c #Conflicts: 713000 | #Constraints: 101018
1915.59/1920.96 c #Conflicts: 714000 | #Constraints: 102018
1915.59/1920.96 c #Conflicts: 715000 | #Constraints: 103018
1915.59/1920.96 c #Conflicts: 716000 | #Constraints: 104018
1915.59/1920.96 c #Conflicts: 717000 | #Constraints: 105018
1915.59/1920.96 c INPROCESSING
1915.59/1920.96 c GARBAGE COLLECT
1915.59/1920.96 c #Conflicts: 718000 | #Constraints: 62359
1915.59/1920.96 c #Conflicts: 719000 | #Constraints: 63359
1915.59/1920.96 c #Conflicts: 720000 | #Constraints: 64359
1915.59/1920.96 c #Conflicts: 721000 | #Constraints: 65359
1915.59/1920.96 c #Conflicts: 722000 | #Constraints: 66359
1915.59/1920.96 c #Conflicts: 723000 | #Constraints: 67359
1915.59/1920.96 c #Conflicts: 724000 | #Constraints: 68359
1915.59/1920.96 c #Conflicts: 725000 | #Constraints: 69359
1915.59/1920.96 c #Conflicts: 726000 | #Constraints: 70359
1915.59/1920.96 c #Conflicts: 727000 | #Constraints: 71359
1915.59/1920.96 c #Conflicts: 728000 | #Constraints: 72359
1915.59/1920.96 c #Conflicts: 729000 | #Constraints: 73359
1915.59/1920.96 c #Conflicts: 730000 | #Constraints: 74359
1915.59/1920.96 c #Conflicts: 731000 | #Constraints: 75359
1915.59/1920.96 c #Conflicts: 732000 | #Constraints: 76359
1915.59/1920.96 c #Conflicts: 733000 | #Constraints: 77359
1915.59/1920.96 c #Conflicts: 734000 | #Constraints: 78359
1915.59/1920.96 c #Conflicts: 735000 | #Constraints: 79359
1915.59/1920.96 c #Conflicts: 736000 | #Constraints: 80359
1915.59/1920.96 c #Conflicts: 737000 | #Constraints: 81359
1915.59/1920.96 c #Conflicts: 738000 | #Constraints: 82359
1915.59/1920.96 c #Conflicts: 739000 | #Constraints: 83359
1915.59/1920.96 c #Conflicts: 740000 | #Constraints: 84359
2130.36/2136.25 c INPROCESSING
2130.36/2136.25 c GARBAGE COLLECT
2130.36/2136.25 c #Conflicts: 741000 | #Constraints: 52193
2130.36/2136.25 c #Conflicts: 742000 | #Constraints: 53193
2130.36/2136.25 c #Conflicts: 743000 | #Constraints: 54193
2130.36/2136.25 c #Conflicts: 744000 | #Constraints: 55193
2130.36/2136.25 c #Conflicts: 745000 | #Constraints: 56193
2130.36/2136.25 c #Conflicts: 746000 | #Constraints: 57193
2130.36/2136.25 c #Conflicts: 747000 | #Constraints: 58194
2130.36/2136.25 c #Conflicts: 748000 | #Constraints: 59194
2130.36/2136.25 c #Conflicts: 749000 | #Constraints: 60194
2130.36/2136.25 c #Conflicts: 750000 | #Constraints: 61194
2130.36/2136.25 c #Conflicts: 751000 | #Constraints: 62194
2130.36/2136.25 c #Conflicts: 752000 | #Constraints: 63194
2130.36/2136.25 c #Conflicts: 753000 | #Constraints: 64194
2130.36/2136.25 c #Conflicts: 754000 | #Constraints: 65194
2130.36/2136.25 c #Conflicts: 755000 | #Constraints: 66194
2130.36/2136.25 c #Conflicts: 756000 | #Constraints: 67195
2130.36/2136.25 c #Conflicts: 757000 | #Constraints: 68195
2130.36/2136.25 c #Conflicts: 758000 | #Constraints: 69195
2130.36/2136.25 c #Conflicts: 759000 | #Constraints: 70195
2130.36/2136.25 c #Conflicts: 760000 | #Constraints: 71195
2130.36/2136.25 c #Conflicts: 761000 | #Constraints: 72195
2130.36/2136.25 c #Conflicts: 762000 | #Constraints: 73195
2130.36/2136.25 c #Conflicts: 763000 | #Constraints: 74195
2130.36/2136.25 c #Conflicts: 764000 | #Constraints: 75195
2130.36/2136.25 c #Conflicts: 765000 | #Constraints: 76195
2130.36/2136.25 c #Conflicts: 766000 | #Constraints: 77195
2130.36/2136.25 c #Conflicts: 767000 | #Constraints: 78195
2130.36/2136.25 c #Conflicts: 768000 | #Constraints: 79195
2130.36/2136.25 c #Conflicts: 769000 | #Constraints: 80195
2130.36/2136.25 c #Conflicts: 770000 | #Constraints: 81195
2130.36/2136.25 c #Conflicts: 771000 | #Constraints: 82195
2130.36/2136.25 c #Conflicts: 772000 | #Constraints: 83195
2130.36/2136.25 c #Conflicts: 773000 | #Constraints: 84195
2130.36/2136.25 c #Conflicts: 774000 | #Constraints: 85195
2130.36/2136.25 c #Conflicts: 775000 | #Constraints: 86195
2130.36/2136.25 c #Conflicts: 776000 | #Constraints: 87195
2130.36/2136.25 c #Conflicts: 777000 | #Constraints: 88195
2130.36/2136.25 c #Conflicts: 778000 | #Constraints: 89195
2130.36/2136.25 c #Conflicts: 779000 | #Constraints: 90195
2130.36/2136.25 c #Conflicts: 780000 | #Constraints: 91195
2130.36/2136.25 c #Conflicts: 781000 | #Constraints: 92195
2130.36/2136.25 c #Conflicts: 782000 | #Constraints: 93196
2130.36/2136.25 c #Conflicts: 783000 | #Constraints: 94196
2130.36/2136.25 c #Conflicts: 784000 | #Constraints: 95196
2130.36/2136.25 c #Conflicts: 785000 | #Constraints: 96196
2130.36/2136.25 c #Conflicts: 786000 | #Constraints: 97196
2130.36/2136.25 c #Conflicts: 787000 | #Constraints: 98196
2130.36/2136.25 c #Conflicts: 788000 | #Constraints: 99196
2130.36/2136.25 c #Conflicts: 789000 | #Constraints: 100196
2130.36/2136.25 c #Conflicts: 790000 | #Constraints: 101196
2130.36/2136.25 c #Conflicts: 791000 | #Constraints: 102196
2130.36/2136.25 c #Conflicts: 792000 | #Constraints: 103196
2130.36/2136.25 c #Conflicts: 793000 | #Constraints: 104196
2130.36/2136.25 c #Conflicts: 794000 | #Constraints: 105196
2130.36/2136.25 c #Conflicts: 795000 | #Constraints: 106196
2130.36/2136.25 c #Conflicts: 796000 | #Constraints: 107196
2130.36/2136.25 c #Conflicts: 797000 | #Constraints: 108196
2130.36/2136.25 c #Conflicts: 798000 | #Constraints: 109196
2130.36/2136.25 c #Conflicts: 799000 | #Constraints: 110196
2130.36/2136.25 c INPROCESSING
2130.36/2136.25 c GARBAGE COLLECT
2130.36/2136.25 c #Conflicts: 800000 | #Constraints: 64938
2130.36/2136.25 c #Conflicts: 801000 | #Constraints: 65938
2130.36/2136.25 c #Conflicts: 802000 | #Constraints: 66938
2130.36/2136.25 c #Conflicts: 803000 | #Constraints: 67938
2130.36/2136.25 c #Conflicts: 804000 | #Constraints: 68938
2130.36/2136.25 c #Conflicts: 805000 | #Constraints: 69938
2130.36/2136.25 c #Conflicts: 806000 | #Constraints: 70938
2130.36/2136.25 c #Conflicts: 807000 | #Constraints: 71938
2130.36/2136.25 c #Conflicts: 808000 | #Constraints: 72938
2130.36/2136.25 c #Conflicts: 809000 | #Constraints: 73938
2130.36/2136.25 c #Conflicts: 810000 | #Constraints: 74938
2130.36/2136.25 c #Conflicts: 811000 | #Constraints: 75938
2130.36/2136.25 c #Conflicts: 812000 | #Constraints: 76938
2130.36/2136.25 c #Conflicts: 813000 | #Constraints: 77938
2130.36/2136.25 c #Conflicts: 814000 | #Constraints: 78938
2130.36/2136.25 c #Conflicts: 815000 | #Constraints: 79938
2130.36/2136.25 c #Conflicts: 816000 | #Constraints: 80938
2130.36/2136.25 c #Conflicts: 817000 | #Constraints: 81938
2384.85/2391.38 c #Conflicts: 818000 | #Constraints: 82938
2384.85/2391.38 c #Conflicts: 819000 | #Constraints: 83938
2384.85/2391.38 c #Conflicts: 820000 | #Constraints: 84938
2384.85/2391.38 c #Conflicts: 821000 | #Constraints: 85938
2384.85/2391.38 c #Conflicts: 822000 | #Constraints: 86939
2384.85/2391.38 c #Conflicts: 823000 | #Constraints: 87939
2384.85/2391.38 c INPROCESSING
2384.85/2391.38 c GARBAGE COLLECT
2384.85/2391.38 c #Conflicts: 824000 | #Constraints: 53861
2384.85/2391.38 c #Conflicts: 825000 | #Constraints: 54861
2384.85/2391.38 c #Conflicts: 826000 | #Constraints: 55861
2384.85/2391.38 c #Conflicts: 827000 | #Constraints: 56861
2384.85/2391.38 c #Conflicts: 828000 | #Constraints: 57861
2384.85/2391.38 c #Conflicts: 829000 | #Constraints: 58861
2384.85/2391.38 c #Conflicts: 830000 | #Constraints: 59861
2384.85/2391.38 c #Conflicts: 831000 | #Constraints: 60861
2384.85/2391.38 c #Conflicts: 832000 | #Constraints: 61861
2384.85/2391.38 c #Conflicts: 833000 | #Constraints: 62861
2384.85/2391.38 c #Conflicts: 834000 | #Constraints: 63861
2384.85/2391.38 c #Conflicts: 835000 | #Constraints: 64861
2384.85/2391.38 c #Conflicts: 836000 | #Constraints: 65861
2384.85/2391.38 c #Conflicts: 837000 | #Constraints: 66861
2384.85/2391.38 c #Conflicts: 838000 | #Constraints: 67861
2384.85/2391.38 c #Conflicts: 839000 | #Constraints: 68861
2384.85/2391.38 c #Conflicts: 840000 | #Constraints: 69861
2384.85/2391.38 c #Conflicts: 841000 | #Constraints: 70861
2384.85/2391.38 c #Conflicts: 842000 | #Constraints: 71861
2384.85/2391.38 c #Conflicts: 843000 | #Constraints: 72861
2384.85/2391.38 c #Conflicts: 844000 | #Constraints: 73861
2384.85/2391.38 c #Conflicts: 845000 | #Constraints: 74861
2384.85/2391.38 c #Conflicts: 846000 | #Constraints: 75861
2384.85/2391.38 c #Conflicts: 847000 | #Constraints: 76861
2384.85/2391.38 c #Conflicts: 848000 | #Constraints: 77861
2384.85/2391.38 c #Conflicts: 849000 | #Constraints: 78861
2384.85/2391.38 c #Conflicts: 850000 | #Constraints: 79861
2384.85/2391.38 c #Conflicts: 851000 | #Constraints: 80861
2384.85/2391.38 c #Conflicts: 852000 | #Constraints: 81861
2384.85/2391.38 c #Conflicts: 853000 | #Constraints: 82861
2384.85/2391.38 c #Conflicts: 854000 | #Constraints: 83861
2384.85/2391.38 c #Conflicts: 855000 | #Constraints: 84861
2384.85/2391.38 c #Conflicts: 856000 | #Constraints: 85861
2384.85/2391.38 c #Conflicts: 857000 | #Constraints: 86861
2384.85/2391.38 c #Conflicts: 858000 | #Constraints: 87861
2384.85/2391.38 c #Conflicts: 859000 | #Constraints: 88861
2384.85/2391.38 c #Conflicts: 860000 | #Constraints: 89861
2384.85/2391.38 c #Conflicts: 861000 | #Constraints: 90861
2384.85/2391.38 c #Conflicts: 862000 | #Constraints: 91861
2384.85/2391.38 c #Conflicts: 863000 | #Constraints: 92861
2384.85/2391.38 c #Conflicts: 864000 | #Constraints: 93861
2384.85/2391.38 c #Conflicts: 865000 | #Constraints: 94861
2384.85/2391.38 c #Conflicts: 866000 | #Constraints: 95861
2384.85/2391.38 c #Conflicts: 867000 | #Constraints: 96861
2384.85/2391.38 c #Conflicts: 868000 | #Constraints: 97861
2384.85/2391.38 c #Conflicts: 869000 | #Constraints: 98861
2384.85/2391.38 c #Conflicts: 870000 | #Constraints: 99861
2384.85/2391.38 c #Conflicts: 871000 | #Constraints: 100861
2384.85/2391.38 c #Conflicts: 872000 | #Constraints: 101861
2384.85/2391.38 c #Conflicts: 873000 | #Constraints: 102861
2384.85/2391.38 c #Conflicts: 874000 | #Constraints: 103861
2384.85/2391.38 c #Conflicts: 875000 | #Constraints: 104861
2384.85/2391.38 c #Conflicts: 876000 | #Constraints: 105861
2384.85/2391.38 c #Conflicts: 877000 | #Constraints: 106861
2384.85/2391.38 c #Conflicts: 878000 | #Constraints: 107861
2384.85/2391.38 c #Conflicts: 879000 | #Constraints: 108861
2384.85/2391.38 c #Conflicts: 880000 | #Constraints: 109861
2384.85/2391.38 c #Conflicts: 881000 | #Constraints: 110861
2384.85/2391.38 c #Conflicts: 882000 | #Constraints: 111861
2384.85/2391.38 c #Conflicts: 883000 | #Constraints: 112861
2384.85/2391.38 c #Conflicts: 884000 | #Constraints: 113861
2384.85/2391.38 c #Conflicts: 885000 | #Constraints: 114861
2384.85/2391.38 c INPROCESSING
2384.85/2391.38 c GARBAGE COLLECT
2384.85/2391.38 c #Conflicts: 886000 | #Constraints: 67355
2384.85/2391.38 c #Conflicts: 887000 | #Constraints: 68355
2384.85/2391.38 c #Conflicts: 888000 | #Constraints: 69355
2384.85/2391.38 c #Conflicts: 889000 | #Constraints: 70355
2384.85/2391.38 c #Conflicts: 890000 | #Constraints: 71355
2384.85/2391.38 c #Conflicts: 891000 | #Constraints: 72355
2384.85/2391.38 c #Conflicts: 892000 | #Constraints: 73355
2384.85/2391.38 c #Conflicts: 893000 | #Constraints: 74355
2384.85/2391.38 c #Conflicts: 894000 | #Constraints: 75355
2384.85/2391.38 c #Conflicts: 895000 | #Constraints: 76355
2622.80/2629.90 c #Conflicts: 896000 | #Constraints: 77355
2622.80/2629.90 c #Conflicts: 897000 | #Constraints: 78355
2622.80/2629.90 c #Conflicts: 898000 | #Constraints: 79355
2622.80/2629.90 c #Conflicts: 899000 | #Constraints: 80355
2622.80/2629.90 c #Conflicts: 900000 | #Constraints: 81355
2622.80/2629.90 c #Conflicts: 901000 | #Constraints: 82355
2622.80/2629.90 c #Conflicts: 902000 | #Constraints: 83355
2622.80/2629.90 c #Conflicts: 903000 | #Constraints: 84355
2622.80/2629.90 c #Conflicts: 904000 | #Constraints: 85355
2622.80/2629.90 c #Conflicts: 905000 | #Constraints: 86355
2622.80/2629.90 c #Conflicts: 906000 | #Constraints: 87355
2622.80/2629.90 c #Conflicts: 907000 | #Constraints: 88355
2622.80/2629.90 c #Conflicts: 908000 | #Constraints: 89355
2622.80/2629.90 c #Conflicts: 909000 | #Constraints: 90355
2622.80/2629.90 c #Conflicts: 910000 | #Constraints: 91355
2622.80/2629.90 c INPROCESSING
2622.80/2629.90 c GARBAGE COLLECT
2622.80/2629.90 c #Conflicts: 911000 | #Constraints: 55295
2622.80/2629.90 c #Conflicts: 912000 | #Constraints: 56295
2622.80/2629.90 c #Conflicts: 913000 | #Constraints: 57295
2622.80/2629.90 c #Conflicts: 914000 | #Constraints: 58295
2622.80/2629.90 c #Conflicts: 915000 | #Constraints: 59295
2622.80/2629.90 c #Conflicts: 916000 | #Constraints: 60295
2622.80/2629.90 c #Conflicts: 917000 | #Constraints: 61295
2622.80/2629.90 c #Conflicts: 918000 | #Constraints: 62295
2622.80/2629.90 c #Conflicts: 919000 | #Constraints: 63295
2622.80/2629.90 c #Conflicts: 920000 | #Constraints: 64295
2622.80/2629.90 c #Conflicts: 921000 | #Constraints: 65295
2622.80/2629.90 c #Conflicts: 922000 | #Constraints: 66295
2622.80/2629.90 c #Conflicts: 923000 | #Constraints: 67295
2622.80/2629.90 c #Conflicts: 924000 | #Constraints: 68295
2622.80/2629.90 c #Conflicts: 925000 | #Constraints: 69295
2622.80/2629.90 c #Conflicts: 926000 | #Constraints: 70295
2622.80/2629.90 c #Conflicts: 927000 | #Constraints: 71295
2622.80/2629.90 c #Conflicts: 928000 | #Constraints: 72295
2622.80/2629.90 c #Conflicts: 929000 | #Constraints: 73295
2622.80/2629.90 c #Conflicts: 930000 | #Constraints: 74295
2622.80/2629.90 c #Conflicts: 931000 | #Constraints: 75295
2622.80/2629.90 c #Conflicts: 932000 | #Constraints: 76295
2622.80/2629.90 c #Conflicts: 933000 | #Constraints: 77295
2622.80/2629.90 c #Conflicts: 934000 | #Constraints: 78295
2622.80/2629.90 c #Conflicts: 935000 | #Constraints: 79295
2622.80/2629.90 c #Conflicts: 936000 | #Constraints: 80295
2622.80/2629.90 c #Conflicts: 937000 | #Constraints: 81295
2622.80/2629.90 c #Conflicts: 938000 | #Constraints: 82295
2622.80/2629.90 c #Conflicts: 939000 | #Constraints: 83295
2622.80/2629.90 c #Conflicts: 940000 | #Constraints: 84295
2622.80/2629.90 c #Conflicts: 941000 | #Constraints: 85295
2622.80/2629.90 c #Conflicts: 942000 | #Constraints: 86295
2622.80/2629.90 c #Conflicts: 943000 | #Constraints: 87295
2622.80/2629.90 c #Conflicts: 944000 | #Constraints: 88295
2622.80/2629.90 c #Conflicts: 945000 | #Constraints: 89295
2622.80/2629.90 c #Conflicts: 946000 | #Constraints: 90295
2622.80/2629.90 c #Conflicts: 947000 | #Constraints: 91295
2622.80/2629.90 c #Conflicts: 948000 | #Constraints: 92295
2622.80/2629.90 c #Conflicts: 949000 | #Constraints: 93295
2622.80/2629.90 c #Conflicts: 950000 | #Constraints: 94295
2622.80/2629.90 c #Conflicts: 951000 | #Constraints: 95295
2622.80/2629.90 c #Conflicts: 952000 | #Constraints: 96295
2622.80/2629.90 c #Conflicts: 953000 | #Constraints: 97295
2622.80/2629.90 c #Conflicts: 954000 | #Constraints: 98295
2622.80/2629.90 c #Conflicts: 955000 | #Constraints: 99295
2622.80/2629.90 c #Conflicts: 956000 | #Constraints: 100295
2622.80/2629.90 c #Conflicts: 957000 | #Constraints: 101295
2622.80/2629.90 c #Conflicts: 958000 | #Constraints: 102295
2622.80/2629.90 c #Conflicts: 959000 | #Constraints: 103295
2622.80/2629.90 c #Conflicts: 960000 | #Constraints: 104295
2622.80/2629.90 c #Conflicts: 961000 | #Constraints: 105295
2622.80/2629.90 c #Conflicts: 962000 | #Constraints: 106295
2622.80/2629.90 c #Conflicts: 963000 | #Constraints: 107295
2622.80/2629.90 c #Conflicts: 964000 | #Constraints: 108295
2622.80/2629.90 c #Conflicts: 965000 | #Constraints: 109295
2622.80/2629.90 c #Conflicts: 966000 | #Constraints: 110295
2622.80/2629.90 c #Conflicts: 967000 | #Constraints: 111295
2622.80/2629.90 c #Conflicts: 968000 | #Constraints: 112295
2622.80/2629.90 c #Conflicts: 969000 | #Constraints: 113295
2622.80/2629.90 c #Conflicts: 970000 | #Constraints: 114295
2622.80/2629.90 c #Conflicts: 971000 | #Constraints: 115295
2622.80/2629.90 c #Conflicts: 972000 | #Constraints: 116295
2622.80/2629.90 c #Conflicts: 973000 | #Constraints: 117295
2918.36/2926.39 c #Conflicts: 974000 | #Constraints: 118295
2918.36/2926.39 c #Conflicts: 975000 | #Constraints: 119295
2918.36/2926.39 c #Conflicts: 976000 | #Constraints: 120295
2918.36/2926.39 c INPROCESSING
2918.36/2926.39 c GARBAGE COLLECT
2918.36/2926.39 c #Conflicts: 977000 | #Constraints: 70011
2918.36/2926.39 c #Conflicts: 978000 | #Constraints: 71011
2918.36/2926.39 c #Conflicts: 979000 | #Constraints: 72011
2918.36/2926.39 c #Conflicts: 980000 | #Constraints: 73011
2918.36/2926.39 c #Conflicts: 981000 | #Constraints: 74011
2918.36/2926.39 c #Conflicts: 982000 | #Constraints: 75011
2918.36/2926.39 c #Conflicts: 983000 | #Constraints: 76011
2918.36/2926.39 c #Conflicts: 984000 | #Constraints: 77011
2918.36/2926.39 c #Conflicts: 985000 | #Constraints: 78011
2918.36/2926.39 c #Conflicts: 986000 | #Constraints: 79011
2918.36/2926.39 c #Conflicts: 987000 | #Constraints: 80011
2918.36/2926.39 c #Conflicts: 988000 | #Constraints: 81011
2918.36/2926.39 c #Conflicts: 989000 | #Constraints: 82011
2918.36/2926.39 c #Conflicts: 990000 | #Constraints: 83011
2918.36/2926.39 c #Conflicts: 991000 | #Constraints: 84011
2918.36/2926.39 c #Conflicts: 992000 | #Constraints: 85011
2918.36/2926.39 c #Conflicts: 993000 | #Constraints: 86011
2918.36/2926.39 c #Conflicts: 994000 | #Constraints: 87011
2918.36/2926.39 c #Conflicts: 995000 | #Constraints: 88011
2918.36/2926.39 c #Conflicts: 996000 | #Constraints: 89011
2918.36/2926.39 c #Conflicts: 997000 | #Constraints: 90011
2918.36/2926.39 c #Conflicts: 998000 | #Constraints: 91011
2918.36/2926.39 c #Conflicts: 999000 | #Constraints: 92011
2918.36/2926.39 c #Conflicts: 1000000 | #Constraints: 93011
2918.36/2926.39 c #Conflicts: 1001000 | #Constraints: 94011
2918.36/2926.39 c #Conflicts: 1002000 | #Constraints: 95011
2918.36/2926.39 c INPROCESSING
2918.36/2926.39 c GARBAGE COLLECT
2918.36/2926.39 c #Conflicts: 1003000 | #Constraints: 57288
2918.36/2926.39 c #Conflicts: 1004000 | #Constraints: 58288
2918.36/2926.39 c #Conflicts: 1005000 | #Constraints: 59288
2918.36/2926.39 c #Conflicts: 1006000 | #Constraints: 60288
2918.36/2926.39 c #Conflicts: 1007000 | #Constraints: 61288
2918.36/2926.39 c #Conflicts: 1008000 | #Constraints: 62288
2918.36/2926.39 c #Conflicts: 1009000 | #Constraints: 63288
2918.36/2926.39 c #Conflicts: 1010000 | #Constraints: 64288
2918.36/2926.39 c #Conflicts: 1011000 | #Constraints: 65288
2918.36/2926.39 c #Conflicts: 1012000 | #Constraints: 66288
2918.36/2926.39 c #Conflicts: 1013000 | #Constraints: 67288
2918.36/2926.39 c #Conflicts: 1014000 | #Constraints: 68288
2918.36/2926.39 c #Conflicts: 1015000 | #Constraints: 69288
2918.36/2926.39 c #Conflicts: 1016000 | #Constraints: 70288
2918.36/2926.39 c #Conflicts: 1017000 | #Constraints: 71288
2918.36/2926.39 c #Conflicts: 1018000 | #Constraints: 72288
2918.36/2926.39 c #Conflicts: 1019000 | #Constraints: 73288
2918.36/2926.39 c #Conflicts: 1020000 | #Constraints: 74288
2918.36/2926.39 c #Conflicts: 1021000 | #Constraints: 75288
2918.36/2926.39 c #Conflicts: 1022000 | #Constraints: 76288
2918.36/2926.39 c #Conflicts: 1023000 | #Constraints: 77288
2918.36/2926.39 c #Conflicts: 1024000 | #Constraints: 78288
2918.36/2926.39 c #Conflicts: 1025000 | #Constraints: 79288
2918.36/2926.39 c #Conflicts: 1026000 | #Constraints: 80288
2918.36/2926.39 c #Conflicts: 1027000 | #Constraints: 81288
2918.36/2926.39 c #Conflicts: 1028000 | #Constraints: 82288
2918.36/2926.39 c #Conflicts: 1029000 | #Constraints: 83288
2918.36/2926.39 c #Conflicts: 1030000 | #Constraints: 84288
2918.36/2926.39 c #Conflicts: 1031000 | #Constraints: 85288
2918.36/2926.39 c #Conflicts: 1032000 | #Constraints: 86288
2918.36/2926.39 c #Conflicts: 1033000 | #Constraints: 87288
2918.36/2926.39 c #Conflicts: 1034000 | #Constraints: 88288
2918.36/2926.39 c #Conflicts: 1035000 | #Constraints: 89288
2918.36/2926.39 c #Conflicts: 1036000 | #Constraints: 90288
2918.36/2926.39 c #Conflicts: 1037000 | #Constraints: 91288
2918.36/2926.39 c #Conflicts: 1038000 | #Constraints: 92288
2918.36/2926.39 c #Conflicts: 1039000 | #Constraints: 93288
2918.36/2926.39 c #Conflicts: 1040000 | #Constraints: 94288
2918.36/2926.39 c #Conflicts: 1041000 | #Constraints: 95288
2918.36/2926.39 c #Conflicts: 1042000 | #Constraints: 96288
2918.36/2926.39 c #Conflicts: 1043000 | #Constraints: 97288
2918.36/2926.39 c #Conflicts: 1044000 | #Constraints: 98288
2918.36/2926.39 c #Conflicts: 1045000 | #Constraints: 99288
2918.36/2926.39 c #Conflicts: 1046000 | #Constraints: 100288
2918.36/2926.39 c #Conflicts: 1047000 | #Constraints: 101288
2918.36/2926.39 c #Conflicts: 1048000 | #Constraints: 102289
2918.36/2926.39 c #Conflicts: 1049000 | #Constraints: 103289
2918.36/2926.39 c #Conflicts: 1050000 | #Constraints: 104289
3185.97/3194.78 c #Conflicts: 1051000 | #Constraints: 105289
3185.97/3194.78 c #Conflicts: 1052000 | #Constraints: 106289
3185.97/3194.78 c #Conflicts: 1053000 | #Constraints: 107289
3185.97/3194.78 c #Conflicts: 1054000 | #Constraints: 108289
3185.97/3194.78 c #Conflicts: 1055000 | #Constraints: 109289
3185.97/3194.78 c #Conflicts: 1056000 | #Constraints: 110289
3185.97/3194.78 c #Conflicts: 1057000 | #Constraints: 111289
3185.97/3194.78 c #Conflicts: 1058000 | #Constraints: 112289
3185.97/3194.78 c #Conflicts: 1059000 | #Constraints: 113289
3185.97/3194.78 c #Conflicts: 1060000 | #Constraints: 114289
3185.97/3194.78 c #Conflicts: 1061000 | #Constraints: 115289
3185.97/3194.78 c #Conflicts: 1062000 | #Constraints: 116289
3185.97/3194.78 c #Conflicts: 1063000 | #Constraints: 117289
3185.97/3194.78 c #Conflicts: 1064000 | #Constraints: 118289
3185.97/3194.78 c #Conflicts: 1065000 | #Constraints: 119289
3185.97/3194.78 c #Conflicts: 1066000 | #Constraints: 120289
3185.97/3194.78 c #Conflicts: 1067000 | #Constraints: 121289
3185.97/3194.78 c #Conflicts: 1068000 | #Constraints: 122289
3185.97/3194.78 c #Conflicts: 1069000 | #Constraints: 123289
3185.97/3194.78 c #Conflicts: 1070000 | #Constraints: 124289
3185.97/3194.78 c #Conflicts: 1071000 | #Constraints: 125289
3185.97/3194.78 c INPROCESSING
3185.97/3194.78 c GARBAGE COLLECT
3185.97/3194.78 c #Conflicts: 1072000 | #Constraints: 72613
3185.97/3194.78 c #Conflicts: 1073000 | #Constraints: 73613
3185.97/3194.78 c #Conflicts: 1074000 | #Constraints: 74613
3185.97/3194.78 c #Conflicts: 1075000 | #Constraints: 75613
3185.97/3194.78 c #Conflicts: 1076000 | #Constraints: 76613
3185.97/3194.78 c #Conflicts: 1077000 | #Constraints: 77613
3185.97/3194.78 c #Conflicts: 1078000 | #Constraints: 78613
3185.97/3194.78 c #Conflicts: 1079000 | #Constraints: 79613
3185.97/3194.78 c #Conflicts: 1080000 | #Constraints: 80613
3185.97/3194.78 c #Conflicts: 1081000 | #Constraints: 81613
3185.97/3194.78 c #Conflicts: 1082000 | #Constraints: 82613
3185.97/3194.78 c #Conflicts: 1083000 | #Constraints: 83613
3185.97/3194.78 c #Conflicts: 1084000 | #Constraints: 84613
3185.97/3194.78 c #Conflicts: 1085000 | #Constraints: 85613
3185.97/3194.78 c #Conflicts: 1086000 | #Constraints: 86613
3185.97/3194.78 c #Conflicts: 1087000 | #Constraints: 87613
3185.97/3194.78 c #Conflicts: 1088000 | #Constraints: 88613
3185.97/3194.78 c #Conflicts: 1089000 | #Constraints: 89613
3185.97/3194.78 c #Conflicts: 1090000 | #Constraints: 90613
3185.97/3194.78 c #Conflicts: 1091000 | #Constraints: 91613
3185.97/3194.78 c #Conflicts: 1092000 | #Constraints: 92613
3185.97/3194.78 c #Conflicts: 1093000 | #Constraints: 93613
3185.97/3194.78 c #Conflicts: 1094000 | #Constraints: 94613
3185.97/3194.78 c #Conflicts: 1095000 | #Constraints: 95613
3185.97/3194.78 c #Conflicts: 1096000 | #Constraints: 96613
3185.97/3194.78 c #Conflicts: 1097000 | #Constraints: 97613
3185.97/3194.78 c #Conflicts: 1098000 | #Constraints: 98613
3185.97/3194.78 c #Conflicts: 1099000 | #Constraints: 99613
3185.97/3194.78 c INPROCESSING
3185.97/3194.78 c GARBAGE COLLECT
3185.97/3194.78 c #Conflicts: 1100000 | #Constraints: 60008
3185.97/3194.78 c #Conflicts: 1101000 | #Constraints: 61008
3185.97/3194.78 c #Conflicts: 1102000 | #Constraints: 62008
3185.97/3194.78 c #Conflicts: 1103000 | #Constraints: 63008
3185.97/3194.78 c #Conflicts: 1104000 | #Constraints: 64008
3185.97/3194.78 c #Conflicts: 1105000 | #Constraints: 65008
3185.97/3194.78 c #Conflicts: 1106000 | #Constraints: 66008
3185.97/3194.78 c #Conflicts: 1107000 | #Constraints: 67008
3185.97/3194.78 c #Conflicts: 1108000 | #Constraints: 68008
3185.97/3194.78 c #Conflicts: 1109000 | #Constraints: 69008
3185.97/3194.78 c #Conflicts: 1110000 | #Constraints: 70008
3185.97/3194.78 c #Conflicts: 1111000 | #Constraints: 71008
3185.97/3194.78 c #Conflicts: 1112000 | #Constraints: 72008
3185.97/3194.78 c #Conflicts: 1113000 | #Constraints: 73008
3185.97/3194.78 c #Conflicts: 1114000 | #Constraints: 74008
3185.97/3194.78 c #Conflicts: 1115000 | #Constraints: 75008
3185.97/3194.78 c #Conflicts: 1116000 | #Constraints: 76008
3185.97/3194.78 c #Conflicts: 1117000 | #Constraints: 77008
3185.97/3194.78 c #Conflicts: 1118000 | #Constraints: 78008
3185.97/3194.78 c #Conflicts: 1119000 | #Constraints: 79008
3185.97/3194.78 c #Conflicts: 1120000 | #Constraints: 80008
3185.97/3194.78 c #Conflicts: 1121000 | #Constraints: 81008
3185.97/3194.78 c #Conflicts: 1122000 | #Constraints: 82008
3185.97/3194.78 c #Conflicts: 1123000 | #Constraints: 83008
3185.97/3194.78 c #Conflicts: 1124000 | #Constraints: 84008
3185.97/3194.78 c #Conflicts: 1125000 | #Constraints: 85008
3185.97/3194.78 c #Conflicts: 1126000 | #Constraints: 86008
3185.97/3194.78 c #Conflicts: 1127000 | #Constraints: 87008
3185.97/3194.78 c #Conflicts: 1128000 | #Constraints: 88008
3409.13/3418.50 c #Conflicts: 1129000 | #Constraints: 89008
3409.13/3418.50 c #Conflicts: 1130000 | #Constraints: 90008
3409.13/3418.50 c #Conflicts: 1131000 | #Constraints: 91008
3409.13/3418.50 c #Conflicts: 1132000 | #Constraints: 92008
3409.13/3418.50 c #Conflicts: 1133000 | #Constraints: 93008
3409.13/3418.50 c #Conflicts: 1134000 | #Constraints: 94008
3409.13/3418.50 c #Conflicts: 1135000 | #Constraints: 95008
3409.13/3418.50 c #Conflicts: 1136000 | #Constraints: 96008
3409.13/3418.50 c #Conflicts: 1137000 | #Constraints: 97008
3409.13/3418.50 c #Conflicts: 1138000 | #Constraints: 98008
3409.13/3418.50 c #Conflicts: 1139000 | #Constraints: 99008
3409.13/3418.50 c #Conflicts: 1140000 | #Constraints: 100008
3409.13/3418.50 c #Conflicts: 1141000 | #Constraints: 101008
3409.13/3418.50 c #Conflicts: 1142000 | #Constraints: 102008
3409.13/3418.50 c #Conflicts: 1143000 | #Constraints: 103008
3409.13/3418.50 c #Conflicts: 1144000 | #Constraints: 104008
3409.13/3418.50 c #Conflicts: 1145000 | #Constraints: 105008
3409.13/3418.50 c #Conflicts: 1146000 | #Constraints: 106008
3409.13/3418.50 c #Conflicts: 1147000 | #Constraints: 107008
3409.13/3418.50 c #Conflicts: 1148000 | #Constraints: 108008
3409.13/3418.50 c #Conflicts: 1149000 | #Constraints: 109008
3409.13/3418.50 c #Conflicts: 1150000 | #Constraints: 110008
3409.13/3418.50 c #Conflicts: 1151000 | #Constraints: 111008
3409.13/3418.50 c #Conflicts: 1152000 | #Constraints: 112008
3409.13/3418.50 c #Conflicts: 1153000 | #Constraints: 113008
3409.13/3418.50 c #Conflicts: 1154000 | #Constraints: 114008
3409.13/3418.50 c #Conflicts: 1155000 | #Constraints: 115008
3409.13/3418.50 c #Conflicts: 1156000 | #Constraints: 116008
3409.13/3418.50 c #Conflicts: 1157000 | #Constraints: 117008
3409.13/3418.50 c #Conflicts: 1158000 | #Constraints: 118008
3409.13/3418.50 c #Conflicts: 1159000 | #Constraints: 119008
3409.13/3418.50 c #Conflicts: 1160000 | #Constraints: 120008
3409.13/3418.50 c #Conflicts: 1161000 | #Constraints: 121008
3409.13/3418.50 c #Conflicts: 1162000 | #Constraints: 122008
3409.13/3418.50 c #Conflicts: 1163000 | #Constraints: 123008
3409.13/3418.50 c #Conflicts: 1164000 | #Constraints: 124008
3409.13/3418.50 c #Conflicts: 1165000 | #Constraints: 125008
3409.13/3418.50 c #Conflicts: 1166000 | #Constraints: 126008
3409.13/3418.50 c #Conflicts: 1167000 | #Constraints: 127008
3409.13/3418.50 c #Conflicts: 1168000 | #Constraints: 128008
3409.13/3418.50 c #Conflicts: 1169000 | #Constraints: 129008
3409.13/3418.50 c #Conflicts: 1170000 | #Constraints: 130008
3409.13/3418.50 c #Conflicts: 1171000 | #Constraints: 131008
3409.13/3418.50 c INPROCESSING
3409.13/3418.50 c GARBAGE COLLECT
3409.13/3418.50 c rational objective 138
3600.08/3609.90 c #Conflicts: 1172000 | #Constraints: 75646
3600.08/3609.90 c #Conflicts: 1173000 | #Constraints: 76646
3600.08/3609.90 c #Conflicts: 1174000 | #Constraints: 77646
3600.08/3609.90 c #Conflicts: 1175000 | #Constraints: 78646
3600.08/3609.90 c #Conflicts: 1176000 | #Constraints: 79646
3600.08/3609.90 c #Conflicts: 1177000 | #Constraints: 80646
3600.08/3609.90 c #Conflicts: 1178000 | #Constraints: 81646
3600.08/3609.90 c #Conflicts: 1179000 | #Constraints: 82646
3600.08/3609.90 c #Conflicts: 1180000 | #Constraints: 83646
3600.08/3609.90 c #Conflicts: 1181000 | #Constraints: 84646
3600.08/3609.90 c #Conflicts: 1182000 | #Constraints: 85646
3600.08/3609.90 c #Conflicts: 1183000 | #Constraints: 86646
3600.08/3609.90 c #Conflicts: 1184000 | #Constraints: 87646
3600.08/3609.90 c #Conflicts: 1185000 | #Constraints: 88646
3600.08/3609.90 c #Conflicts: 1186000 | #Constraints: 89646
3600.08/3609.90 c #Conflicts: 1187000 | #Constraints: 90646
3600.08/3609.90 c #Conflicts: 1188000 | #Constraints: 91646
3600.08/3609.90 c #Conflicts: 1189000 | #Constraints: 92646
3600.08/3609.90 c #Conflicts: 1190000 | #Constraints: 93646
3600.08/3609.90 c #Conflicts: 1191000 | #Constraints: 94646
3600.08/3609.90 c #Conflicts: 1192000 | #Constraints: 95646
3600.08/3609.90 c #Conflicts: 1193000 | #Constraints: 96646
3600.08/3609.90 c #Conflicts: 1194000 | #Constraints: 97646
3600.08/3609.90 c #Conflicts: 1195000 | #Constraints: 98646
3600.08/3609.90 c #Conflicts: 1196000 | #Constraints: 99646
3600.08/3609.90 c #Conflicts: 1197000 | #Constraints: 100646
3600.08/3609.90 c #Conflicts: 1198000 | #Constraints: 101646
3600.08/3609.90 c #Conflicts: 1199000 | #Constraints: 102646
3600.08/3609.90 c #Conflicts: 1200000 | #Constraints: 103646
3600.08/3609.90 c INPROCESSING
3600.08/3609.90 c GARBAGE COLLECT
3600.08/3609.90 c #Conflicts: 1201000 | #Constraints: 62218
3600.08/3609.90 c #Conflicts: 1202000 | #Constraints: 63218
3600.08/3609.90 c #Conflicts: 1203000 | #Constraints: 64218
3600.08/3609.90 c #Conflicts: 1204000 | #Constraints: 65218
3600.08/3609.90 c #Conflicts: 1205000 | #Constraints: 66218
3600.08/3609.90 c #Conflicts: 1206000 | #Constraints: 67218
3600.08/3609.90 c #Conflicts: 1207000 | #Constraints: 68218
3600.08/3609.90 c #Conflicts: 1208000 | #Constraints: 69218
3600.08/3609.90 c #Conflicts: 1209000 | #Constraints: 70218
3600.08/3609.90 c #Conflicts: 1210000 | #Constraints: 71218
3600.08/3609.90 c #Conflicts: 1211000 | #Constraints: 72218
3600.08/3609.90 c #Conflicts: 1212000 | #Constraints: 73218
3600.08/3609.90 c #Conflicts: 1213000 | #Constraints: 74218
3600.08/3609.90 c #Conflicts: 1214000 | #Constraints: 75218
3600.08/3609.90 c #Conflicts: 1215000 | #Constraints: 76218
3600.08/3609.90 c #Conflicts: 1216000 | #Constraints: 77218
3600.08/3609.90 c #Conflicts: 1217000 | #Constraints: 78218
3600.08/3609.90 c #Conflicts: 1218000 | #Constraints: 79218
3600.08/3609.90 c #Conflicts: 1219000 | #Constraints: 80218
3600.08/3609.90 c #Conflicts: 1220000 | #Constraints: 81218
3600.08/3609.90 c #Conflicts: 1221000 | #Constraints: 82218
3600.08/3609.90 c #Conflicts: 1222000 | #Constraints: 83218
3600.08/3609.90 c #Conflicts: 1223000 | #Constraints: 84218
3600.08/3609.90 c #Conflicts: 1224000 | #Constraints: 85218
3600.08/3609.90 c #Conflicts: 1225000 | #Constraints: 86218
3600.08/3609.90 c #Conflicts: 1226000 | #Constraints: 87218
3600.08/3609.90 c #Conflicts: 1227000 | #Constraints: 88218
3600.08/3609.90 c #Conflicts: 1228000 | #Constraints: 89218
3600.08/3609.90 c #Conflicts: 1229000 | #Constraints: 90218
3600.08/3609.90 c #Conflicts: 1230000 | #Constraints: 91218
3600.08/3609.90 c #Conflicts: 1231000 | #Constraints: 92218
3600.08/3609.90 c #Conflicts: 1232000 | #Constraints: 93218
3600.08/3609.90 c #Conflicts: 1233000 | #Constraints: 94218
3600.08/3609.90 c #Conflicts: 1234000 | #Constraints: 95218
3600.08/3609.90 c #Conflicts: 1235000 | #Constraints: 96218
3600.08/3609.90 c #Conflicts: 1236000 | #Constraints: 97218
3600.08/3609.90 c #Conflicts: 1237000 | #Constraints: 98218
3600.08/3609.90 c cpu time 3572.92 s
3600.08/3609.90 c deterministic time 203740043957 2.04e+11
3600.08/3609.90 c optimization time 105.414 s
3600.08/3609.90 c total solve time 3467.25 s
3600.08/3609.90 c core-guided solve time 0 s
3600.08/3609.90 c propagation time 1710.41 s
3600.08/3609.90 c conflict analysis time 1530.25 s
3600.08/3609.90 c propagations 1236741139
3600.08/3609.90 c resolve steps 92640491
3600.08/3609.90 c decisions 18658598
3600.08/3609.90 c conflicts 1237262
3600.08/3609.90 c restarts 2331
3600.08/3609.90 c inprocessing phases 50
3600.08/3609.90 c garbage collections 50 ,( 100.00 )
3600.08/3609.90 c input clauses 16562 ,( 99.17 )
3600.08/3609.90 c input cardinalities 138 ,( 0.83 )
3600.08/3609.90 c input general constraints 0 ,( 0.00 )
3600.08/3609.90 c input average constraint length 6.43
3600.08/3609.90 c input average constraint degree 1.97
3600.08/3609.90 c learned clauses 927026 ,( 74.92 )
3600.08/3609.90 c learned cardinalities 34343 ,( 2.78 )
3600.08/3609.90 c learned general constraints 275905 ,( 22.30 )
3600.08/3609.90 c learned average constraint length 770.25
3600.08/3609.90 c learned average constraint degree 35342336.59
3600.08/3609.90 c watched CF 32, 64, 128, Arb: 76571 , 0 , 0 , 0
3600.08/3609.90 c counting CF 32, 64, 128, Arb: 199334 , 0 , 0 , 0
3600.08/3609.90 c watched constraints 76571 ,( 27.75 )
3600.08/3609.90 c counting constraints 199334 ,( 72.25 )
3600.08/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1241991331 , 487515355 , 2014322940 ,( 82525379 , 1931797561 )
3600.08/3609.90 c gcd simplifications 749
3600.08/3609.90 c detected cardinalities 3927
3600.08/3609.90 c weakened non-implied lits 371966262
3600.08/3609.90 c weakened non-implying lits 211216
3600.08/3609.90 c original variables 16422
3600.08/3609.90 c clausal propagations 563020486
3600.08/3609.90 c cardinality propagations 437161060
3600.08/3609.90 c watched propagations 4197664
3600.08/3609.90 c counting propagations 222546241
3600.08/3609.90 c watch lookups 84400809098
3600.08/3609.90 c watch backjump lookups 0
3600.08/3609.90 c watch checks 30650532885
3600.08/3609.90 c propagation checks 81641678828
3600.08/3609.90 c constraint additions 4534723675
3600.08/3609.90 c trail pops 1256624204
3600.08/3609.90 c formula constraints 16700
3600.08/3609.90 c learned constraints 1237256
3600.08/3609.90 c bound constraints 0
3600.08/3609.90 c core-guided constraints 0
3600.08/3609.90 c encountered formula constraints 63221571
3600.08/3609.90 c encountered learned constraints 30655238
3600.08/3609.90 c encountered bound constraints 0
3600.08/3609.90 c encountered core-guided constraints 0
3600.08/3609.90 c LP total time 400.186 s
3600.08/3609.90 c LP solve time 363.59 s
3600.08/3609.90 c LP constraints added 17640
3600.08/3609.90 c LP constraints removed 679
3600.08/3609.90 c LP pivots internal 133244
3600.08/3609.90 c LP pivots root 142285
3600.08/3609.90 c LP calls 20
3600.08/3609.90 c LP optimalities 8
3600.08/3609.90 c LP no pivot count 1
3600.08/3609.90 c LP infeasibilities 6
3600.08/3609.90 c LP valid Farkas constraints 6
3600.08/3609.90 c LP learned Farkas constraints 6
3600.08/3609.90 c LP basis resets 0
3600.08/3609.90 c LP cycling count 0
3600.08/3609.90 c LP singular count 0
3600.08/3609.90 c LP no primal count 0
3600.08/3609.90 c LP no farkas count 0
3600.08/3609.90 c LP other issue count 0
3600.08/3609.90 c LP Gomory cuts 6
3600.08/3609.90 c LP learned cuts 1190
3600.08/3609.90 c LP deleted cuts 878
3600.08/3609.90 c LP encountered Gomory constraints 0
3600.08/3609.90 c LP encountered Farkas constraints 934
3600.08/3609.90 c LP encountered learned Farkas constraints 4
3600.08/3609.90 c CG auxiliary variables introduced 0
3600.08/3609.90 c CG solutions found 0
3600.08/3609.90 c CG cores constructed 0
3600.08/3609.90 c CG core cardinality constraints returned 0
3600.08/3609.90 c CG unit cores 0
3600.08/3609.90 c CG single cores 0
3600.08/3609.90 c CG blocks removed during cardinality reduction 0
3600.08/3609.90 c CG first core best 0
3600.08/3609.90 c CG decision core best 0
3600.08/3609.90 c CG core reduction tie 0
3600.08/3609.90 c CG core degree average 0.00
3600.08/3609.90 c CG core slack average 0.00
3600.08/3609.90 c CG core upper bound improvements 0
3600.08/3609.90 c STR number of successful calls 0
3600.08/3609.90 c STR number of unsuccessful calls 0
3600.08/3609.90 c STR number of inconclusive calls 0
3600.08/3609.90 c STR number of successful attempts 0
3600.08/3609.90 c STR number of unsuccessful attempts 0
3600.08/3609.90 c STR number of inconclusive attempts 0
3600.08/3609.90 c STR average degree increase per successful call inf
3600.08/3609.90 c STR average degree increase per successful attempt inf
3600.08/3609.90 c STR total number of conflicts for successful attempts 0
3600.08/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.90 c STR average number of conflicts per successful attempt inf
3600.08/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.90 c AVG.sumWPerc 64.59
3600.08/3609.90 c bigint constraints 0
3600.08/3609.90 s UNKNOWN
3600.08/3609.90 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61389 MiB free)
memory of node 1: 64465 MiB (59602 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506797-1751174527/watcher-4506797-1751174527 -o /tmp/evaluation-result-4506797-1751174527/solver-4506797-1751174527 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17821 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506797-1751174527.opb PROOFDIR/proof-4506797-1751174527
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18356, runsolver pid=18353
[startup+0.100073 s]*
/proc/loadavg: 4.06 4.10 4.07 5/257 18358
/proc/meminfo: memFree=123883752/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=59664 memory=13056 CPUtime=0.07 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 1514 0 0 0 5 2 0 0 20 0 1 0 33131423 61095936 3264 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 14916 3264 1952 1147 0 2343 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 63856 KiB
Current children cumulated memory: 15872 KiB
[startup+0.216527 s]*
/proc/loadavg: 4.06 4.10 4.07 5/257 18358
/proc/meminfo: memFree=123883752/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=61328 memory=14976 CPUtime=0.18 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 2054 0 0 0 14 4 0 0 20 0 1 0 33131423 62799872 3744 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 15332 3744 1952 1147 0 2759 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65520 KiB
Current children cumulated memory: 17792 KiB
[startup+0.314372 s]*
/proc/loadavg: 4.06 4.10 4.07 5/257 18358
/proc/meminfo: memFree=123871844/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=75148 memory=29396 CPUtime=0.28 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 5647 0 0 0 22 6 0 0 20 0 1 0 33131423 76951552 7349 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 18787 7349 2240 1147 0 6214 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 79340 KiB
Current children cumulated memory: 32212 KiB
[startup+0.70042 s]
/proc/loadavg: 4.06 4.10 4.07 5/257 18358
/proc/meminfo: memFree=123849980/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=101920 memory=46460 CPUtime=0.65 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 9662 0 0 0 58 7 0 0 20 0 1 0 33131423 104366080 11615 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 25480 11615 2240 1147 0 12907 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 106112 KiB
Current children cumulated memory: 49276 KiB
[startup+1.50042 s]
/proc/loadavg: 4.06 4.10 4.07 5/257 18358
/proc/meminfo: memFree=123843948/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=104188 memory=49532 CPUtime=1.45 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 10411 0 0 0 137 8 0 0 20 0 1 0 33131423 106688512 12383 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 26047 12383 2272 1147 0 13474 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 108380 KiB
Current children cumulated memory: 52348 KiB
[startup+3.11421 s]
/proc/loadavg: 4.06 4.10 4.07 5/257 18358
/proc/meminfo: memFree=123836892/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=105824 memory=55656 CPUtime=3.06 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 11379 0 0 0 291 15 0 0 20 0 1 0 33131423 108363776 13914 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 26456 13914 2336 1147 0 13883 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 110016 KiB
Current children cumulated memory: 58472 KiB
[startup+6.30041 s]
/proc/loadavg: 4.06 4.10 4.07 5/257 18358
/proc/meminfo: memFree=123812700/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=116116 memory=64360 CPUtime=6.24 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 13556 0 0 0 595 29 0 0 20 0 1 0 33131423 118902784 16090 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 29029 16090 2336 1147 0 16456 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 120308 KiB
Current children cumulated memory: 67176 KiB
[startup+12.7004 s]
/proc/loadavg: 4.05 4.10 4.07 5/259 18360
/proc/meminfo: memFree=123777016/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=124592 memory=73704 CPUtime=12.61 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 15918 0 0 0 1217 44 0 0 20 0 1 0 33131423 127582208 18426 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 31148 18426 2336 1147 0 18575 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 128784 KiB
Current children cumulated memory: 76520 KiB
[startup+25.5004 s]
/proc/loadavg: 4.04 4.09 4.07 5/259 18360
/proc/meminfo: memFree=123744520/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=139368 memory=87544 CPUtime=25.38 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 18872 0 0 0 2469 69 0 0 20 0 1 0 33131423 142712832 21886 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 34842 21886 2336 1147 0 22269 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 143560 KiB
Current children cumulated memory: 90360 KiB
[startup+51.1145 s]
/proc/loadavg: 4.16 4.12 4.08 5/259 18360
/proc/meminfo: memFree=123501568/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=171008 memory=120108 CPUtime=50.92 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 22946 0 0 0 4967 125 0 0 20 0 1 0 33131423 175112192 30027 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 42752 30027 2336 1147 0 30179 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 175200 KiB
Current children cumulated memory: 122924 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/257 18408
/proc/meminfo: memFree=125755176/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=211104 memory=148892 CPUtime=101.96 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 28670 0 0 0 9991 205 0 0 20 0 1 0 33131423 216170496 37223 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 52776 37223 2336 1147 0 40203 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 215296 KiB
Current children cumulated memory: 151708 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/259 18413
/proc/meminfo: memFree=125438168/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=229700 memory=168152 CPUtime=161.79 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 32991 0 0 0 15902 277 0 0 20 0 1 0 33131423 235212800 42038 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 57425 42038 2336 1147 0 44852 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 233892 KiB
Current children cumulated memory: 170968 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.08 5/260 18418
/proc/meminfo: memFree=125138040/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=269608 memory=206988 CPUtime=221.63 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 36486 0 0 0 21833 330 0 0 20 0 1 0 33131423 276078592 51747 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 67402 51747 2432 1147 0 54829 0
################
# More data... #
################
/proc/18358/statm: 276843 229222 2432 1147 0 264270 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 1111564 KiB
Current children cumulated memory: 919704 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 18665
/proc/meminfo: memFree=106839916/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=1107372 memory=917016 CPUtime=3153.67 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 122321 0 0 0 312911 2456 0 0 20 0 1 0 33131423 1133948928 229254 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 276843 229254 2432 1147 0 264270 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 1111564 KiB
Current children cumulated memory: 919832 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 18667
/proc/meminfo: memFree=106485420/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=1107372 memory=917016 CPUtime=3213.49 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 122321 0 0 0 318851 2498 0 0 20 0 1 0 33131423 1133948928 229254 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 276843 229254 2432 1147 0 264270 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 1111564 KiB
Current children cumulated memory: 919832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/258 18671
/proc/meminfo: memFree=106055720/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=1107372 memory=917656 CPUtime=3273.31 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 122478 0 0 0 324796 2535 0 0 20 0 1 0 33131423 1133948928 229414 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 276843 229414 2432 1147 0 264270 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 1111564 KiB
Current children cumulated memory: 920472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 18673
/proc/meminfo: memFree=105621948/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=1107372 memory=921496 CPUtime=3333.13 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 122962 0 0 0 330748 2565 0 0 20 0 1 0 33131423 1133948928 230374 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 276843 230374 2432 1147 0 264270 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 1111564 KiB
Current children cumulated memory: 924312 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 18675
/proc/meminfo: memFree=105288992/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=1119456 memory=936472 CPUtime=3392.96 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 125047 0 0 0 336709 2587 0 0 20 0 1 0 33131423 1146322944 234118 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 279864 234118 2432 1147 0 267291 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 1123648 KiB
Current children cumulated memory: 939288 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/260 18684
/proc/meminfo: memFree=104812540/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=1135116 memory=952344 CPUtime=3452.83 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 129013 0 0 0 342650 2633 0 0 20 0 1 0 33131423 1162358784 238086 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 283779 238086 2432 1147 0 271206 0
Current children cumulated CPU time: 3452.83 s
Current children cumulated vsize: 1139308 KiB
Current children cumulated memory: 955160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/260 18686
/proc/meminfo: memFree=104248888/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=1136592 memory=953880 CPUtime=3512.68 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 129371 0 0 0 348594 2674 0 0 20 0 1 0 33131423 1163870208 238470 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 284148 238470 2432 1147 0 271575 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 1140784 KiB
Current children cumulated memory: 956696 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/260 18688
/proc/meminfo: memFree=103865992/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=1136592 memory=953880 CPUtime=3572.54 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 129455 0 0 0 354555 2699 0 0 20 0 1 0 33131423 1163870208 238470 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 284148 238470 2432 1147 0 271575 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 1140784 KiB
Current children cumulated memory: 956696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.13 4.09 4.09 5/260 18688
/proc/meminfo: memFree=103701100/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=1136592 memory=953880 CPUtime=3600.08 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 129474 0 0 0 357292 2716 0 0 20 0 1 0 33131423 1163870208 238470 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 284148 238470 2432 1147 0 271575 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1140784 KiB
Current children cumulated memory: 956696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 18356 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001317 s, system=0.003952 s
[startup+3609.93 s]
# the end of solver process 18358 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3572.94 s, system=27.1745 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+3609.9 s]
/proc/loadavg: 4.13 4.09 4.09 5/260 18688
/proc/meminfo: memFree=103701100/131382120 swapFree=33010684/33010684
[pid=18356] ppid=18353 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/18356/stat : 18356 (run-dec-log.sh) S 18353 18356 17810 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33131422 4292608 704 18446744073709551615 94001792987136 94001793881669 140724913063056 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94001794120720 94001794168464 94001806168064 140724913068321 140724913068516 140724913068516 140724913074118 0
/proc/18356/statm: 1048 704 672 219 0 110 0
[pid=18358] ppid=18356 vsize=1136592 memory=953880 CPUtime=3600.08 cores=4,6
/proc/18358/stat : 18358 (roundingsat) R 18356 18356 17810 0 -1 4194304 129474 0 0 0 357292 2716 0 0 20 0 1 0 33131423 1163870208 238470 18446744073709551615 4227072 8923433 140732292332944 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22163456 140732292335975 140732292336168 140732292336168 140732292341738 0
/proc/18358/statm: 284148 238470 2432 1147 0 271575 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1140784 KiB
Current children cumulated memory: 956696 KiB
Child status: 2
Real time (s): 3609.93
CPU time (s): 3600.11
CPU user time (s): 3572.94
CPU system time (s): 27.1745
CPU usage (%): 99.7279
Max. virtual memory (cumulated for all children) (KiB): 1140784
Max. memory (cumulated for all children) (KiB): 956696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.94
system time used= 27.1745
maximum resident set size= 954136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129700
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12391296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 893
involuntary context switches= 5566
# summary of solver processes directly reported to runsolver:
# pid: 18356,18358
# total CPU time (s): 3600.11
# total CPU user time (s): 3572.94
# total CPU system time (s): 27.1745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2423 second user time and 38.7422 second system time
The end
Begin job on nodeC003 at 2025-06-29 07:22:07
IDJOB=4506797
IDBENCH=158265
IDSOLVER=3352
FILE ID=nodeC003/4506797-1751174527
RUNJOBID= nodeC003-1751170906-17821
SLURM_JOB_ID= 9587531
Free space on /tmp= 432884 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506797-1751174527/watcher-4506797-1751174527 -o /tmp/evaluation-result-4506797-1751174527/solver-4506797-1751174527 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751170906-17821 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4506797-1751174527.opb PROOFDIR/proof-4506797-1751174527
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=1492565113
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3642.200
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.706
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.624
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.090
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1297.188
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.697
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.160
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.339
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 123895580 kB
MemAvailable: 126329096 kB
Buffers: 3280 kB
Cached: 3241956 kB
SwapCached: 0 kB
Active: 3942308 kB
Inactive: 3028740 kB
Active(anon): 3743776 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 3028740 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15876 kB
Writeback: 0 kB
AnonPages: 3725428 kB
Mapped: 114140 kB
Shmem: 17960 kB
KReclaimable: 91744 kB
Slab: 172068 kB
SReclaimable: 91744 kB
SUnreclaim: 80324 kB
KernelStack: 4128 kB
PageTables: 10500 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 4560116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3375104 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC003 at 2025-06-29 08:22:18