0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.03/0.88 c #variables 16422 #constraints 16700
111.91/113.10 c #Conflicts: 1000 | #Constraints: 17699
111.91/113.10 c #Conflicts: 2000 | #Constraints: 18699
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 3000 | #Constraints: 18026
111.91/113.10 c #Conflicts: 4000 | #Constraints: 19026
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 5000 | #Constraints: 18538
111.91/113.10 c #Conflicts: 6000 | #Constraints: 19538
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 7000 | #Constraints: 18416
111.91/113.10 c #Conflicts: 8000 | #Constraints: 19416
111.91/113.10 c #Conflicts: 9000 | #Constraints: 20416
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 10000 | #Constraints: 19170
111.91/113.10 c #Conflicts: 11000 | #Constraints: 20170
111.91/113.10 c #Conflicts: 12000 | #Constraints: 21170
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 13000 | #Constraints: 19664
111.91/113.10 c #Conflicts: 14000 | #Constraints: 20664
111.91/113.10 c #Conflicts: 15000 | #Constraints: 21664
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 16000 | #Constraints: 19955
111.91/113.10 c #Conflicts: 17000 | #Constraints: 20955
111.91/113.10 c #Conflicts: 18000 | #Constraints: 21955
111.91/113.10 c #Conflicts: 19000 | #Constraints: 22955
111.91/113.10 c #Conflicts: 20000 | #Constraints: 23955
111.91/113.10 c #Conflicts: 21000 | #Constraints: 24955
111.91/113.10 c #Conflicts: 22000 | #Constraints: 25955
111.91/113.10 c #Conflicts: 23000 | #Constraints: 26955
111.91/113.10 c #Conflicts: 24000 | #Constraints: 27955
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 25000 | #Constraints: 22940
111.91/113.10 c #Conflicts: 26000 | #Constraints: 23940
111.91/113.10 c #Conflicts: 27000 | #Constraints: 24940
111.91/113.10 c #Conflicts: 28000 | #Constraints: 25940
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 29000 | #Constraints: 21814
111.91/113.10 c #Conflicts: 30000 | #Constraints: 22814
111.91/113.10 c #Conflicts: 31000 | #Constraints: 23814
111.91/113.10 c #Conflicts: 32000 | #Constraints: 24814
111.91/113.10 c #Conflicts: 33000 | #Constraints: 25814
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 34000 | #Constraints: 22057
111.91/113.10 c #Conflicts: 35000 | #Constraints: 23057
111.91/113.10 c #Conflicts: 36000 | #Constraints: 24057
111.91/113.10 c #Conflicts: 37000 | #Constraints: 25057
111.91/113.10 c #Conflicts: 38000 | #Constraints: 26057
111.91/113.10 c #Conflicts: 39000 | #Constraints: 27057
111.91/113.10 c #Conflicts: 40000 | #Constraints: 28057
111.91/113.10 c #Conflicts: 41000 | #Constraints: 29057
111.91/113.10 c #Conflicts: 42000 | #Constraints: 30057
111.91/113.10 c #Conflicts: 43000 | #Constraints: 31057
111.91/113.10 c #Conflicts: 44000 | #Constraints: 32057
111.91/113.10 c #Conflicts: 45000 | #Constraints: 33057
111.91/113.10 c #Conflicts: 46000 | #Constraints: 34057
111.91/113.10 c #Conflicts: 47000 | #Constraints: 35057
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 48000 | #Constraints: 26815
111.91/113.10 c #Conflicts: 49000 | #Constraints: 27815
111.91/113.10 c #Conflicts: 50000 | #Constraints: 28815
111.91/113.10 c #Conflicts: 51000 | #Constraints: 29815
111.91/113.10 c #Conflicts: 52000 | #Constraints: 30815
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 53000 | #Constraints: 24344
111.91/113.10 c #Conflicts: 54000 | #Constraints: 25344
111.91/113.10 c #Conflicts: 55000 | #Constraints: 26344
111.91/113.10 c #Conflicts: 56000 | #Constraints: 27344
111.91/113.10 c #Conflicts: 57000 | #Constraints: 28344
111.91/113.10 c #Conflicts: 58000 | #Constraints: 29344
111.91/113.10 c INPROCESSING
111.91/113.10 c GARBAGE COLLECT
111.91/113.10 c #Conflicts: 59000 | #Constraints: 23820
111.91/113.10 c #Conflicts: 60000 | #Constraints: 24820
111.91/113.10 c #Conflicts: 61000 | #Constraints: 25820
111.91/113.10 c #Conflicts: 62000 | #Constraints: 26820
111.91/113.10 c #Conflicts: 63000 | #Constraints: 27820
111.91/113.10 c #Conflicts: 64000 | #Constraints: 28820
111.91/113.10 c #Conflicts: 65000 | #Constraints: 29820
111.91/113.10 c #Conflicts: 66000 | #Constraints: 30820
111.91/113.10 c #Conflicts: 67000 | #Constraints: 31820
111.91/113.10 c #Conflicts: 68000 | #Constraints: 32820
111.91/113.10 c #Conflicts: 69000 | #Constraints: 33820
111.91/113.10 c #Conflicts: 70000 | #Constraints: 34820
111.91/113.10 c #Conflicts: 71000 | #Constraints: 35820
111.91/113.10 c #Conflicts: 72000 | #Constraints: 36820
264.80/266.30 c #Conflicts: 73000 | #Constraints: 37820
264.80/266.30 c #Conflicts: 74000 | #Constraints: 38820
264.80/266.30 c #Conflicts: 75000 | #Constraints: 39820
264.80/266.30 c #Conflicts: 76000 | #Constraints: 40820
264.80/266.30 c INPROCESSING
264.80/266.30 c GARBAGE COLLECT
264.80/266.30 c #Conflicts: 77000 | #Constraints: 29532
264.80/266.30 c #Conflicts: 78000 | #Constraints: 30532
264.80/266.30 c #Conflicts: 79000 | #Constraints: 31532
264.80/266.30 c #Conflicts: 80000 | #Constraints: 32532
264.80/266.30 c #Conflicts: 81000 | #Constraints: 33532
264.80/266.30 c #Conflicts: 82000 | #Constraints: 34532
264.80/266.30 c #Conflicts: 83000 | #Constraints: 35532
264.80/266.30 c #Conflicts: 84000 | #Constraints: 36532
264.80/266.30 c INPROCESSING
264.80/266.30 c GARBAGE COLLECT
264.80/266.30 c #Conflicts: 85000 | #Constraints: 27769
264.80/266.30 c #Conflicts: 86000 | #Constraints: 28769
264.80/266.30 c #Conflicts: 87000 | #Constraints: 29769
264.80/266.30 c #Conflicts: 88000 | #Constraints: 30769
264.80/266.30 c #Conflicts: 89000 | #Constraints: 31769
264.80/266.30 c #Conflicts: 90000 | #Constraints: 32769
264.80/266.30 c #Conflicts: 91000 | #Constraints: 33769
264.80/266.30 c INPROCESSING
264.80/266.30 c GARBAGE COLLECT
264.80/266.30 c #Conflicts: 92000 | #Constraints: 26654
264.80/266.30 c #Conflicts: 93000 | #Constraints: 27654
264.80/266.30 c #Conflicts: 94000 | #Constraints: 28654
264.80/266.30 c #Conflicts: 95000 | #Constraints: 29654
264.80/266.30 c #Conflicts: 96000 | #Constraints: 30654
264.80/266.30 c #Conflicts: 97000 | #Constraints: 31654
264.80/266.30 c #Conflicts: 98000 | #Constraints: 32654
264.80/266.30 c #Conflicts: 99000 | #Constraints: 33654
264.80/266.30 c #Conflicts: 100000 | #Constraints: 34654
264.80/266.30 c #Conflicts: 101000 | #Constraints: 35654
264.80/266.30 c #Conflicts: 102000 | #Constraints: 36654
264.80/266.30 c #Conflicts: 103000 | #Constraints: 37654
264.80/266.30 c #Conflicts: 104000 | #Constraints: 38654
264.80/266.30 c #Conflicts: 105000 | #Constraints: 39654
264.80/266.30 c #Conflicts: 106000 | #Constraints: 40654
264.80/266.30 c #Conflicts: 107000 | #Constraints: 41654
264.80/266.30 c #Conflicts: 108000 | #Constraints: 42654
264.80/266.30 c #Conflicts: 109000 | #Constraints: 43654
264.80/266.30 c #Conflicts: 110000 | #Constraints: 44654
264.80/266.30 c #Conflicts: 111000 | #Constraints: 45654
264.80/266.30 c #Conflicts: 112000 | #Constraints: 46654
264.80/266.30 c #Conflicts: 113000 | #Constraints: 47654
264.80/266.30 c INPROCESSING
264.80/266.30 c GARBAGE COLLECT
264.80/266.30 c #Conflicts: 114000 | #Constraints: 33006
264.80/266.30 c #Conflicts: 115000 | #Constraints: 34006
264.80/266.30 c #Conflicts: 116000 | #Constraints: 35006
264.80/266.30 c #Conflicts: 117000 | #Constraints: 36006
264.80/266.30 c #Conflicts: 118000 | #Constraints: 37006
264.80/266.30 c #Conflicts: 119000 | #Constraints: 38006
264.80/266.30 c #Conflicts: 120000 | #Constraints: 39006
264.80/266.30 c #Conflicts: 121000 | #Constraints: 40006
264.80/266.30 c #Conflicts: 122000 | #Constraints: 41006
264.80/266.30 c INPROCESSING
264.80/266.30 c GARBAGE COLLECT
264.80/266.30 c #Conflicts: 123000 | #Constraints: 29790
264.80/266.30 c #Conflicts: 124000 | #Constraints: 30790
264.80/266.30 c #Conflicts: 125000 | #Constraints: 31790
264.80/266.30 c #Conflicts: 126000 | #Constraints: 32790
264.80/266.30 c #Conflicts: 127000 | #Constraints: 33790
264.80/266.30 c #Conflicts: 128000 | #Constraints: 34790
264.80/266.30 c #Conflicts: 129000 | #Constraints: 35790
264.80/266.30 c #Conflicts: 130000 | #Constraints: 36790
264.80/266.30 c #Conflicts: 131000 | #Constraints: 37790
264.80/266.30 c INPROCESSING
264.80/266.30 c GARBAGE COLLECT
264.80/266.30 c #Conflicts: 132000 | #Constraints: 29198
264.80/266.30 c #Conflicts: 133000 | #Constraints: 30198
264.80/266.30 c #Conflicts: 134000 | #Constraints: 31198
264.80/266.30 c #Conflicts: 135000 | #Constraints: 32198
264.80/266.30 c #Conflicts: 136000 | #Constraints: 33198
264.80/266.30 c #Conflicts: 137000 | #Constraints: 34198
264.80/266.30 c #Conflicts: 138000 | #Constraints: 35198
264.80/266.30 c #Conflicts: 139000 | #Constraints: 36198
264.80/266.30 c #Conflicts: 140000 | #Constraints: 37198
264.80/266.30 c #Conflicts: 141000 | #Constraints: 38198
264.80/266.30 c #Conflicts: 142000 | #Constraints: 39198
264.80/266.30 c #Conflicts: 143000 | #Constraints: 40198
264.80/266.30 c #Conflicts: 144000 | #Constraints: 41198
264.80/266.30 c #Conflicts: 145000 | #Constraints: 42198
264.80/266.30 c #Conflicts: 146000 | #Constraints: 43198
264.80/266.30 c #Conflicts: 147000 | #Constraints: 44198
408.51/410.45 c #Conflicts: 148000 | #Constraints: 45198
408.51/410.45 c #Conflicts: 149000 | #Constraints: 46198
408.51/410.45 c #Conflicts: 150000 | #Constraints: 47198
408.51/410.45 c #Conflicts: 151000 | #Constraints: 48198
408.51/410.45 c #Conflicts: 152000 | #Constraints: 49198
408.51/410.45 c #Conflicts: 153000 | #Constraints: 50198
408.51/410.45 c #Conflicts: 154000 | #Constraints: 51198
408.51/410.45 c #Conflicts: 155000 | #Constraints: 52198
408.51/410.45 c #Conflicts: 156000 | #Constraints: 53198
408.51/410.45 c #Conflicts: 157000 | #Constraints: 54198
408.51/410.45 c INPROCESSING
408.51/410.45 c GARBAGE COLLECT
408.51/410.45 c #Conflicts: 158000 | #Constraints: 36435
408.51/410.45 c #Conflicts: 159000 | #Constraints: 37435
408.51/410.45 c #Conflicts: 160000 | #Constraints: 38435
408.51/410.45 c #Conflicts: 161000 | #Constraints: 39435
408.51/410.45 c #Conflicts: 162000 | #Constraints: 40435
408.51/410.45 c #Conflicts: 163000 | #Constraints: 41435
408.51/410.45 c #Conflicts: 164000 | #Constraints: 42435
408.51/410.45 c #Conflicts: 165000 | #Constraints: 43435
408.51/410.45 c #Conflicts: 166000 | #Constraints: 44435
408.51/410.45 c #Conflicts: 167000 | #Constraints: 45435
408.51/410.45 c #Conflicts: 168000 | #Constraints: 46435
408.51/410.45 c INPROCESSING
408.51/410.45 c GARBAGE COLLECT
408.51/410.45 c #Conflicts: 169000 | #Constraints: 32948
408.51/410.45 c #Conflicts: 170000 | #Constraints: 33948
408.51/410.45 c #Conflicts: 171000 | #Constraints: 34948
408.51/410.45 c #Conflicts: 172000 | #Constraints: 35948
408.51/410.45 c #Conflicts: 173000 | #Constraints: 36948
408.51/410.45 c #Conflicts: 174000 | #Constraints: 37948
408.51/410.45 c #Conflicts: 175000 | #Constraints: 38948
408.51/410.45 c #Conflicts: 176000 | #Constraints: 39948
408.51/410.45 c #Conflicts: 177000 | #Constraints: 40948
408.51/410.45 c #Conflicts: 178000 | #Constraints: 41948
408.51/410.45 c INPROCESSING
408.51/410.45 c GARBAGE COLLECT
408.51/410.45 c #Conflicts: 179000 | #Constraints: 32016
408.51/410.45 c #Conflicts: 180000 | #Constraints: 33016
408.51/410.45 c #Conflicts: 181000 | #Constraints: 34016
408.51/410.45 c #Conflicts: 182000 | #Constraints: 35016
408.51/410.45 c #Conflicts: 183000 | #Constraints: 36016
408.51/410.45 c #Conflicts: 184000 | #Constraints: 37016
408.51/410.45 c #Conflicts: 185000 | #Constraints: 38016
408.51/410.45 c #Conflicts: 186000 | #Constraints: 39016
408.51/410.45 c #Conflicts: 187000 | #Constraints: 40016
408.51/410.45 c #Conflicts: 188000 | #Constraints: 41016
408.51/410.45 c #Conflicts: 189000 | #Constraints: 42016
408.51/410.45 c #Conflicts: 190000 | #Constraints: 43016
408.51/410.45 c #Conflicts: 191000 | #Constraints: 44016
408.51/410.45 c #Conflicts: 192000 | #Constraints: 45016
408.51/410.45 c #Conflicts: 193000 | #Constraints: 46016
408.51/410.45 c #Conflicts: 194000 | #Constraints: 47016
408.51/410.45 c #Conflicts: 195000 | #Constraints: 48016
408.51/410.45 c #Conflicts: 196000 | #Constraints: 49016
408.51/410.45 c #Conflicts: 197000 | #Constraints: 50016
408.51/410.45 c #Conflicts: 198000 | #Constraints: 51016
408.51/410.45 c #Conflicts: 199000 | #Constraints: 52016
408.51/410.45 c #Conflicts: 200000 | #Constraints: 53016
408.51/410.45 c #Conflicts: 201000 | #Constraints: 54016
408.51/410.45 c #Conflicts: 202000 | #Constraints: 55016
408.51/410.45 c #Conflicts: 203000 | #Constraints: 56016
408.51/410.45 c #Conflicts: 204000 | #Constraints: 57016
408.51/410.45 c #Conflicts: 205000 | #Constraints: 58016
408.51/410.45 c #Conflicts: 206000 | #Constraints: 59016
408.51/410.45 c #Conflicts: 207000 | #Constraints: 60016
408.51/410.45 c #Conflicts: 208000 | #Constraints: 61016
408.51/410.45 c #Conflicts: 209000 | #Constraints: 62016
408.51/410.45 c INPROCESSING
408.51/410.45 c GARBAGE COLLECT
408.51/410.45 c #Conflicts: 210000 | #Constraints: 40655
408.51/410.45 c #Conflicts: 211000 | #Constraints: 41655
408.51/410.45 c #Conflicts: 212000 | #Constraints: 42655
408.51/410.45 c #Conflicts: 213000 | #Constraints: 43655
408.51/410.45 c #Conflicts: 214000 | #Constraints: 44655
408.51/410.45 c #Conflicts: 215000 | #Constraints: 45655
408.51/410.45 c #Conflicts: 216000 | #Constraints: 46655
408.51/410.45 c #Conflicts: 217000 | #Constraints: 47655
408.51/410.45 c #Conflicts: 218000 | #Constraints: 48655
408.51/410.45 c #Conflicts: 219000 | #Constraints: 49655
408.51/410.45 c #Conflicts: 220000 | #Constraints: 50655
408.51/410.45 c INPROCESSING
408.51/410.45 c GARBAGE COLLECT
408.51/410.45 c rational objective 138
539.74/542.09 c #Conflicts: 221000 | #Constraints: 34713
539.74/542.09 c #Conflicts: 222000 | #Constraints: 35713
539.74/542.09 c #Conflicts: 223000 | #Constraints: 36713
539.74/542.09 c #Conflicts: 224000 | #Constraints: 37713
539.74/542.09 c #Conflicts: 225000 | #Constraints: 38713
539.74/542.09 c #Conflicts: 226000 | #Constraints: 39713
539.74/542.09 c #Conflicts: 227000 | #Constraints: 40713
539.74/542.09 c #Conflicts: 228000 | #Constraints: 41713
539.74/542.09 c #Conflicts: 229000 | #Constraints: 42713
539.74/542.09 c #Conflicts: 230000 | #Constraints: 43713
539.74/542.09 c #Conflicts: 231000 | #Constraints: 44713
539.74/542.09 c #Conflicts: 232000 | #Constraints: 45713
539.74/542.09 c INPROCESSING
539.74/542.09 c GARBAGE COLLECT
539.74/542.09 c #Conflicts: 233000 | #Constraints: 34108
539.74/542.09 c #Conflicts: 234000 | #Constraints: 35108
539.74/542.09 c #Conflicts: 235000 | #Constraints: 36108
539.74/542.09 c #Conflicts: 236000 | #Constraints: 37108
539.74/542.09 c #Conflicts: 237000 | #Constraints: 38108
539.74/542.09 c #Conflicts: 238000 | #Constraints: 39108
539.74/542.09 c #Conflicts: 239000 | #Constraints: 40108
539.74/542.09 c #Conflicts: 240000 | #Constraints: 41108
539.74/542.09 c #Conflicts: 241000 | #Constraints: 42108
539.74/542.09 c #Conflicts: 242000 | #Constraints: 43108
539.74/542.09 c #Conflicts: 243000 | #Constraints: 44108
539.74/542.09 c #Conflicts: 244000 | #Constraints: 45108
539.74/542.09 c #Conflicts: 245000 | #Constraints: 46108
539.74/542.09 c #Conflicts: 246000 | #Constraints: 47108
539.74/542.09 c #Conflicts: 247000 | #Constraints: 48108
539.74/542.09 c #Conflicts: 248000 | #Constraints: 49108
539.74/542.09 c #Conflicts: 249000 | #Constraints: 50108
539.74/542.09 c #Conflicts: 250000 | #Constraints: 51108
539.74/542.09 c #Conflicts: 251000 | #Constraints: 52108
539.74/542.09 c #Conflicts: 252000 | #Constraints: 53108
539.74/542.09 c #Conflicts: 253000 | #Constraints: 54108
539.74/542.09 c #Conflicts: 254000 | #Constraints: 55108
539.74/542.09 c #Conflicts: 255000 | #Constraints: 56108
539.74/542.09 c #Conflicts: 256000 | #Constraints: 57108
539.74/542.09 c #Conflicts: 257000 | #Constraints: 58108
539.74/542.09 c #Conflicts: 258000 | #Constraints: 59108
539.74/542.09 c #Conflicts: 259000 | #Constraints: 60108
539.74/542.09 c #Conflicts: 260000 | #Constraints: 61108
539.74/542.09 c #Conflicts: 261000 | #Constraints: 62108
539.74/542.09 c #Conflicts: 262000 | #Constraints: 63108
539.74/542.09 c #Conflicts: 263000 | #Constraints: 64108
539.74/542.09 c #Conflicts: 264000 | #Constraints: 65108
539.74/542.09 c #Conflicts: 265000 | #Constraints: 66108
539.74/542.09 c #Conflicts: 266000 | #Constraints: 67108
539.74/542.09 c #Conflicts: 267000 | #Constraints: 68108
539.74/542.09 c INPROCESSING
539.74/542.09 c GARBAGE COLLECT
539.74/542.09 c #Conflicts: 268000 | #Constraints: 43436
539.74/542.09 c #Conflicts: 269000 | #Constraints: 44436
539.74/542.09 c #Conflicts: 270000 | #Constraints: 45436
539.74/542.09 c #Conflicts: 271000 | #Constraints: 46436
539.74/542.09 c #Conflicts: 272000 | #Constraints: 47436
539.74/542.09 c #Conflicts: 273000 | #Constraints: 48436
539.74/542.09 c #Conflicts: 274000 | #Constraints: 49436
539.74/542.09 c #Conflicts: 275000 | #Constraints: 50436
539.74/542.09 c #Conflicts: 276000 | #Constraints: 51436
539.74/542.09 c #Conflicts: 277000 | #Constraints: 52436
539.74/542.09 c #Conflicts: 278000 | #Constraints: 53436
539.74/542.09 c #Conflicts: 279000 | #Constraints: 54436
539.74/542.09 c #Conflicts: 280000 | #Constraints: 55436
539.74/542.09 c INPROCESSING
539.74/542.09 c GARBAGE COLLECT
539.74/542.09 c #Conflicts: 281000 | #Constraints: 37212
539.74/542.09 c #Conflicts: 282000 | #Constraints: 38212
539.74/542.09 c #Conflicts: 283000 | #Constraints: 39212
539.74/542.09 c #Conflicts: 284000 | #Constraints: 40212
539.74/542.09 c #Conflicts: 285000 | #Constraints: 41212
539.74/542.09 c #Conflicts: 286000 | #Constraints: 42212
539.74/542.09 c #Conflicts: 287000 | #Constraints: 43212
539.74/542.09 c #Conflicts: 288000 | #Constraints: 44212
539.74/542.09 c #Conflicts: 289000 | #Constraints: 45212
539.74/542.09 c #Conflicts: 290000 | #Constraints: 46212
539.74/542.09 c #Conflicts: 291000 | #Constraints: 47212
539.74/542.09 c #Conflicts: 292000 | #Constraints: 48212
539.74/542.09 c #Conflicts: 293000 | #Constraints: 49212
539.74/542.09 c #Conflicts: 294000 | #Constraints: 50212
539.74/542.09 c #Conflicts: 295000 | #Constraints: 51212
539.74/542.09 c #Conflicts: 296000 | #Constraints: 52212
539.74/542.09 c #Conflicts: 297000 | #Constraints: 53212
693.35/696.01 c #Conflicts: 298000 | #Constraints: 54212
693.35/696.01 c #Conflicts: 299000 | #Constraints: 55212
693.35/696.01 c #Conflicts: 300000 | #Constraints: 56212
693.35/696.01 c #Conflicts: 301000 | #Constraints: 57212
693.35/696.01 c #Conflicts: 302000 | #Constraints: 58212
693.35/696.01 c #Conflicts: 303000 | #Constraints: 59212
693.35/696.01 c #Conflicts: 304000 | #Constraints: 60212
693.35/696.01 c #Conflicts: 305000 | #Constraints: 61212
693.35/696.01 c #Conflicts: 306000 | #Constraints: 62212
693.35/696.01 c #Conflicts: 307000 | #Constraints: 63212
693.35/696.01 c #Conflicts: 308000 | #Constraints: 64212
693.35/696.01 c #Conflicts: 309000 | #Constraints: 65212
693.35/696.01 c #Conflicts: 310000 | #Constraints: 66212
693.35/696.01 c #Conflicts: 311000 | #Constraints: 67212
693.35/696.01 c #Conflicts: 312000 | #Constraints: 68212
693.35/696.01 c #Conflicts: 313000 | #Constraints: 69212
693.35/696.01 c #Conflicts: 314000 | #Constraints: 70212
693.35/696.01 c #Conflicts: 315000 | #Constraints: 71212
693.35/696.01 c #Conflicts: 316000 | #Constraints: 72212
693.35/696.01 c #Conflicts: 317000 | #Constraints: 73212
693.35/696.01 c #Conflicts: 318000 | #Constraints: 74212
693.35/696.01 c INPROCESSING
693.35/696.01 c GARBAGE COLLECT
693.35/696.01 c #Conflicts: 319000 | #Constraints: 46752
693.35/696.01 c #Conflicts: 320000 | #Constraints: 47752
693.35/696.01 c #Conflicts: 321000 | #Constraints: 48752
693.35/696.01 c #Conflicts: 322000 | #Constraints: 49752
693.35/696.01 c #Conflicts: 323000 | #Constraints: 50752
693.35/696.01 c #Conflicts: 324000 | #Constraints: 51752
693.35/696.01 c #Conflicts: 325000 | #Constraints: 52752
693.35/696.01 c #Conflicts: 326000 | #Constraints: 53752
693.35/696.01 c #Conflicts: 327000 | #Constraints: 54752
693.35/696.01 c #Conflicts: 328000 | #Constraints: 55752
693.35/696.01 c #Conflicts: 329000 | #Constraints: 56752
693.35/696.01 c #Conflicts: 330000 | #Constraints: 57752
693.35/696.01 c #Conflicts: 331000 | #Constraints: 58752
693.35/696.01 c #Conflicts: 332000 | #Constraints: 59752
693.35/696.01 c #Conflicts: 333000 | #Constraints: 60752
693.35/696.01 c INPROCESSING
693.35/696.01 c GARBAGE COLLECT
693.35/696.01 c #Conflicts: 334000 | #Constraints: 40054
693.35/696.01 c #Conflicts: 335000 | #Constraints: 41054
693.35/696.01 c #Conflicts: 336000 | #Constraints: 42054
693.35/696.01 c #Conflicts: 337000 | #Constraints: 43054
693.35/696.01 c #Conflicts: 338000 | #Constraints: 44054
693.35/696.01 c #Conflicts: 339000 | #Constraints: 45054
693.35/696.01 c #Conflicts: 340000 | #Constraints: 46054
693.35/696.01 c #Conflicts: 341000 | #Constraints: 47054
693.35/696.01 c #Conflicts: 342000 | #Constraints: 48054
693.35/696.01 c #Conflicts: 343000 | #Constraints: 49054
693.35/696.01 c #Conflicts: 344000 | #Constraints: 50054
693.35/696.01 c #Conflicts: 345000 | #Constraints: 51054
693.35/696.01 c #Conflicts: 346000 | #Constraints: 52054
693.35/696.01 c #Conflicts: 347000 | #Constraints: 53054
693.35/696.01 c #Conflicts: 348000 | #Constraints: 54054
693.35/696.01 c #Conflicts: 349000 | #Constraints: 55054
693.35/696.01 c #Conflicts: 350000 | #Constraints: 56054
693.35/696.01 c #Conflicts: 351000 | #Constraints: 57054
693.35/696.01 c #Conflicts: 352000 | #Constraints: 58054
693.35/696.01 c #Conflicts: 353000 | #Constraints: 59054
693.35/696.01 c #Conflicts: 354000 | #Constraints: 60054
693.35/696.01 c #Conflicts: 355000 | #Constraints: 61054
693.35/696.01 c #Conflicts: 356000 | #Constraints: 62054
693.35/696.01 c #Conflicts: 357000 | #Constraints: 63054
693.35/696.01 c #Conflicts: 358000 | #Constraints: 64054
693.35/696.01 c #Conflicts: 359000 | #Constraints: 65054
693.35/696.01 c #Conflicts: 360000 | #Constraints: 66054
693.35/696.01 c #Conflicts: 361000 | #Constraints: 67054
693.35/696.01 c #Conflicts: 362000 | #Constraints: 68054
693.35/696.01 c #Conflicts: 363000 | #Constraints: 69054
693.35/696.01 c #Conflicts: 364000 | #Constraints: 70054
693.35/696.01 c #Conflicts: 365000 | #Constraints: 71054
693.35/696.01 c #Conflicts: 366000 | #Constraints: 72054
693.35/696.01 c #Conflicts: 367000 | #Constraints: 73054
693.35/696.01 c #Conflicts: 368000 | #Constraints: 74054
693.35/696.01 c #Conflicts: 369000 | #Constraints: 75054
693.35/696.01 c #Conflicts: 370000 | #Constraints: 76054
693.35/696.01 c #Conflicts: 371000 | #Constraints: 77054
693.35/696.01 c #Conflicts: 372000 | #Constraints: 78054
693.35/696.01 c #Conflicts: 373000 | #Constraints: 79054
693.35/696.01 c #Conflicts: 374000 | #Constraints: 80054
693.35/696.01 c INPROCESSING
693.35/696.01 c GARBAGE COLLECT
712.90/715.62 c rational objective 138
946.93/950.26 c #Conflicts: 375000 | #Constraints: 49943
946.93/950.26 c #Conflicts: 376000 | #Constraints: 50943
946.93/950.26 c #Conflicts: 377000 | #Constraints: 51943
946.93/950.26 c #Conflicts: 378000 | #Constraints: 52943
946.93/950.26 c #Conflicts: 379000 | #Constraints: 53943
946.93/950.26 c #Conflicts: 380000 | #Constraints: 54943
946.93/950.26 c #Conflicts: 381000 | #Constraints: 55943
946.93/950.26 c #Conflicts: 382000 | #Constraints: 56943
946.93/950.26 c #Conflicts: 383000 | #Constraints: 57943
946.93/950.26 c #Conflicts: 384000 | #Constraints: 58943
946.93/950.26 c #Conflicts: 385000 | #Constraints: 59943
946.93/950.26 c #Conflicts: 386000 | #Constraints: 60943
946.93/950.26 c #Conflicts: 387000 | #Constraints: 61943
946.93/950.26 c #Conflicts: 388000 | #Constraints: 62943
946.93/950.26 c #Conflicts: 389000 | #Constraints: 63943
946.93/950.26 c #Conflicts: 390000 | #Constraints: 64943
946.93/950.26 c INPROCESSING
946.93/950.26 c GARBAGE COLLECT
946.93/950.26 c #Conflicts: 391000 | #Constraints: 42528
946.93/950.26 c #Conflicts: 392000 | #Constraints: 43528
946.93/950.26 c #Conflicts: 393000 | #Constraints: 44528
946.93/950.26 c #Conflicts: 394000 | #Constraints: 45528
946.93/950.26 c #Conflicts: 395000 | #Constraints: 46528
946.93/950.26 c #Conflicts: 396000 | #Constraints: 47528
946.93/950.26 c #Conflicts: 397000 | #Constraints: 48528
946.93/950.26 c #Conflicts: 398000 | #Constraints: 49528
946.93/950.26 c #Conflicts: 399000 | #Constraints: 50528
946.93/950.26 c #Conflicts: 400000 | #Constraints: 51528
946.93/950.26 c #Conflicts: 401000 | #Constraints: 52528
946.93/950.26 c #Conflicts: 402000 | #Constraints: 53528
946.93/950.26 c #Conflicts: 403000 | #Constraints: 54528
946.93/950.26 c #Conflicts: 404000 | #Constraints: 55528
946.93/950.26 c #Conflicts: 405000 | #Constraints: 56528
946.93/950.26 c #Conflicts: 406000 | #Constraints: 57528
946.93/950.26 c #Conflicts: 407000 | #Constraints: 58528
946.93/950.26 c #Conflicts: 408000 | #Constraints: 59528
946.93/950.26 c #Conflicts: 409000 | #Constraints: 60528
946.93/950.26 c #Conflicts: 410000 | #Constraints: 61528
946.93/950.26 c #Conflicts: 411000 | #Constraints: 62528
946.93/950.26 c #Conflicts: 412000 | #Constraints: 63528
946.93/950.26 c #Conflicts: 413000 | #Constraints: 64528
946.93/950.26 c #Conflicts: 414000 | #Constraints: 65528
946.93/950.26 c #Conflicts: 415000 | #Constraints: 66528
946.93/950.26 c #Conflicts: 416000 | #Constraints: 67528
946.93/950.26 c #Conflicts: 417000 | #Constraints: 68528
946.93/950.26 c #Conflicts: 418000 | #Constraints: 69528
946.93/950.26 c #Conflicts: 419000 | #Constraints: 70528
946.93/950.26 c #Conflicts: 420000 | #Constraints: 71528
946.93/950.26 c #Conflicts: 421000 | #Constraints: 72528
946.93/950.26 c #Conflicts: 422000 | #Constraints: 73528
946.93/950.26 c #Conflicts: 423000 | #Constraints: 74528
946.93/950.26 c #Conflicts: 424000 | #Constraints: 75528
946.93/950.26 c #Conflicts: 425000 | #Constraints: 76528
946.93/950.26 c #Conflicts: 426000 | #Constraints: 77528
946.93/950.26 c #Conflicts: 427000 | #Constraints: 78528
946.93/950.26 c #Conflicts: 428000 | #Constraints: 79528
946.93/950.26 c #Conflicts: 429000 | #Constraints: 80528
946.93/950.26 c #Conflicts: 430000 | #Constraints: 81528
946.93/950.26 c #Conflicts: 431000 | #Constraints: 82528
946.93/950.26 c #Conflicts: 432000 | #Constraints: 83528
946.93/950.26 c #Conflicts: 433000 | #Constraints: 84528
946.93/950.26 c #Conflicts: 434000 | #Constraints: 85528
946.93/950.26 c INPROCESSING
946.93/950.26 c GARBAGE COLLECT
946.93/950.26 c #Conflicts: 435000 | #Constraints: 52694
946.93/950.26 c #Conflicts: 436000 | #Constraints: 53694
946.93/950.26 c #Conflicts: 437000 | #Constraints: 54694
946.93/950.26 c #Conflicts: 438000 | #Constraints: 55694
946.93/950.26 c #Conflicts: 439000 | #Constraints: 56694
946.93/950.26 c #Conflicts: 440000 | #Constraints: 57694
946.93/950.26 c #Conflicts: 441000 | #Constraints: 58694
946.93/950.26 c #Conflicts: 442000 | #Constraints: 59694
946.93/950.26 c #Conflicts: 443000 | #Constraints: 60694
946.93/950.26 c #Conflicts: 444000 | #Constraints: 61694
946.93/950.26 c #Conflicts: 445000 | #Constraints: 62694
946.93/950.26 c #Conflicts: 446000 | #Constraints: 63694
946.93/950.26 c #Conflicts: 447000 | #Constraints: 64694
946.93/950.26 c #Conflicts: 448000 | #Constraints: 65694
946.93/950.26 c #Conflicts: 449000 | #Constraints: 66694
946.93/950.26 c #Conflicts: 450000 | #Constraints: 67694
946.93/950.26 c #Conflicts: 451000 | #Constraints: 68694
946.93/950.26 c INPROCESSING
946.93/950.26 c GARBAGE COLLECT
1131.88/1135.69 c #Conflicts: 452000 | #Constraints: 44014
1131.88/1135.69 c #Conflicts: 453000 | #Constraints: 45014
1131.88/1135.69 c #Conflicts: 454000 | #Constraints: 46014
1131.88/1135.69 c #Conflicts: 455000 | #Constraints: 47014
1131.88/1135.69 c #Conflicts: 456000 | #Constraints: 48014
1131.88/1135.69 c #Conflicts: 457000 | #Constraints: 49014
1131.88/1135.69 c #Conflicts: 458000 | #Constraints: 50014
1131.88/1135.69 c #Conflicts: 459000 | #Constraints: 51014
1131.88/1135.69 c #Conflicts: 460000 | #Constraints: 52014
1131.88/1135.69 c #Conflicts: 461000 | #Constraints: 53014
1131.88/1135.69 c #Conflicts: 462000 | #Constraints: 54014
1131.88/1135.69 c #Conflicts: 463000 | #Constraints: 55014
1131.88/1135.69 c #Conflicts: 464000 | #Constraints: 56014
1131.88/1135.69 c #Conflicts: 465000 | #Constraints: 57014
1131.88/1135.69 c #Conflicts: 466000 | #Constraints: 58014
1131.88/1135.69 c #Conflicts: 467000 | #Constraints: 59014
1131.88/1135.69 c #Conflicts: 468000 | #Constraints: 60014
1131.88/1135.69 c #Conflicts: 469000 | #Constraints: 61014
1131.88/1135.69 c #Conflicts: 470000 | #Constraints: 62014
1131.88/1135.69 c #Conflicts: 471000 | #Constraints: 63014
1131.88/1135.69 c #Conflicts: 472000 | #Constraints: 64014
1131.88/1135.69 c #Conflicts: 473000 | #Constraints: 65014
1131.88/1135.69 c #Conflicts: 474000 | #Constraints: 66014
1131.88/1135.69 c #Conflicts: 475000 | #Constraints: 67014
1131.88/1135.69 c #Conflicts: 476000 | #Constraints: 68014
1131.88/1135.69 c #Conflicts: 477000 | #Constraints: 69014
1131.88/1135.69 c #Conflicts: 478000 | #Constraints: 70014
1131.88/1135.69 c #Conflicts: 479000 | #Constraints: 71014
1131.88/1135.69 c #Conflicts: 480000 | #Constraints: 72014
1131.88/1135.69 c #Conflicts: 481000 | #Constraints: 73014
1131.88/1135.69 c #Conflicts: 482000 | #Constraints: 74014
1131.88/1135.69 c #Conflicts: 483000 | #Constraints: 75014
1131.88/1135.69 c #Conflicts: 484000 | #Constraints: 76014
1131.88/1135.69 c #Conflicts: 485000 | #Constraints: 77014
1131.88/1135.69 c #Conflicts: 486000 | #Constraints: 78014
1131.88/1135.69 c #Conflicts: 487000 | #Constraints: 79014
1131.88/1135.69 c #Conflicts: 488000 | #Constraints: 80014
1131.88/1135.69 c #Conflicts: 489000 | #Constraints: 81014
1131.88/1135.69 c #Conflicts: 490000 | #Constraints: 82014
1131.88/1135.69 c #Conflicts: 491000 | #Constraints: 83014
1131.88/1135.69 c #Conflicts: 492000 | #Constraints: 84014
1131.88/1135.69 c #Conflicts: 493000 | #Constraints: 85014
1131.88/1135.69 c #Conflicts: 494000 | #Constraints: 86014
1131.88/1135.69 c #Conflicts: 495000 | #Constraints: 87014
1131.88/1135.69 c #Conflicts: 496000 | #Constraints: 88014
1131.88/1135.69 c #Conflicts: 497000 | #Constraints: 89014
1131.88/1135.69 c #Conflicts: 498000 | #Constraints: 90014
1131.88/1135.69 c INPROCESSING
1131.88/1135.69 c GARBAGE COLLECT
1131.88/1135.69 c rational objective 138
1198.41/1202.38 c #Conflicts: 499000 | #Constraints: 54815
1198.41/1202.38 c #Conflicts: 500000 | #Constraints: 55815
1198.41/1202.38 c #Conflicts: 501000 | #Constraints: 56815
1198.41/1202.38 c #Conflicts: 502000 | #Constraints: 57815
1198.41/1202.38 c #Conflicts: 503000 | #Constraints: 58815
1198.41/1202.38 c #Conflicts: 504000 | #Constraints: 59815
1198.41/1202.38 c #Conflicts: 505000 | #Constraints: 60815
1198.41/1202.38 c #Conflicts: 506000 | #Constraints: 61815
1198.41/1202.38 c #Conflicts: 507000 | #Constraints: 62815
1198.41/1202.38 c #Conflicts: 508000 | #Constraints: 63815
1198.41/1202.38 c #Conflicts: 509000 | #Constraints: 64815
1198.41/1202.38 c #Conflicts: 510000 | #Constraints: 65815
1198.41/1202.38 c #Conflicts: 511000 | #Constraints: 66815
1198.41/1202.38 c #Conflicts: 512000 | #Constraints: 67815
1198.41/1202.38 c #Conflicts: 513000 | #Constraints: 68815
1198.41/1202.38 c #Conflicts: 514000 | #Constraints: 69815
1198.41/1202.38 c #Conflicts: 515000 | #Constraints: 70815
1198.41/1202.38 c #Conflicts: 516000 | #Constraints: 71815
1198.41/1202.38 c INPROCESSING
1198.41/1202.38 c GARBAGE COLLECT
1198.41/1202.38 c rational objective 138
1398.12/1402.61 c #Conflicts: 517000 | #Constraints: 45547
1398.12/1402.61 c #Conflicts: 518000 | #Constraints: 46547
1398.12/1402.61 c #Conflicts: 519000 | #Constraints: 47547
1398.12/1402.61 c #Conflicts: 520000 | #Constraints: 48547
1398.12/1402.61 c #Conflicts: 521000 | #Constraints: 49547
1398.12/1402.61 c #Conflicts: 522000 | #Constraints: 50547
1398.12/1402.61 c #Conflicts: 523000 | #Constraints: 51547
1398.12/1402.61 c #Conflicts: 524000 | #Constraints: 52547
1398.12/1402.61 c #Conflicts: 525000 | #Constraints: 53547
1398.12/1402.61 c #Conflicts: 526000 | #Constraints: 54547
1398.12/1402.61 c #Conflicts: 527000 | #Constraints: 55547
1398.12/1402.61 c #Conflicts: 528000 | #Constraints: 56547
1398.12/1402.61 c #Conflicts: 529000 | #Constraints: 57547
1398.12/1402.61 c #Conflicts: 530000 | #Constraints: 58547
1398.12/1402.61 c #Conflicts: 531000 | #Constraints: 59547
1398.12/1402.61 c #Conflicts: 532000 | #Constraints: 60547
1398.12/1402.61 c #Conflicts: 533000 | #Constraints: 61547
1398.12/1402.61 c #Conflicts: 534000 | #Constraints: 62547
1398.12/1402.61 c #Conflicts: 535000 | #Constraints: 63547
1398.12/1402.61 c #Conflicts: 536000 | #Constraints: 64547
1398.12/1402.61 c #Conflicts: 537000 | #Constraints: 65547
1398.12/1402.61 c #Conflicts: 538000 | #Constraints: 66547
1398.12/1402.61 c #Conflicts: 539000 | #Constraints: 67547
1398.12/1402.61 c #Conflicts: 540000 | #Constraints: 68547
1398.12/1402.61 c #Conflicts: 541000 | #Constraints: 69547
1398.12/1402.61 c #Conflicts: 542000 | #Constraints: 70547
1398.12/1402.61 c #Conflicts: 543000 | #Constraints: 71547
1398.12/1402.61 c #Conflicts: 544000 | #Constraints: 72547
1398.12/1402.61 c #Conflicts: 545000 | #Constraints: 73547
1398.12/1402.61 c #Conflicts: 546000 | #Constraints: 74547
1398.12/1402.61 c #Conflicts: 547000 | #Constraints: 75547
1398.12/1402.61 c #Conflicts: 548000 | #Constraints: 76547
1398.12/1402.61 c #Conflicts: 549000 | #Constraints: 77547
1398.12/1402.61 c #Conflicts: 550000 | #Constraints: 78547
1398.12/1402.61 c #Conflicts: 551000 | #Constraints: 79547
1398.12/1402.61 c #Conflicts: 552000 | #Constraints: 80547
1398.12/1402.61 c #Conflicts: 553000 | #Constraints: 81547
1398.12/1402.61 c #Conflicts: 554000 | #Constraints: 82547
1398.12/1402.61 c #Conflicts: 555000 | #Constraints: 83547
1398.12/1402.61 c #Conflicts: 556000 | #Constraints: 84547
1398.12/1402.61 c #Conflicts: 557000 | #Constraints: 85547
1398.12/1402.61 c #Conflicts: 558000 | #Constraints: 86547
1398.12/1402.61 c #Conflicts: 559000 | #Constraints: 87547
1398.12/1402.61 c #Conflicts: 560000 | #Constraints: 88547
1398.12/1402.61 c #Conflicts: 561000 | #Constraints: 89547
1398.12/1402.61 c #Conflicts: 562000 | #Constraints: 90547
1398.12/1402.61 c #Conflicts: 563000 | #Constraints: 91547
1398.12/1402.61 c #Conflicts: 564000 | #Constraints: 92547
1398.12/1402.61 c #Conflicts: 565000 | #Constraints: 93547
1398.12/1402.61 c #Conflicts: 566000 | #Constraints: 94547
1398.12/1402.61 c #Conflicts: 567000 | #Constraints: 95547
1398.12/1402.61 c INPROCESSING
1398.12/1402.61 c GARBAGE COLLECT
1398.12/1402.61 c #Conflicts: 568000 | #Constraints: 57821
1398.12/1402.61 c #Conflicts: 569000 | #Constraints: 58821
1398.12/1402.61 c #Conflicts: 570000 | #Constraints: 59821
1398.12/1402.61 c #Conflicts: 571000 | #Constraints: 60821
1398.12/1402.61 c #Conflicts: 572000 | #Constraints: 61821
1398.12/1402.61 c #Conflicts: 573000 | #Constraints: 62821
1398.12/1402.61 c #Conflicts: 574000 | #Constraints: 63821
1398.12/1402.61 c #Conflicts: 575000 | #Constraints: 64821
1398.12/1402.61 c #Conflicts: 576000 | #Constraints: 65821
1398.12/1402.61 c #Conflicts: 577000 | #Constraints: 66822
1398.12/1402.61 c #Conflicts: 578000 | #Constraints: 67822
1398.12/1402.61 c #Conflicts: 579000 | #Constraints: 68822
1398.12/1402.61 c #Conflicts: 580000 | #Constraints: 69822
1398.12/1402.61 c #Conflicts: 581000 | #Constraints: 70822
1398.12/1402.61 c #Conflicts: 582000 | #Constraints: 71822
1398.12/1402.61 c #Conflicts: 583000 | #Constraints: 72822
1398.12/1402.61 c #Conflicts: 584000 | #Constraints: 73822
1398.12/1402.61 c #Conflicts: 585000 | #Constraints: 74822
1398.12/1402.61 c #Conflicts: 586000 | #Constraints: 75822
1398.12/1402.61 c INPROCESSING
1398.12/1402.61 c GARBAGE COLLECT
1398.12/1402.61 c #Conflicts: 587000 | #Constraints: 47620
1398.12/1402.61 c #Conflicts: 588000 | #Constraints: 48620
1398.12/1402.61 c #Conflicts: 589000 | #Constraints: 49620
1398.12/1402.61 c #Conflicts: 590000 | #Constraints: 50620
1398.12/1402.61 c #Conflicts: 591000 | #Constraints: 51620
1398.12/1402.61 c #Conflicts: 592000 | #Constraints: 52620
1398.12/1402.61 c #Conflicts: 593000 | #Constraints: 53620
1398.12/1402.61 c #Conflicts: 594000 | #Constraints: 54620
1638.60/1643.89 c #Conflicts: 595000 | #Constraints: 55620
1638.60/1643.89 c #Conflicts: 596000 | #Constraints: 56620
1638.60/1643.89 c #Conflicts: 597000 | #Constraints: 57620
1638.60/1643.89 c #Conflicts: 598000 | #Constraints: 58620
1638.60/1643.89 c #Conflicts: 599000 | #Constraints: 59620
1638.60/1643.89 c #Conflicts: 600000 | #Constraints: 60620
1638.60/1643.89 c #Conflicts: 601000 | #Constraints: 61620
1638.60/1643.89 c #Conflicts: 602000 | #Constraints: 62620
1638.60/1643.89 c #Conflicts: 603000 | #Constraints: 63620
1638.60/1643.89 c #Conflicts: 604000 | #Constraints: 64620
1638.60/1643.89 c #Conflicts: 605000 | #Constraints: 65620
1638.60/1643.89 c #Conflicts: 606000 | #Constraints: 66620
1638.60/1643.89 c #Conflicts: 607000 | #Constraints: 67620
1638.60/1643.89 c #Conflicts: 608000 | #Constraints: 68620
1638.60/1643.89 c #Conflicts: 609000 | #Constraints: 69620
1638.60/1643.89 c #Conflicts: 610000 | #Constraints: 70620
1638.60/1643.89 c #Conflicts: 611000 | #Constraints: 71620
1638.60/1643.89 c #Conflicts: 612000 | #Constraints: 72620
1638.60/1643.89 c #Conflicts: 613000 | #Constraints: 73620
1638.60/1643.89 c #Conflicts: 614000 | #Constraints: 74620
1638.60/1643.89 c #Conflicts: 615000 | #Constraints: 75620
1638.60/1643.89 c #Conflicts: 616000 | #Constraints: 76620
1638.60/1643.89 c #Conflicts: 617000 | #Constraints: 77620
1638.60/1643.89 c #Conflicts: 618000 | #Constraints: 78620
1638.60/1643.89 c #Conflicts: 619000 | #Constraints: 79620
1638.60/1643.89 c #Conflicts: 620000 | #Constraints: 80620
1638.60/1643.89 c #Conflicts: 621000 | #Constraints: 81620
1638.60/1643.89 c #Conflicts: 622000 | #Constraints: 82620
1638.60/1643.89 c #Conflicts: 623000 | #Constraints: 83620
1638.60/1643.89 c #Conflicts: 624000 | #Constraints: 84620
1638.60/1643.89 c #Conflicts: 625000 | #Constraints: 85620
1638.60/1643.89 c #Conflicts: 626000 | #Constraints: 86620
1638.60/1643.89 c #Conflicts: 627000 | #Constraints: 87620
1638.60/1643.89 c #Conflicts: 628000 | #Constraints: 88620
1638.60/1643.89 c #Conflicts: 629000 | #Constraints: 89620
1638.60/1643.89 c #Conflicts: 630000 | #Constraints: 90620
1638.60/1643.89 c #Conflicts: 631000 | #Constraints: 91620
1638.60/1643.89 c #Conflicts: 632000 | #Constraints: 92620
1638.60/1643.89 c #Conflicts: 633000 | #Constraints: 93620
1638.60/1643.89 c #Conflicts: 634000 | #Constraints: 94620
1638.60/1643.89 c #Conflicts: 635000 | #Constraints: 95620
1638.60/1643.89 c #Conflicts: 636000 | #Constraints: 96620
1638.60/1643.89 c #Conflicts: 637000 | #Constraints: 97620
1638.60/1643.89 c #Conflicts: 638000 | #Constraints: 98620
1638.60/1643.89 c #Conflicts: 639000 | #Constraints: 99620
1638.60/1643.89 c #Conflicts: 640000 | #Constraints: 100620
1638.60/1643.89 c INPROCESSING
1638.60/1643.89 c GARBAGE COLLECT
1638.60/1643.89 c #Conflicts: 641000 | #Constraints: 60328
1638.60/1643.89 c #Conflicts: 642000 | #Constraints: 61328
1638.60/1643.89 c #Conflicts: 643000 | #Constraints: 62328
1638.60/1643.89 c #Conflicts: 644000 | #Constraints: 63328
1638.60/1643.89 c #Conflicts: 645000 | #Constraints: 64328
1638.60/1643.89 c #Conflicts: 646000 | #Constraints: 65328
1638.60/1643.89 c #Conflicts: 647000 | #Constraints: 66328
1638.60/1643.89 c #Conflicts: 648000 | #Constraints: 67328
1638.60/1643.89 c #Conflicts: 649000 | #Constraints: 68328
1638.60/1643.89 c #Conflicts: 650000 | #Constraints: 69328
1638.60/1643.89 c #Conflicts: 651000 | #Constraints: 70328
1638.60/1643.89 c #Conflicts: 652000 | #Constraints: 71328
1638.60/1643.89 c #Conflicts: 653000 | #Constraints: 72328
1638.60/1643.89 c #Conflicts: 654000 | #Constraints: 73328
1638.60/1643.89 c #Conflicts: 655000 | #Constraints: 74328
1638.60/1643.89 c #Conflicts: 656000 | #Constraints: 75328
1638.60/1643.89 c #Conflicts: 657000 | #Constraints: 76328
1638.60/1643.89 c #Conflicts: 658000 | #Constraints: 77328
1638.60/1643.89 c #Conflicts: 659000 | #Constraints: 78328
1638.60/1643.89 c #Conflicts: 660000 | #Constraints: 79328
1638.60/1643.89 c #Conflicts: 661000 | #Constraints: 80328
1638.60/1643.89 c INPROCESSING
1638.60/1643.89 c GARBAGE COLLECT
1638.60/1643.89 c rational objective 138
1849.89/1855.79 c #Conflicts: 662000 | #Constraints: 50018
1849.89/1855.79 c #Conflicts: 663000 | #Constraints: 51018
1849.89/1855.79 c #Conflicts: 664000 | #Constraints: 52018
1849.89/1855.79 c #Conflicts: 665000 | #Constraints: 53018
1849.89/1855.79 c #Conflicts: 666000 | #Constraints: 54018
1849.89/1855.79 c #Conflicts: 667000 | #Constraints: 55018
1849.89/1855.79 c #Conflicts: 668000 | #Constraints: 56018
1849.89/1855.79 c #Conflicts: 669000 | #Constraints: 57018
1849.89/1855.79 c #Conflicts: 670000 | #Constraints: 58018
1849.89/1855.79 c #Conflicts: 671000 | #Constraints: 59018
1849.89/1855.79 c #Conflicts: 672000 | #Constraints: 60018
1849.89/1855.79 c #Conflicts: 673000 | #Constraints: 61018
1849.89/1855.79 c #Conflicts: 674000 | #Constraints: 62018
1849.89/1855.79 c #Conflicts: 675000 | #Constraints: 63018
1849.89/1855.79 c #Conflicts: 676000 | #Constraints: 64018
1849.89/1855.79 c #Conflicts: 677000 | #Constraints: 65018
1849.89/1855.79 c #Conflicts: 678000 | #Constraints: 66018
1849.89/1855.79 c #Conflicts: 679000 | #Constraints: 67018
1849.89/1855.79 c #Conflicts: 680000 | #Constraints: 68018
1849.89/1855.79 c #Conflicts: 681000 | #Constraints: 69018
1849.89/1855.79 c #Conflicts: 682000 | #Constraints: 70018
1849.89/1855.79 c #Conflicts: 683000 | #Constraints: 71018
1849.89/1855.79 c #Conflicts: 684000 | #Constraints: 72018
1849.89/1855.79 c #Conflicts: 685000 | #Constraints: 73018
1849.89/1855.79 c #Conflicts: 686000 | #Constraints: 74018
1849.89/1855.79 c #Conflicts: 687000 | #Constraints: 75018
1849.89/1855.79 c #Conflicts: 688000 | #Constraints: 76018
1849.89/1855.79 c #Conflicts: 689000 | #Constraints: 77018
1849.89/1855.79 c #Conflicts: 690000 | #Constraints: 78018
1849.89/1855.79 c #Conflicts: 691000 | #Constraints: 79018
1849.89/1855.79 c #Conflicts: 692000 | #Constraints: 80018
1849.89/1855.79 c #Conflicts: 693000 | #Constraints: 81018
1849.89/1855.79 c #Conflicts: 694000 | #Constraints: 82018
1849.89/1855.79 c #Conflicts: 695000 | #Constraints: 83018
1849.89/1855.79 c #Conflicts: 696000 | #Constraints: 84018
1849.89/1855.79 c #Conflicts: 697000 | #Constraints: 85018
1849.89/1855.79 c #Conflicts: 698000 | #Constraints: 86018
1849.89/1855.79 c #Conflicts: 699000 | #Constraints: 87018
1849.89/1855.79 c #Conflicts: 700000 | #Constraints: 88018
1849.89/1855.79 c #Conflicts: 701000 | #Constraints: 89018
1849.89/1855.79 c #Conflicts: 702000 | #Constraints: 90018
1849.89/1855.79 c #Conflicts: 703000 | #Constraints: 91018
1849.89/1855.79 c #Conflicts: 704000 | #Constraints: 92018
1849.89/1855.79 c #Conflicts: 705000 | #Constraints: 93018
1849.89/1855.79 c #Conflicts: 706000 | #Constraints: 94018
1849.89/1855.79 c #Conflicts: 707000 | #Constraints: 95018
1849.89/1855.79 c #Conflicts: 708000 | #Constraints: 96018
1849.89/1855.79 c #Conflicts: 709000 | #Constraints: 97018
1849.89/1855.79 c #Conflicts: 710000 | #Constraints: 98018
1849.89/1855.79 c #Conflicts: 711000 | #Constraints: 99018
1849.89/1855.79 c #Conflicts: 712000 | #Constraints: 100018
1849.89/1855.79 c #Conflicts: 713000 | #Constraints: 101018
1849.89/1855.79 c #Conflicts: 714000 | #Constraints: 102018
1849.89/1855.79 c #Conflicts: 715000 | #Constraints: 103018
1849.89/1855.79 c #Conflicts: 716000 | #Constraints: 104018
1849.89/1855.79 c #Conflicts: 717000 | #Constraints: 105018
1849.89/1855.79 c INPROCESSING
1849.89/1855.79 c GARBAGE COLLECT
1849.89/1855.79 c #Conflicts: 718000 | #Constraints: 62359
1849.89/1855.79 c #Conflicts: 719000 | #Constraints: 63359
1849.89/1855.79 c #Conflicts: 720000 | #Constraints: 64359
1849.89/1855.79 c #Conflicts: 721000 | #Constraints: 65359
1849.89/1855.79 c #Conflicts: 722000 | #Constraints: 66359
1849.89/1855.79 c #Conflicts: 723000 | #Constraints: 67359
1849.89/1855.79 c #Conflicts: 724000 | #Constraints: 68359
1849.89/1855.79 c #Conflicts: 725000 | #Constraints: 69359
1849.89/1855.79 c #Conflicts: 726000 | #Constraints: 70359
1849.89/1855.79 c #Conflicts: 727000 | #Constraints: 71359
1849.89/1855.79 c #Conflicts: 728000 | #Constraints: 72359
1849.89/1855.79 c #Conflicts: 729000 | #Constraints: 73359
1849.89/1855.79 c #Conflicts: 730000 | #Constraints: 74359
1849.89/1855.79 c #Conflicts: 731000 | #Constraints: 75359
1849.89/1855.79 c #Conflicts: 732000 | #Constraints: 76359
1849.89/1855.79 c #Conflicts: 733000 | #Constraints: 77359
1849.89/1855.79 c #Conflicts: 734000 | #Constraints: 78359
1849.89/1855.79 c #Conflicts: 735000 | #Constraints: 79359
1849.89/1855.79 c #Conflicts: 736000 | #Constraints: 80359
1849.89/1855.79 c #Conflicts: 737000 | #Constraints: 81359
1849.89/1855.79 c #Conflicts: 738000 | #Constraints: 82359
1849.89/1855.79 c #Conflicts: 739000 | #Constraints: 83359
1849.89/1855.79 c #Conflicts: 740000 | #Constraints: 84359
2069.03/2075.55 c INPROCESSING
2069.03/2075.55 c GARBAGE COLLECT
2069.03/2075.55 c #Conflicts: 741000 | #Constraints: 52193
2069.03/2075.55 c #Conflicts: 742000 | #Constraints: 53193
2069.03/2075.55 c #Conflicts: 743000 | #Constraints: 54193
2069.03/2075.55 c #Conflicts: 744000 | #Constraints: 55193
2069.03/2075.55 c #Conflicts: 745000 | #Constraints: 56193
2069.03/2075.55 c #Conflicts: 746000 | #Constraints: 57193
2069.03/2075.55 c #Conflicts: 747000 | #Constraints: 58194
2069.03/2075.55 c #Conflicts: 748000 | #Constraints: 59194
2069.03/2075.55 c #Conflicts: 749000 | #Constraints: 60194
2069.03/2075.55 c #Conflicts: 750000 | #Constraints: 61194
2069.03/2075.55 c #Conflicts: 751000 | #Constraints: 62194
2069.03/2075.55 c #Conflicts: 752000 | #Constraints: 63194
2069.03/2075.55 c #Conflicts: 753000 | #Constraints: 64194
2069.03/2075.55 c #Conflicts: 754000 | #Constraints: 65194
2069.03/2075.55 c #Conflicts: 755000 | #Constraints: 66194
2069.03/2075.55 c #Conflicts: 756000 | #Constraints: 67195
2069.03/2075.55 c #Conflicts: 757000 | #Constraints: 68195
2069.03/2075.55 c #Conflicts: 758000 | #Constraints: 69195
2069.03/2075.55 c #Conflicts: 759000 | #Constraints: 70195
2069.03/2075.55 c #Conflicts: 760000 | #Constraints: 71195
2069.03/2075.55 c #Conflicts: 761000 | #Constraints: 72195
2069.03/2075.55 c #Conflicts: 762000 | #Constraints: 73195
2069.03/2075.55 c #Conflicts: 763000 | #Constraints: 74195
2069.03/2075.55 c #Conflicts: 764000 | #Constraints: 75195
2069.03/2075.55 c #Conflicts: 765000 | #Constraints: 76195
2069.03/2075.55 c #Conflicts: 766000 | #Constraints: 77195
2069.03/2075.55 c #Conflicts: 767000 | #Constraints: 78195
2069.03/2075.55 c #Conflicts: 768000 | #Constraints: 79195
2069.03/2075.55 c #Conflicts: 769000 | #Constraints: 80195
2069.03/2075.55 c #Conflicts: 770000 | #Constraints: 81195
2069.03/2075.55 c #Conflicts: 771000 | #Constraints: 82195
2069.03/2075.55 c #Conflicts: 772000 | #Constraints: 83195
2069.03/2075.55 c #Conflicts: 773000 | #Constraints: 84195
2069.03/2075.55 c #Conflicts: 774000 | #Constraints: 85195
2069.03/2075.55 c #Conflicts: 775000 | #Constraints: 86195
2069.03/2075.55 c #Conflicts: 776000 | #Constraints: 87195
2069.03/2075.55 c #Conflicts: 777000 | #Constraints: 88195
2069.03/2075.55 c #Conflicts: 778000 | #Constraints: 89195
2069.03/2075.55 c #Conflicts: 779000 | #Constraints: 90195
2069.03/2075.55 c #Conflicts: 780000 | #Constraints: 91195
2069.03/2075.55 c #Conflicts: 781000 | #Constraints: 92195
2069.03/2075.55 c #Conflicts: 782000 | #Constraints: 93196
2069.03/2075.55 c #Conflicts: 783000 | #Constraints: 94196
2069.03/2075.55 c #Conflicts: 784000 | #Constraints: 95196
2069.03/2075.55 c #Conflicts: 785000 | #Constraints: 96196
2069.03/2075.55 c #Conflicts: 786000 | #Constraints: 97196
2069.03/2075.55 c #Conflicts: 787000 | #Constraints: 98196
2069.03/2075.55 c #Conflicts: 788000 | #Constraints: 99196
2069.03/2075.55 c #Conflicts: 789000 | #Constraints: 100196
2069.03/2075.55 c #Conflicts: 790000 | #Constraints: 101196
2069.03/2075.55 c #Conflicts: 791000 | #Constraints: 102196
2069.03/2075.55 c #Conflicts: 792000 | #Constraints: 103196
2069.03/2075.55 c #Conflicts: 793000 | #Constraints: 104196
2069.03/2075.55 c #Conflicts: 794000 | #Constraints: 105196
2069.03/2075.55 c #Conflicts: 795000 | #Constraints: 106196
2069.03/2075.55 c #Conflicts: 796000 | #Constraints: 107196
2069.03/2075.55 c #Conflicts: 797000 | #Constraints: 108196
2069.03/2075.55 c #Conflicts: 798000 | #Constraints: 109196
2069.03/2075.55 c #Conflicts: 799000 | #Constraints: 110196
2069.03/2075.55 c INPROCESSING
2069.03/2075.55 c GARBAGE COLLECT
2069.03/2075.55 c #Conflicts: 800000 | #Constraints: 64938
2069.03/2075.55 c #Conflicts: 801000 | #Constraints: 65938
2069.03/2075.55 c #Conflicts: 802000 | #Constraints: 66938
2069.03/2075.55 c #Conflicts: 803000 | #Constraints: 67938
2069.03/2075.55 c #Conflicts: 804000 | #Constraints: 68938
2069.03/2075.55 c #Conflicts: 805000 | #Constraints: 69938
2069.03/2075.55 c #Conflicts: 806000 | #Constraints: 70938
2069.03/2075.55 c #Conflicts: 807000 | #Constraints: 71938
2069.03/2075.55 c #Conflicts: 808000 | #Constraints: 72938
2069.03/2075.55 c #Conflicts: 809000 | #Constraints: 73938
2069.03/2075.55 c #Conflicts: 810000 | #Constraints: 74938
2069.03/2075.55 c #Conflicts: 811000 | #Constraints: 75938
2069.03/2075.55 c #Conflicts: 812000 | #Constraints: 76938
2069.03/2075.55 c #Conflicts: 813000 | #Constraints: 77938
2069.03/2075.55 c #Conflicts: 814000 | #Constraints: 78938
2069.03/2075.55 c #Conflicts: 815000 | #Constraints: 79938
2069.03/2075.55 c #Conflicts: 816000 | #Constraints: 80938
2069.03/2075.55 c #Conflicts: 817000 | #Constraints: 81938
2322.88/2330.16 c #Conflicts: 818000 | #Constraints: 82938
2322.88/2330.16 c #Conflicts: 819000 | #Constraints: 83938
2322.88/2330.16 c #Conflicts: 820000 | #Constraints: 84938
2322.88/2330.16 c #Conflicts: 821000 | #Constraints: 85938
2322.88/2330.16 c #Conflicts: 822000 | #Constraints: 86939
2322.88/2330.16 c #Conflicts: 823000 | #Constraints: 87939
2322.88/2330.16 c INPROCESSING
2322.88/2330.16 c GARBAGE COLLECT
2322.88/2330.16 c #Conflicts: 824000 | #Constraints: 53861
2322.88/2330.16 c #Conflicts: 825000 | #Constraints: 54861
2322.88/2330.16 c #Conflicts: 826000 | #Constraints: 55861
2322.88/2330.16 c #Conflicts: 827000 | #Constraints: 56861
2322.88/2330.16 c #Conflicts: 828000 | #Constraints: 57861
2322.88/2330.16 c #Conflicts: 829000 | #Constraints: 58861
2322.88/2330.16 c #Conflicts: 830000 | #Constraints: 59861
2322.88/2330.16 c #Conflicts: 831000 | #Constraints: 60861
2322.88/2330.16 c #Conflicts: 832000 | #Constraints: 61861
2322.88/2330.16 c #Conflicts: 833000 | #Constraints: 62861
2322.88/2330.16 c #Conflicts: 834000 | #Constraints: 63861
2322.88/2330.16 c #Conflicts: 835000 | #Constraints: 64861
2322.88/2330.16 c #Conflicts: 836000 | #Constraints: 65861
2322.88/2330.16 c #Conflicts: 837000 | #Constraints: 66861
2322.88/2330.16 c #Conflicts: 838000 | #Constraints: 67861
2322.88/2330.16 c #Conflicts: 839000 | #Constraints: 68861
2322.88/2330.16 c #Conflicts: 840000 | #Constraints: 69861
2322.88/2330.16 c #Conflicts: 841000 | #Constraints: 70861
2322.88/2330.16 c #Conflicts: 842000 | #Constraints: 71861
2322.88/2330.16 c #Conflicts: 843000 | #Constraints: 72861
2322.88/2330.16 c #Conflicts: 844000 | #Constraints: 73861
2322.88/2330.16 c #Conflicts: 845000 | #Constraints: 74861
2322.88/2330.16 c #Conflicts: 846000 | #Constraints: 75861
2322.88/2330.16 c #Conflicts: 847000 | #Constraints: 76861
2322.88/2330.16 c #Conflicts: 848000 | #Constraints: 77861
2322.88/2330.16 c #Conflicts: 849000 | #Constraints: 78861
2322.88/2330.16 c #Conflicts: 850000 | #Constraints: 79861
2322.88/2330.16 c #Conflicts: 851000 | #Constraints: 80861
2322.88/2330.16 c #Conflicts: 852000 | #Constraints: 81861
2322.88/2330.16 c #Conflicts: 853000 | #Constraints: 82861
2322.88/2330.16 c #Conflicts: 854000 | #Constraints: 83861
2322.88/2330.16 c #Conflicts: 855000 | #Constraints: 84861
2322.88/2330.16 c #Conflicts: 856000 | #Constraints: 85861
2322.88/2330.16 c #Conflicts: 857000 | #Constraints: 86861
2322.88/2330.16 c #Conflicts: 858000 | #Constraints: 87861
2322.88/2330.16 c #Conflicts: 859000 | #Constraints: 88861
2322.88/2330.16 c #Conflicts: 860000 | #Constraints: 89861
2322.88/2330.16 c #Conflicts: 861000 | #Constraints: 90861
2322.88/2330.16 c #Conflicts: 862000 | #Constraints: 91861
2322.88/2330.16 c #Conflicts: 863000 | #Constraints: 92861
2322.88/2330.16 c #Conflicts: 864000 | #Constraints: 93861
2322.88/2330.16 c #Conflicts: 865000 | #Constraints: 94861
2322.88/2330.16 c #Conflicts: 866000 | #Constraints: 95861
2322.88/2330.16 c #Conflicts: 867000 | #Constraints: 96861
2322.88/2330.16 c #Conflicts: 868000 | #Constraints: 97861
2322.88/2330.16 c #Conflicts: 869000 | #Constraints: 98861
2322.88/2330.16 c #Conflicts: 870000 | #Constraints: 99861
2322.88/2330.16 c #Conflicts: 871000 | #Constraints: 100861
2322.88/2330.16 c #Conflicts: 872000 | #Constraints: 101861
2322.88/2330.16 c #Conflicts: 873000 | #Constraints: 102861
2322.88/2330.16 c #Conflicts: 874000 | #Constraints: 103861
2322.88/2330.16 c #Conflicts: 875000 | #Constraints: 104861
2322.88/2330.16 c #Conflicts: 876000 | #Constraints: 105861
2322.88/2330.16 c #Conflicts: 877000 | #Constraints: 106861
2322.88/2330.16 c #Conflicts: 878000 | #Constraints: 107861
2322.88/2330.16 c #Conflicts: 879000 | #Constraints: 108861
2322.88/2330.16 c #Conflicts: 880000 | #Constraints: 109861
2322.88/2330.16 c #Conflicts: 881000 | #Constraints: 110861
2322.88/2330.16 c #Conflicts: 882000 | #Constraints: 111861
2322.88/2330.16 c #Conflicts: 883000 | #Constraints: 112861
2322.88/2330.16 c #Conflicts: 884000 | #Constraints: 113861
2322.88/2330.16 c #Conflicts: 885000 | #Constraints: 114861
2322.88/2330.16 c INPROCESSING
2322.88/2330.16 c GARBAGE COLLECT
2322.88/2330.16 c #Conflicts: 886000 | #Constraints: 67355
2322.88/2330.16 c #Conflicts: 887000 | #Constraints: 68355
2322.88/2330.16 c #Conflicts: 888000 | #Constraints: 69355
2322.88/2330.16 c #Conflicts: 889000 | #Constraints: 70355
2322.88/2330.16 c #Conflicts: 890000 | #Constraints: 71355
2322.88/2330.16 c #Conflicts: 891000 | #Constraints: 72355
2322.88/2330.16 c #Conflicts: 892000 | #Constraints: 73355
2322.88/2330.16 c #Conflicts: 893000 | #Constraints: 74355
2322.88/2330.16 c #Conflicts: 894000 | #Constraints: 75355
2322.88/2330.16 c #Conflicts: 895000 | #Constraints: 76355
2558.20/2566.14 c #Conflicts: 896000 | #Constraints: 77355
2558.20/2566.14 c #Conflicts: 897000 | #Constraints: 78355
2558.20/2566.14 c #Conflicts: 898000 | #Constraints: 79355
2558.20/2566.14 c #Conflicts: 899000 | #Constraints: 80355
2558.20/2566.14 c #Conflicts: 900000 | #Constraints: 81355
2558.20/2566.14 c #Conflicts: 901000 | #Constraints: 82355
2558.20/2566.14 c #Conflicts: 902000 | #Constraints: 83355
2558.20/2566.14 c #Conflicts: 903000 | #Constraints: 84355
2558.20/2566.14 c #Conflicts: 904000 | #Constraints: 85355
2558.20/2566.14 c #Conflicts: 905000 | #Constraints: 86355
2558.20/2566.14 c #Conflicts: 906000 | #Constraints: 87355
2558.20/2566.14 c #Conflicts: 907000 | #Constraints: 88355
2558.20/2566.14 c #Conflicts: 908000 | #Constraints: 89355
2558.20/2566.14 c #Conflicts: 909000 | #Constraints: 90355
2558.20/2566.14 c #Conflicts: 910000 | #Constraints: 91355
2558.20/2566.14 c INPROCESSING
2558.20/2566.14 c GARBAGE COLLECT
2558.20/2566.14 c #Conflicts: 911000 | #Constraints: 55295
2558.20/2566.14 c #Conflicts: 912000 | #Constraints: 56295
2558.20/2566.14 c #Conflicts: 913000 | #Constraints: 57295
2558.20/2566.14 c #Conflicts: 914000 | #Constraints: 58295
2558.20/2566.14 c #Conflicts: 915000 | #Constraints: 59295
2558.20/2566.14 c #Conflicts: 916000 | #Constraints: 60295
2558.20/2566.14 c #Conflicts: 917000 | #Constraints: 61295
2558.20/2566.14 c #Conflicts: 918000 | #Constraints: 62295
2558.20/2566.14 c #Conflicts: 919000 | #Constraints: 63295
2558.20/2566.14 c #Conflicts: 920000 | #Constraints: 64295
2558.20/2566.14 c #Conflicts: 921000 | #Constraints: 65295
2558.20/2566.14 c #Conflicts: 922000 | #Constraints: 66295
2558.20/2566.14 c #Conflicts: 923000 | #Constraints: 67295
2558.20/2566.14 c #Conflicts: 924000 | #Constraints: 68295
2558.20/2566.14 c #Conflicts: 925000 | #Constraints: 69295
2558.20/2566.14 c #Conflicts: 926000 | #Constraints: 70295
2558.20/2566.14 c #Conflicts: 927000 | #Constraints: 71295
2558.20/2566.14 c #Conflicts: 928000 | #Constraints: 72295
2558.20/2566.14 c #Conflicts: 929000 | #Constraints: 73295
2558.20/2566.14 c #Conflicts: 930000 | #Constraints: 74295
2558.20/2566.14 c #Conflicts: 931000 | #Constraints: 75295
2558.20/2566.14 c #Conflicts: 932000 | #Constraints: 76295
2558.20/2566.14 c #Conflicts: 933000 | #Constraints: 77295
2558.20/2566.14 c #Conflicts: 934000 | #Constraints: 78295
2558.20/2566.14 c #Conflicts: 935000 | #Constraints: 79295
2558.20/2566.14 c #Conflicts: 936000 | #Constraints: 80295
2558.20/2566.14 c #Conflicts: 937000 | #Constraints: 81295
2558.20/2566.14 c #Conflicts: 938000 | #Constraints: 82295
2558.20/2566.14 c #Conflicts: 939000 | #Constraints: 83295
2558.20/2566.14 c #Conflicts: 940000 | #Constraints: 84295
2558.20/2566.14 c #Conflicts: 941000 | #Constraints: 85295
2558.20/2566.14 c #Conflicts: 942000 | #Constraints: 86295
2558.20/2566.14 c #Conflicts: 943000 | #Constraints: 87295
2558.20/2566.14 c #Conflicts: 944000 | #Constraints: 88295
2558.20/2566.14 c #Conflicts: 945000 | #Constraints: 89295
2558.20/2566.14 c #Conflicts: 946000 | #Constraints: 90295
2558.20/2566.14 c #Conflicts: 947000 | #Constraints: 91295
2558.20/2566.14 c #Conflicts: 948000 | #Constraints: 92295
2558.20/2566.14 c #Conflicts: 949000 | #Constraints: 93295
2558.20/2566.14 c #Conflicts: 950000 | #Constraints: 94295
2558.20/2566.14 c #Conflicts: 951000 | #Constraints: 95295
2558.20/2566.14 c #Conflicts: 952000 | #Constraints: 96295
2558.20/2566.14 c #Conflicts: 953000 | #Constraints: 97295
2558.20/2566.14 c #Conflicts: 954000 | #Constraints: 98295
2558.20/2566.14 c #Conflicts: 955000 | #Constraints: 99295
2558.20/2566.14 c #Conflicts: 956000 | #Constraints: 100295
2558.20/2566.14 c #Conflicts: 957000 | #Constraints: 101295
2558.20/2566.14 c #Conflicts: 958000 | #Constraints: 102295
2558.20/2566.14 c #Conflicts: 959000 | #Constraints: 103295
2558.20/2566.14 c #Conflicts: 960000 | #Constraints: 104295
2558.20/2566.14 c #Conflicts: 961000 | #Constraints: 105295
2558.20/2566.14 c #Conflicts: 962000 | #Constraints: 106295
2558.20/2566.14 c #Conflicts: 963000 | #Constraints: 107295
2558.20/2566.14 c #Conflicts: 964000 | #Constraints: 108295
2558.20/2566.14 c #Conflicts: 965000 | #Constraints: 109295
2558.20/2566.14 c #Conflicts: 966000 | #Constraints: 110295
2558.20/2566.14 c #Conflicts: 967000 | #Constraints: 111295
2558.20/2566.14 c #Conflicts: 968000 | #Constraints: 112295
2558.20/2566.14 c #Conflicts: 969000 | #Constraints: 113295
2558.20/2566.14 c #Conflicts: 970000 | #Constraints: 114295
2558.20/2566.14 c #Conflicts: 971000 | #Constraints: 115295
2558.20/2566.14 c #Conflicts: 972000 | #Constraints: 116295
2558.20/2566.14 c #Conflicts: 973000 | #Constraints: 117295
2846.49/2855.19 c #Conflicts: 974000 | #Constraints: 118295
2846.49/2855.19 c #Conflicts: 975000 | #Constraints: 119295
2846.49/2855.19 c #Conflicts: 976000 | #Constraints: 120295
2846.49/2855.19 c INPROCESSING
2846.49/2855.19 c GARBAGE COLLECT
2846.49/2855.19 c #Conflicts: 977000 | #Constraints: 70011
2846.49/2855.19 c #Conflicts: 978000 | #Constraints: 71011
2846.49/2855.19 c #Conflicts: 979000 | #Constraints: 72011
2846.49/2855.19 c #Conflicts: 980000 | #Constraints: 73011
2846.49/2855.19 c #Conflicts: 981000 | #Constraints: 74011
2846.49/2855.19 c #Conflicts: 982000 | #Constraints: 75011
2846.49/2855.19 c #Conflicts: 983000 | #Constraints: 76011
2846.49/2855.19 c #Conflicts: 984000 | #Constraints: 77011
2846.49/2855.19 c #Conflicts: 985000 | #Constraints: 78011
2846.49/2855.19 c #Conflicts: 986000 | #Constraints: 79011
2846.49/2855.19 c #Conflicts: 987000 | #Constraints: 80011
2846.49/2855.19 c #Conflicts: 988000 | #Constraints: 81011
2846.49/2855.19 c #Conflicts: 989000 | #Constraints: 82011
2846.49/2855.19 c #Conflicts: 990000 | #Constraints: 83011
2846.49/2855.19 c #Conflicts: 991000 | #Constraints: 84011
2846.49/2855.19 c #Conflicts: 992000 | #Constraints: 85011
2846.49/2855.19 c #Conflicts: 993000 | #Constraints: 86011
2846.49/2855.19 c #Conflicts: 994000 | #Constraints: 87011
2846.49/2855.19 c #Conflicts: 995000 | #Constraints: 88011
2846.49/2855.19 c #Conflicts: 996000 | #Constraints: 89011
2846.49/2855.19 c #Conflicts: 997000 | #Constraints: 90011
2846.49/2855.19 c #Conflicts: 998000 | #Constraints: 91011
2846.49/2855.19 c #Conflicts: 999000 | #Constraints: 92011
2846.49/2855.19 c #Conflicts: 1000000 | #Constraints: 93011
2846.49/2855.19 c #Conflicts: 1001000 | #Constraints: 94011
2846.49/2855.19 c #Conflicts: 1002000 | #Constraints: 95011
2846.49/2855.19 c INPROCESSING
2846.49/2855.19 c GARBAGE COLLECT
2846.49/2855.19 c #Conflicts: 1003000 | #Constraints: 57288
2846.49/2855.19 c #Conflicts: 1004000 | #Constraints: 58288
2846.49/2855.19 c #Conflicts: 1005000 | #Constraints: 59288
2846.49/2855.19 c #Conflicts: 1006000 | #Constraints: 60288
2846.49/2855.19 c #Conflicts: 1007000 | #Constraints: 61288
2846.49/2855.19 c #Conflicts: 1008000 | #Constraints: 62288
2846.49/2855.19 c #Conflicts: 1009000 | #Constraints: 63288
2846.49/2855.19 c #Conflicts: 1010000 | #Constraints: 64288
2846.49/2855.19 c #Conflicts: 1011000 | #Constraints: 65288
2846.49/2855.19 c #Conflicts: 1012000 | #Constraints: 66288
2846.49/2855.19 c #Conflicts: 1013000 | #Constraints: 67288
2846.49/2855.19 c #Conflicts: 1014000 | #Constraints: 68288
2846.49/2855.19 c #Conflicts: 1015000 | #Constraints: 69288
2846.49/2855.19 c #Conflicts: 1016000 | #Constraints: 70288
2846.49/2855.19 c #Conflicts: 1017000 | #Constraints: 71288
2846.49/2855.19 c #Conflicts: 1018000 | #Constraints: 72288
2846.49/2855.19 c #Conflicts: 1019000 | #Constraints: 73288
2846.49/2855.19 c #Conflicts: 1020000 | #Constraints: 74288
2846.49/2855.19 c #Conflicts: 1021000 | #Constraints: 75288
2846.49/2855.19 c #Conflicts: 1022000 | #Constraints: 76288
2846.49/2855.19 c #Conflicts: 1023000 | #Constraints: 77288
2846.49/2855.19 c #Conflicts: 1024000 | #Constraints: 78288
2846.49/2855.19 c #Conflicts: 1025000 | #Constraints: 79288
2846.49/2855.19 c #Conflicts: 1026000 | #Constraints: 80288
2846.49/2855.19 c #Conflicts: 1027000 | #Constraints: 81288
2846.49/2855.19 c #Conflicts: 1028000 | #Constraints: 82288
2846.49/2855.19 c #Conflicts: 1029000 | #Constraints: 83288
2846.49/2855.19 c #Conflicts: 1030000 | #Constraints: 84288
2846.49/2855.19 c #Conflicts: 1031000 | #Constraints: 85288
2846.49/2855.19 c #Conflicts: 1032000 | #Constraints: 86288
2846.49/2855.19 c #Conflicts: 1033000 | #Constraints: 87288
2846.49/2855.19 c #Conflicts: 1034000 | #Constraints: 88288
2846.49/2855.19 c #Conflicts: 1035000 | #Constraints: 89288
2846.49/2855.19 c #Conflicts: 1036000 | #Constraints: 90288
2846.49/2855.19 c #Conflicts: 1037000 | #Constraints: 91288
2846.49/2855.19 c #Conflicts: 1038000 | #Constraints: 92288
2846.49/2855.19 c #Conflicts: 1039000 | #Constraints: 93288
2846.49/2855.19 c #Conflicts: 1040000 | #Constraints: 94288
2846.49/2855.19 c #Conflicts: 1041000 | #Constraints: 95288
2846.49/2855.19 c #Conflicts: 1042000 | #Constraints: 96288
2846.49/2855.19 c #Conflicts: 1043000 | #Constraints: 97288
2846.49/2855.19 c #Conflicts: 1044000 | #Constraints: 98288
2846.49/2855.19 c #Conflicts: 1045000 | #Constraints: 99288
2846.49/2855.19 c #Conflicts: 1046000 | #Constraints: 100288
2846.49/2855.19 c #Conflicts: 1047000 | #Constraints: 101288
2846.49/2855.19 c #Conflicts: 1048000 | #Constraints: 102289
2846.49/2855.19 c #Conflicts: 1049000 | #Constraints: 103289
2846.49/2855.19 c #Conflicts: 1050000 | #Constraints: 104289
3111.71/3121.05 c #Conflicts: 1051000 | #Constraints: 105289
3111.71/3121.05 c #Conflicts: 1052000 | #Constraints: 106289
3111.71/3121.05 c #Conflicts: 1053000 | #Constraints: 107289
3111.71/3121.05 c #Conflicts: 1054000 | #Constraints: 108289
3111.71/3121.05 c #Conflicts: 1055000 | #Constraints: 109289
3111.71/3121.05 c #Conflicts: 1056000 | #Constraints: 110289
3111.71/3121.05 c #Conflicts: 1057000 | #Constraints: 111289
3111.71/3121.05 c #Conflicts: 1058000 | #Constraints: 112289
3111.71/3121.05 c #Conflicts: 1059000 | #Constraints: 113289
3111.71/3121.05 c #Conflicts: 1060000 | #Constraints: 114289
3111.71/3121.05 c #Conflicts: 1061000 | #Constraints: 115289
3111.71/3121.05 c #Conflicts: 1062000 | #Constraints: 116289
3111.71/3121.05 c #Conflicts: 1063000 | #Constraints: 117289
3111.71/3121.05 c #Conflicts: 1064000 | #Constraints: 118289
3111.71/3121.05 c #Conflicts: 1065000 | #Constraints: 119289
3111.71/3121.05 c #Conflicts: 1066000 | #Constraints: 120289
3111.71/3121.05 c #Conflicts: 1067000 | #Constraints: 121289
3111.71/3121.05 c #Conflicts: 1068000 | #Constraints: 122289
3111.71/3121.05 c #Conflicts: 1069000 | #Constraints: 123289
3111.71/3121.05 c #Conflicts: 1070000 | #Constraints: 124289
3111.71/3121.05 c #Conflicts: 1071000 | #Constraints: 125289
3111.71/3121.05 c INPROCESSING
3111.71/3121.05 c GARBAGE COLLECT
3111.71/3121.05 c #Conflicts: 1072000 | #Constraints: 72613
3111.71/3121.05 c #Conflicts: 1073000 | #Constraints: 73613
3111.71/3121.05 c #Conflicts: 1074000 | #Constraints: 74613
3111.71/3121.05 c #Conflicts: 1075000 | #Constraints: 75613
3111.71/3121.05 c #Conflicts: 1076000 | #Constraints: 76613
3111.71/3121.05 c #Conflicts: 1077000 | #Constraints: 77613
3111.71/3121.05 c #Conflicts: 1078000 | #Constraints: 78613
3111.71/3121.05 c #Conflicts: 1079000 | #Constraints: 79613
3111.71/3121.05 c #Conflicts: 1080000 | #Constraints: 80613
3111.71/3121.05 c #Conflicts: 1081000 | #Constraints: 81613
3111.71/3121.05 c #Conflicts: 1082000 | #Constraints: 82613
3111.71/3121.05 c #Conflicts: 1083000 | #Constraints: 83613
3111.71/3121.05 c #Conflicts: 1084000 | #Constraints: 84613
3111.71/3121.05 c #Conflicts: 1085000 | #Constraints: 85613
3111.71/3121.05 c #Conflicts: 1086000 | #Constraints: 86613
3111.71/3121.05 c #Conflicts: 1087000 | #Constraints: 87613
3111.71/3121.05 c #Conflicts: 1088000 | #Constraints: 88613
3111.71/3121.05 c #Conflicts: 1089000 | #Constraints: 89613
3111.71/3121.05 c #Conflicts: 1090000 | #Constraints: 90613
3111.71/3121.05 c #Conflicts: 1091000 | #Constraints: 91613
3111.71/3121.05 c #Conflicts: 1092000 | #Constraints: 92613
3111.71/3121.05 c #Conflicts: 1093000 | #Constraints: 93613
3111.71/3121.05 c #Conflicts: 1094000 | #Constraints: 94613
3111.71/3121.05 c #Conflicts: 1095000 | #Constraints: 95613
3111.71/3121.05 c #Conflicts: 1096000 | #Constraints: 96613
3111.71/3121.05 c #Conflicts: 1097000 | #Constraints: 97613
3111.71/3121.05 c #Conflicts: 1098000 | #Constraints: 98613
3111.71/3121.05 c #Conflicts: 1099000 | #Constraints: 99613
3111.71/3121.05 c INPROCESSING
3111.71/3121.05 c GARBAGE COLLECT
3111.71/3121.05 c #Conflicts: 1100000 | #Constraints: 60008
3111.71/3121.05 c #Conflicts: 1101000 | #Constraints: 61008
3111.71/3121.05 c #Conflicts: 1102000 | #Constraints: 62008
3111.71/3121.05 c #Conflicts: 1103000 | #Constraints: 63008
3111.71/3121.05 c #Conflicts: 1104000 | #Constraints: 64008
3111.71/3121.05 c #Conflicts: 1105000 | #Constraints: 65008
3111.71/3121.05 c #Conflicts: 1106000 | #Constraints: 66008
3111.71/3121.05 c #Conflicts: 1107000 | #Constraints: 67008
3111.71/3121.05 c #Conflicts: 1108000 | #Constraints: 68008
3111.71/3121.05 c #Conflicts: 1109000 | #Constraints: 69008
3111.71/3121.05 c #Conflicts: 1110000 | #Constraints: 70008
3111.71/3121.05 c #Conflicts: 1111000 | #Constraints: 71008
3111.71/3121.05 c #Conflicts: 1112000 | #Constraints: 72008
3111.71/3121.05 c #Conflicts: 1113000 | #Constraints: 73008
3111.71/3121.05 c #Conflicts: 1114000 | #Constraints: 74008
3111.71/3121.05 c #Conflicts: 1115000 | #Constraints: 75008
3111.71/3121.05 c #Conflicts: 1116000 | #Constraints: 76008
3111.71/3121.05 c #Conflicts: 1117000 | #Constraints: 77008
3111.71/3121.05 c #Conflicts: 1118000 | #Constraints: 78008
3111.71/3121.05 c #Conflicts: 1119000 | #Constraints: 79008
3111.71/3121.05 c #Conflicts: 1120000 | #Constraints: 80008
3111.71/3121.05 c #Conflicts: 1121000 | #Constraints: 81008
3111.71/3121.05 c #Conflicts: 1122000 | #Constraints: 82008
3111.71/3121.05 c #Conflicts: 1123000 | #Constraints: 83008
3111.71/3121.05 c #Conflicts: 1124000 | #Constraints: 84008
3111.71/3121.05 c #Conflicts: 1125000 | #Constraints: 85008
3111.71/3121.05 c #Conflicts: 1126000 | #Constraints: 86008
3111.71/3121.05 c #Conflicts: 1127000 | #Constraints: 87008
3111.71/3121.05 c #Conflicts: 1128000 | #Constraints: 88008
3329.24/3339.17 c #Conflicts: 1129000 | #Constraints: 89008
3329.24/3339.17 c #Conflicts: 1130000 | #Constraints: 90008
3329.24/3339.17 c #Conflicts: 1131000 | #Constraints: 91008
3329.24/3339.17 c #Conflicts: 1132000 | #Constraints: 92008
3329.24/3339.17 c #Conflicts: 1133000 | #Constraints: 93008
3329.24/3339.17 c #Conflicts: 1134000 | #Constraints: 94008
3329.24/3339.17 c #Conflicts: 1135000 | #Constraints: 95008
3329.24/3339.17 c #Conflicts: 1136000 | #Constraints: 96008
3329.24/3339.17 c #Conflicts: 1137000 | #Constraints: 97008
3329.24/3339.17 c #Conflicts: 1138000 | #Constraints: 98008
3329.24/3339.17 c #Conflicts: 1139000 | #Constraints: 99008
3329.24/3339.17 c #Conflicts: 1140000 | #Constraints: 100008
3329.24/3339.17 c #Conflicts: 1141000 | #Constraints: 101008
3329.24/3339.17 c #Conflicts: 1142000 | #Constraints: 102008
3329.24/3339.17 c #Conflicts: 1143000 | #Constraints: 103008
3329.24/3339.17 c #Conflicts: 1144000 | #Constraints: 104008
3329.24/3339.17 c #Conflicts: 1145000 | #Constraints: 105008
3329.24/3339.17 c #Conflicts: 1146000 | #Constraints: 106008
3329.24/3339.17 c #Conflicts: 1147000 | #Constraints: 107008
3329.24/3339.17 c #Conflicts: 1148000 | #Constraints: 108008
3329.24/3339.17 c #Conflicts: 1149000 | #Constraints: 109008
3329.24/3339.17 c #Conflicts: 1150000 | #Constraints: 110008
3329.24/3339.17 c #Conflicts: 1151000 | #Constraints: 111008
3329.24/3339.17 c #Conflicts: 1152000 | #Constraints: 112008
3329.24/3339.17 c #Conflicts: 1153000 | #Constraints: 113008
3329.24/3339.17 c #Conflicts: 1154000 | #Constraints: 114008
3329.24/3339.17 c #Conflicts: 1155000 | #Constraints: 115008
3329.24/3339.17 c #Conflicts: 1156000 | #Constraints: 116008
3329.24/3339.17 c #Conflicts: 1157000 | #Constraints: 117008
3329.24/3339.17 c #Conflicts: 1158000 | #Constraints: 118008
3329.24/3339.17 c #Conflicts: 1159000 | #Constraints: 119008
3329.24/3339.17 c #Conflicts: 1160000 | #Constraints: 120008
3329.24/3339.17 c #Conflicts: 1161000 | #Constraints: 121008
3329.24/3339.17 c #Conflicts: 1162000 | #Constraints: 122008
3329.24/3339.17 c #Conflicts: 1163000 | #Constraints: 123008
3329.24/3339.17 c #Conflicts: 1164000 | #Constraints: 124008
3329.24/3339.17 c #Conflicts: 1165000 | #Constraints: 125008
3329.24/3339.17 c #Conflicts: 1166000 | #Constraints: 126008
3329.24/3339.17 c #Conflicts: 1167000 | #Constraints: 127008
3329.24/3339.17 c #Conflicts: 1168000 | #Constraints: 128008
3329.24/3339.17 c #Conflicts: 1169000 | #Constraints: 129008
3329.24/3339.17 c #Conflicts: 1170000 | #Constraints: 130008
3329.24/3339.17 c #Conflicts: 1171000 | #Constraints: 131008
3329.24/3339.17 c INPROCESSING
3329.24/3339.17 c GARBAGE COLLECT
3329.24/3339.17 c rational objective 138
3566.32/3576.86 c #Conflicts: 1172000 | #Constraints: 75646
3566.32/3576.86 c #Conflicts: 1173000 | #Constraints: 76646
3566.32/3576.86 c #Conflicts: 1174000 | #Constraints: 77646
3566.32/3576.86 c #Conflicts: 1175000 | #Constraints: 78646
3566.32/3576.86 c #Conflicts: 1176000 | #Constraints: 79646
3566.32/3576.86 c #Conflicts: 1177000 | #Constraints: 80646
3566.32/3576.86 c #Conflicts: 1178000 | #Constraints: 81646
3566.32/3576.86 c #Conflicts: 1179000 | #Constraints: 82646
3566.32/3576.86 c #Conflicts: 1180000 | #Constraints: 83646
3566.32/3576.86 c #Conflicts: 1181000 | #Constraints: 84646
3566.32/3576.86 c #Conflicts: 1182000 | #Constraints: 85646
3566.32/3576.86 c #Conflicts: 1183000 | #Constraints: 86646
3566.32/3576.86 c #Conflicts: 1184000 | #Constraints: 87646
3566.32/3576.86 c #Conflicts: 1185000 | #Constraints: 88646
3566.32/3576.86 c #Conflicts: 1186000 | #Constraints: 89646
3566.32/3576.86 c #Conflicts: 1187000 | #Constraints: 90646
3566.32/3576.86 c #Conflicts: 1188000 | #Constraints: 91646
3566.32/3576.86 c #Conflicts: 1189000 | #Constraints: 92646
3566.32/3576.86 c #Conflicts: 1190000 | #Constraints: 93646
3566.32/3576.86 c #Conflicts: 1191000 | #Constraints: 94646
3566.32/3576.86 c #Conflicts: 1192000 | #Constraints: 95646
3566.32/3576.86 c #Conflicts: 1193000 | #Constraints: 96646
3566.32/3576.86 c #Conflicts: 1194000 | #Constraints: 97646
3566.32/3576.86 c #Conflicts: 1195000 | #Constraints: 98646
3566.32/3576.86 c #Conflicts: 1196000 | #Constraints: 99646
3566.32/3576.86 c #Conflicts: 1197000 | #Constraints: 100646
3566.32/3576.86 c #Conflicts: 1198000 | #Constraints: 101646
3566.32/3576.86 c #Conflicts: 1199000 | #Constraints: 102646
3566.32/3576.86 c #Conflicts: 1200000 | #Constraints: 103646
3566.32/3576.86 c INPROCESSING
3566.32/3576.86 c GARBAGE COLLECT
3566.32/3576.86 c #Conflicts: 1201000 | #Constraints: 62218
3566.32/3576.86 c #Conflicts: 1202000 | #Constraints: 63218
3566.32/3576.86 c #Conflicts: 1203000 | #Constraints: 64218
3566.32/3576.86 c #Conflicts: 1204000 | #Constraints: 65218
3566.32/3576.86 c #Conflicts: 1205000 | #Constraints: 66218
3566.32/3576.86 c #Conflicts: 1206000 | #Constraints: 67218
3566.32/3576.86 c #Conflicts: 1207000 | #Constraints: 68218
3566.32/3576.86 c #Conflicts: 1208000 | #Constraints: 69218
3566.32/3576.86 c #Conflicts: 1209000 | #Constraints: 70218
3566.32/3576.86 c #Conflicts: 1210000 | #Constraints: 71218
3566.32/3576.86 c #Conflicts: 1211000 | #Constraints: 72218
3566.32/3576.86 c #Conflicts: 1212000 | #Constraints: 73218
3566.32/3576.86 c #Conflicts: 1213000 | #Constraints: 74218
3566.32/3576.86 c #Conflicts: 1214000 | #Constraints: 75218
3566.32/3576.86 c #Conflicts: 1215000 | #Constraints: 76218
3566.32/3576.86 c #Conflicts: 1216000 | #Constraints: 77218
3566.32/3576.86 c #Conflicts: 1217000 | #Constraints: 78218
3566.32/3576.86 c #Conflicts: 1218000 | #Constraints: 79218
3566.32/3576.86 c #Conflicts: 1219000 | #Constraints: 80218
3566.32/3576.86 c #Conflicts: 1220000 | #Constraints: 81218
3566.32/3576.86 c #Conflicts: 1221000 | #Constraints: 82218
3566.32/3576.86 c #Conflicts: 1222000 | #Constraints: 83218
3566.32/3576.86 c #Conflicts: 1223000 | #Constraints: 84218
3566.32/3576.86 c #Conflicts: 1224000 | #Constraints: 85218
3566.32/3576.86 c #Conflicts: 1225000 | #Constraints: 86218
3566.32/3576.86 c #Conflicts: 1226000 | #Constraints: 87218
3566.32/3576.86 c #Conflicts: 1227000 | #Constraints: 88218
3566.32/3576.86 c #Conflicts: 1228000 | #Constraints: 89218
3566.32/3576.86 c #Conflicts: 1229000 | #Constraints: 90218
3566.32/3576.86 c #Conflicts: 1230000 | #Constraints: 91218
3566.32/3576.86 c #Conflicts: 1231000 | #Constraints: 92218
3566.32/3576.86 c #Conflicts: 1232000 | #Constraints: 93218
3566.32/3576.86 c #Conflicts: 1233000 | #Constraints: 94218
3566.32/3576.86 c #Conflicts: 1234000 | #Constraints: 95218
3566.32/3576.86 c #Conflicts: 1235000 | #Constraints: 96218
3566.32/3576.86 c #Conflicts: 1236000 | #Constraints: 97218
3566.32/3576.86 c #Conflicts: 1237000 | #Constraints: 98218
3566.32/3576.86 c #Conflicts: 1238000 | #Constraints: 99218
3566.32/3576.86 c #Conflicts: 1239000 | #Constraints: 100218
3566.32/3576.86 c #Conflicts: 1240000 | #Constraints: 101218
3566.32/3576.86 c #Conflicts: 1241000 | #Constraints: 102218
3566.32/3576.86 c #Conflicts: 1242000 | #Constraints: 103218
3566.32/3576.86 c #Conflicts: 1243000 | #Constraints: 104218
3566.32/3576.86 c #Conflicts: 1244000 | #Constraints: 105218
3566.32/3576.86 c #Conflicts: 1245000 | #Constraints: 106218
3566.32/3576.86 c #Conflicts: 1246000 | #Constraints: 107218
3566.32/3576.86 c #Conflicts: 1247000 | #Constraints: 108218
3566.32/3576.86 c #Conflicts: 1248000 | #Constraints: 109218
3566.32/3576.86 c #Conflicts: 1249000 | #Constraints: 110218
3566.32/3576.86 c #Conflicts: 1250000 | #Constraints: 111218
3600.03/3610.60 c #Conflicts: 1251000 | #Constraints: 112218
3600.03/3610.60 c #Conflicts: 1252000 | #Constraints: 113218
3600.03/3610.60 c #Conflicts: 1253000 | #Constraints: 114218
3600.03/3610.60 c #Conflicts: 1254000 | #Constraints: 115218
3600.03/3610.60 c #Conflicts: 1255000 | #Constraints: 116218
3600.03/3610.60 c #Conflicts: 1256000 | #Constraints: 117218
3600.03/3610.60 c #Conflicts: 1257000 | #Constraints: 118218
3600.03/3610.60 c #Conflicts: 1258000 | #Constraints: 119218
3600.03/3610.60 c cpu time 3574.58 s
3600.03/3610.60 c deterministic time 209746019385 2.10e+11
3600.03/3610.60 c optimization time 182.59 s
3600.03/3610.60 c total solve time 3391.9 s
3600.03/3610.60 c core-guided solve time 0 s
3600.03/3610.60 c propagation time 1651.82 s
3600.03/3610.60 c conflict analysis time 1528.7 s
3600.03/3610.60 c propagations 1259676258
3600.03/3610.60 c resolve steps 94108607
3600.03/3610.60 c decisions 19021040
3600.03/3610.60 c conflicts 1258078
3600.03/3610.60 c restarts 2395
3600.03/3610.60 c inprocessing phases 50
3600.03/3610.60 c garbage collections 50 ,( 100.00 )
3600.03/3610.60 c input clauses 16562 ,( 99.17 )
3600.03/3610.60 c input cardinalities 138 ,( 0.83 )
3600.03/3610.60 c input general constraints 0 ,( 0.00 )
3600.03/3610.60 c input average constraint length 6.43
3600.03/3610.60 c input average constraint degree 1.97
3600.03/3610.60 c learned clauses 942986 ,( 74.95 )
3600.03/3610.60 c learned cardinalities 34671 ,( 2.76 )
3600.03/3610.60 c learned general constraints 280432 ,( 22.29 )
3600.03/3610.60 c learned average constraint length 767.17
3600.03/3610.60 c learned average constraint degree 35032770.58
3600.03/3610.60 c watched CF 32, 64, 128, Arb: 77641 , 0 , 0 , 0
3600.03/3610.60 c counting CF 32, 64, 128, Arb: 202791 , 0 , 0 , 0
3600.03/3610.60 c watched constraints 77641 ,( 27.69 )
3600.03/3610.60 c counting constraints 202791 ,( 72.31 )
3600.03/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1274693084 , 498978356 , 2070080425 ,( 84409912 , 1985670513 )
3600.03/3610.60 c gcd simplifications 750
3600.03/3610.60 c detected cardinalities 3952
3600.03/3610.60 c weakened non-implied lits 378988654
3600.03/3610.60 c weakened non-implying lits 217906
3600.03/3610.60 c original variables 16422
3600.03/3610.60 c clausal propagations 572525838
3600.03/3610.60 c cardinality propagations 445507273
3600.03/3610.60 c watched propagations 4252968
3600.03/3610.60 c counting propagations 227449862
3600.03/3610.60 c watch lookups 87583169692
3600.03/3610.60 c watch backjump lookups 0
3600.03/3610.60 c watch checks 31312238602
3600.03/3610.60 c propagation checks 83684398393
3600.03/3610.60 c constraint additions 4607296385
3600.03/3610.60 c trail pops 1279943485
3600.03/3610.60 c formula constraints 16700
3600.03/3610.60 c learned constraints 1258071
3600.03/3610.60 c bound constraints 0
3600.03/3610.60 c core-guided constraints 0
3600.03/3610.60 c encountered formula constraints 64109918
3600.03/3610.60 c encountered learned constraints 31255823
3600.03/3610.60 c encountered bound constraints 0
3600.03/3610.60 c encountered core-guided constraints 0
3600.03/3610.60 c LP total time 385.87 s
3600.03/3610.60 c LP solve time 349.67 s
3600.03/3610.60 c LP constraints added 17640
3600.03/3610.60 c LP constraints removed 679
3600.03/3610.60 c LP pivots internal 133244
3600.03/3610.60 c LP pivots root 142285
3600.03/3610.60 c LP calls 20
3600.03/3610.60 c LP optimalities 8
3600.03/3610.60 c LP no pivot count 1
3600.03/3610.60 c LP infeasibilities 6
3600.03/3610.60 c LP valid Farkas constraints 6
3600.03/3610.60 c LP learned Farkas constraints 6
3600.03/3610.60 c LP basis resets 0
3600.03/3610.60 c LP cycling count 0
3600.03/3610.60 c LP singular count 0
3600.03/3610.60 c LP no primal count 0
3600.03/3610.60 c LP no farkas count 0
3600.03/3610.60 c LP other issue count 0
3600.03/3610.60 c LP Gomory cuts 6
3600.03/3610.60 c LP learned cuts 1190
3600.03/3610.60 c LP deleted cuts 878
3600.03/3610.60 c LP encountered Gomory constraints 0
3600.03/3610.60 c LP encountered Farkas constraints 934
3600.03/3610.60 c LP encountered learned Farkas constraints 4
3600.03/3610.60 c CG auxiliary variables introduced 0
3600.03/3610.60 c CG solutions found 0
3600.03/3610.60 c CG cores constructed 0
3600.03/3610.60 c CG core cardinality constraints returned 0
3600.03/3610.60 c CG unit cores 0
3600.03/3610.60 c CG single cores 0
3600.03/3610.60 c CG blocks removed during cardinality reduction 0
3600.03/3610.60 c CG first core best 0
3600.03/3610.60 c CG decision core best 0
3600.03/3610.60 c CG core reduction tie 0
3600.03/3610.60 c CG core degree average 0.00
3600.03/3610.60 c CG core slack average 0.00
3600.03/3610.60 c CG core upper bound improvements 0
3600.03/3610.60 c STR number of successful calls 0
3600.03/3610.60 c STR number of unsuccessful calls 0
3600.03/3610.60 c STR number of inconclusive calls 0
3600.03/3610.60 c STR number of successful attempts 0
3600.03/3610.60 c STR number of unsuccessful attempts 0
3600.03/3610.60 c STR number of inconclusive attempts 0
3600.03/3610.60 c STR average degree increase per successful call inf
3600.03/3610.60 c STR average degree increase per successful attempt inf
3600.03/3610.60 c STR total number of conflicts for successful attempts 0
3600.03/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.60 c STR average number of conflicts per successful attempt inf
3600.03/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.60 c AVG.sumWPerc 64.62
3600.03/3610.60 c bigint constraints 0
3600.03/3610.60 s UNKNOWN
3600.03/3610.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62110 MiB free)
memory of node 1: 64507 MiB (60951 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506799-1751172541/watcher-4506799-1751172541 -o /tmp/evaluation-result-4506799-1751172541/solver-4506799-1751172541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22982 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506799-1751172541.opb PROOFDIR/proof-4506799-1751172541
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23441, runsolver pid=23438
Current StackSize limit: 8192 KiB
[startup+0.100073 s]*
/proc/loadavg: 4.12 4.10 4.08 2/261 23443
/proc/meminfo: memFree=126014424/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=50796 memory=7296 CPUtime=0 cores=4,6
/proc/23443/stat : 23443 (roundingsat) D 23441 23441 22971 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 32932009 52015104 1824 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.205016 s]*
/proc/loadavg: 4.12 4.10 4.08 2/261 23443
/proc/meminfo: memFree=126014424/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=50796 memory=7296 CPUtime=0 cores=4,6
/proc/23443/stat : 23443 (roundingsat) D 23441 23441 22971 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 32932009 52015104 1824 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.304612 s]*
/proc/loadavg: 4.12 4.10 4.08 3/261 23443
/proc/meminfo: memFree=126827764/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=50796 memory=7296 CPUtime=0 cores=4,6
/proc/23443/stat : 23443 (roundingsat) D 23441 23441 22971 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 32932009 52015104 1824 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+0.700161 s]
/proc/loadavg: 4.12 4.10 4.08 3/263 23452
/proc/meminfo: memFree=127644948/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=50796 memory=7296 CPUtime=0 cores=4,6
/proc/23443/stat : 23443 (roundingsat) D 23441 23441 22971 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 32932009 52015104 1824 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 12699 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10240 KiB
[startup+1.5002 s]
/proc/loadavg: 4.11 4.10 4.08 4/268 23473
/proc/meminfo: memFree=128596844/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=108936 memory=53624 CPUtime=0.72 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 11999 0 0 0 69 3 0 0 20 0 1 0 32932009 111550464 13406 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 27234 13406 2272 1147 0 14661 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 56568 KiB
[startup+3.10548 s]
/proc/loadavg: 4.11 4.10 4.08 5/273 23483
/proc/meminfo: memFree=128533388/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=112264 memory=57080 CPUtime=2.3 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 12871 0 0 0 227 3 0 0 20 0 1 0 32932009 114958336 14270 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 28066 14270 2272 1147 0 15493 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 116456 KiB
Current children cumulated memory: 60024 KiB
heavy processes:
[startup+6.30015 s]
/proc/loadavg: 4.10 4.10 4.08 5/272 23484
/proc/meminfo: memFree=128509880/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=115920 memory=65324 CPUtime=5.49 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 14379 0 0 0 537 12 0 0 20 0 1 0 32932009 118702080 16331 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 28980 16331 2336 1147 0 16407 0
Current children cumulated CPU time: 5.49 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 68268 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.10 4.08 5/272 23484
/proc/meminfo: memFree=128448896/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=125724 memory=74284 CPUtime=11.87 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 16660 0 0 0 1163 24 0 0 20 0 1 0 32932009 128741376 18571 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 31431 18571 2336 1147 0 18858 0
Current children cumulated CPU time: 11.87 s
Current children cumulated vsize: 129916 KiB
Current children cumulated memory: 77228 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.08 5/273 23486
/proc/meminfo: memFree=128325168/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=134268 memory=83116 CPUtime=24.65 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 18854 0 0 0 2420 45 0 0 20 0 1 0 32932009 137490432 20779 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 33567 20779 2336 1147 0 20994 0
Current children cumulated CPU time: 24.65 s
Current children cumulated vsize: 138460 KiB
Current children cumulated memory: 86060 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.10 4.08 5/272 23486
/proc/meminfo: memFree=128138184/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=163136 memory=111452 CPUtime=50.18 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 23385 0 0 0 4925 93 0 0 20 0 1 0 32932009 167051264 27863 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 40784 27863 2336 1147 0 28211 0
Current children cumulated CPU time: 50.18 s
Current children cumulated vsize: 167328 KiB
Current children cumulated memory: 114396 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 23490
/proc/meminfo: memFree=127700720/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=215556 memory=152552 CPUtime=101.24 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 29657 0 0 0 9963 161 0 0 20 0 1 0 32932009 220729344 38138 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 53889 38138 2336 1147 0 41316 0
Current children cumulated CPU time: 101.24 s
Current children cumulated vsize: 219748 KiB
Current children cumulated memory: 155496 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/274 23493
/proc/meminfo: memFree=127229248/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=237824 memory=175644 CPUtime=161.08 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 34928 0 0 0 15877 231 0 0 20 0 1 0 32932009 243531776 43911 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 59456 43911 2336 1147 0 46883 0
Current children cumulated CPU time: 161.08 s
Current children cumulated vsize: 242016 KiB
Current children cumulated memory: 178588 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/274 23495
/proc/meminfo: memFree=126929404/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=277700 memory=214568 CPUtime=220.91 cores=4,6
################
# More data... #
################
/proc/23443/statm: 278877 233199 2464 1147 0 266304 0
Current children cumulated CPU time: 3033.2 s
Current children cumulated vsize: 1119700 KiB
Current children cumulated memory: 935740 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 23705
/proc/meminfo: memFree=105358412/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=1115508 memory=932796 CPUtime=3093.05 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 121192 0 0 0 307069 2236 0 0 20 0 1 0 32932009 1142280192 233199 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 278877 233199 2464 1147 0 266304 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 1119700 KiB
Current children cumulated memory: 935740 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 23708
/proc/meminfo: memFree=105028296/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=1115508 memory=932796 CPUtime=3152.89 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 121418 0 0 0 313008 2281 0 0 20 0 1 0 32932009 1142280192 233199 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 278877 233199 2464 1147 0 266304 0
Current children cumulated CPU time: 3152.89 s
Current children cumulated vsize: 1119700 KiB
Current children cumulated memory: 935740 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23710
/proc/meminfo: memFree=104721704/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=1115508 memory=932796 CPUtime=3212.74 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 121420 0 0 0 318959 2315 0 0 20 0 1 0 32932009 1142280192 233199 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 278877 233199 2464 1147 0 266304 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 1119700 KiB
Current children cumulated memory: 935740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/274 23716
/proc/meminfo: memFree=104359300/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=1116884 memory=933564 CPUtime=3272.58 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 121646 0 0 0 324914 2344 0 0 20 0 1 0 32932009 1143689216 233391 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 279221 233391 2464 1147 0 266648 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 1121076 KiB
Current children cumulated memory: 936508 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 23718
/proc/meminfo: memFree=103970200/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=1144368 memory=959144 CPUtime=3332.42 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 127520 0 0 0 330873 2369 0 0 20 0 1 0 32932009 1171832832 239786 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 286092 239786 2464 1147 0 273519 0
Current children cumulated CPU time: 3332.42 s
Current children cumulated vsize: 1148560 KiB
Current children cumulated memory: 962088 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 23725
/proc/meminfo: memFree=103431580/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=1145984 memory=960808 CPUtime=3392.26 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 127924 0 0 0 336811 2415 0 0 20 0 1 0 32932009 1173487616 240202 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 286496 240202 2464 1147 0 273923 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 1150176 KiB
Current children cumulated memory: 963752 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 23729
/proc/meminfo: memFree=103087796/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=1147788 memory=962472 CPUtime=3452.11 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 128364 0 0 0 342746 2465 0 0 20 0 1 0 32932009 1175334912 240618 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 286947 240618 2464 1147 0 274374 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 1151980 KiB
Current children cumulated memory: 965416 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/273 23731
/proc/meminfo: memFree=102796348/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=1147788 memory=962472 CPUtime=3511.97 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 128364 0 0 0 348709 2488 0 0 20 0 1 0 32932009 1175334912 240618 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 286947 240618 2464 1147 0 274374 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 1151980 KiB
Current children cumulated memory: 965416 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/271 23732
/proc/meminfo: memFree=102405080/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=1147788 memory=962472 CPUtime=3571.81 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 128597 0 0 0 354654 2527 0 0 20 0 1 0 32932009 1175334912 240618 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 286947 240618 2464 1147 0 274374 0
Current children cumulated CPU time: 3571.81 s
Current children cumulated vsize: 1151980 KiB
Current children cumulated memory: 965416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 23743
/proc/meminfo: memFree=103304548/131249996 swapFree=33010684/33010684
[pid=23441] ppid=23438 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/23441/stat : 23441 (run-dec-ls-log.) S 23438 23441 22971 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32932008 4292608 736 18446744073709551615 94736854003712 94736854898245 140726505565440 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94736855137296 94736855185040 94736863875072 140726505572635 140726505572833 140726505572833 140726505578435 0
/proc/23441/statm: 1048 736 672 219 0 110 0
[pid=23443] ppid=23441 vsize=1147788 memory=962472 CPUtime=3600.03 cores=4,6
/proc/23443/stat : 23443 (roundingsat) R 23441 23441 22971 0 -1 4194304 128598 0 0 0 357457 2546 0 0 20 0 1 0 32932009 1175334912 240618 18446744073709551615 4227072 8923433 140723387067296 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18436096 140723387074896 140723387075112 140723387075112 140723387080682 0
/proc/23443/statm: 286947 240618 2464 1147 0 274374 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1151980 KiB
Current children cumulated memory: 965416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 23441 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000928 s, system=0.000929 s
[startup+3610.65 s]
# the end of solver process 23443 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.59 s, system=25.4803 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.65
CPU time (s): 3600.07
CPU user time (s): 3574.59
CPU system time (s): 25.4803
CPU usage (%): 99.707
Max. virtual memory (cumulated for all children) (KiB): 1151980
Max. memory (cumulated for all children) (KiB): 965416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.59
system time used= 25.4803
maximum resident set size= 962728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128828
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12590872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1205
involuntary context switches= 4930
# summary of solver processes directly reported to runsolver:
# pid: 23441,23443
# total CPU time (s): 3600.07
# total CPU user time (s): 3574.59
# total CPU system time (s): 25.4803
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34694 second user time and 15.9833 second system time
The end
Begin job on nodeC024 at 2025-06-29 06:49:01
IDJOB=4506799
IDBENCH=158265
IDSOLVER=3354
FILE ID=nodeC024/4506799-1751172541
RUNJOBID= nodeC024-1751168926-22982
SLURM_JOB_ID= 9587515
Free space on /tmp= 433000 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4506799-1751172541/watcher-4506799-1751172541 -o /tmp/evaluation-result-4506799-1751172541/solver-4506799-1751172541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22982 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4506799-1751172541.opb PROOFDIR/proof-4506799-1751172541
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=781326162
nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.973
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.681
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3506.845
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.674
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.675
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3485.787
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3615.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126014672 kB
MemAvailable: 128947812 kB
Buffers: 3280 kB
Cached: 3739684 kB
SwapCached: 0 kB
Active: 1094892 kB
Inactive: 3519680 kB
Active(anon): 889672 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 3519680 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 27484 kB
Writeback: 0 kB
AnonPages: 871960 kB
Mapped: 108344 kB
Shmem: 18064 kB
KReclaimable: 94560 kB
Slab: 180340 kB
SReclaimable: 94560 kB
SUnreclaim: 85780 kB
KernelStack: 4208 kB
PageTables: 4548 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1268092 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 798720 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC024 at 2025-06-29 07:49:12