0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 9003 #constraints 7505
146.31/146.78 c #Conflicts: 1000 | #Constraints: 8504
146.31/146.78 c #Conflicts: 2000 | #Constraints: 9504
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 3000 | #Constraints: 9508
146.31/146.78 c #Conflicts: 4000 | #Constraints: 10508
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 5000 | #Constraints: 9918
146.31/146.78 c #Conflicts: 6000 | #Constraints: 10918
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 7000 | #Constraints: 9927
146.31/146.78 c #Conflicts: 8000 | #Constraints: 10927
146.31/146.78 c #Conflicts: 9000 | #Constraints: 11927
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 10000 | #Constraints: 10710
146.31/146.78 c #Conflicts: 11000 | #Constraints: 11710
146.31/146.78 c #Conflicts: 12000 | #Constraints: 12710
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 13000 | #Constraints: 11166
146.31/146.78 c #Conflicts: 14000 | #Constraints: 12166
146.31/146.78 c #Conflicts: 15000 | #Constraints: 13166
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 16000 | #Constraints: 11441
146.31/146.78 c #Conflicts: 17000 | #Constraints: 12441
146.31/146.78 c #Conflicts: 18000 | #Constraints: 13441
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 19000 | #Constraints: 11481
146.31/146.78 c #Conflicts: 20000 | #Constraints: 12481
146.31/146.78 c #Conflicts: 21000 | #Constraints: 13482
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 22000 | #Constraints: 11270
146.31/146.78 c #Conflicts: 23000 | #Constraints: 12270
146.31/146.78 c #Conflicts: 24000 | #Constraints: 13270
146.31/146.78 c #Conflicts: 25000 | #Constraints: 14270
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 26000 | #Constraints: 11890
146.31/146.78 c #Conflicts: 27000 | #Constraints: 12890
146.31/146.78 c #Conflicts: 28000 | #Constraints: 13890
146.31/146.78 c #Conflicts: 29000 | #Constraints: 14890
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 30000 | #Constraints: 12359
146.31/146.78 c #Conflicts: 31000 | #Constraints: 13359
146.31/146.78 c #Conflicts: 32000 | #Constraints: 14359
146.31/146.78 c #Conflicts: 33000 | #Constraints: 15359
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 34000 | #Constraints: 12585
146.31/146.78 c #Conflicts: 35000 | #Constraints: 13585
146.31/146.78 c #Conflicts: 36000 | #Constraints: 14585
146.31/146.78 c #Conflicts: 37000 | #Constraints: 15585
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 38000 | #Constraints: 12607
146.31/146.78 c #Conflicts: 39000 | #Constraints: 13607
146.31/146.78 c #Conflicts: 40000 | #Constraints: 14607
146.31/146.78 c #Conflicts: 41000 | #Constraints: 15607
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 42000 | #Constraints: 12300
146.31/146.78 c #Conflicts: 43000 | #Constraints: 13300
146.31/146.78 c #Conflicts: 44000 | #Constraints: 14300
146.31/146.78 c #Conflicts: 45000 | #Constraints: 15300
146.31/146.78 c #Conflicts: 46000 | #Constraints: 16300
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 47000 | #Constraints: 12845
146.31/146.78 c #Conflicts: 48000 | #Constraints: 13845
146.31/146.78 c #Conflicts: 49000 | #Constraints: 14845
146.31/146.78 c #Conflicts: 50000 | #Constraints: 15845
146.31/146.78 c #Conflicts: 51000 | #Constraints: 16845
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 52000 | #Constraints: 13221
146.31/146.78 c #Conflicts: 53000 | #Constraints: 14222
146.31/146.78 c #Conflicts: 54000 | #Constraints: 15222
146.31/146.78 c #Conflicts: 55000 | #Constraints: 16222
146.31/146.78 c #Conflicts: 56000 | #Constraints: 17222
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 57000 | #Constraints: 13401
146.31/146.78 c #Conflicts: 58000 | #Constraints: 14401
146.31/146.78 c #Conflicts: 59000 | #Constraints: 15401
146.31/146.78 c #Conflicts: 60000 | #Constraints: 16401
146.31/146.78 c #Conflicts: 61000 | #Constraints: 17401
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 62000 | #Constraints: 13396
146.31/146.78 c #Conflicts: 63000 | #Constraints: 14396
146.31/146.78 c #Conflicts: 64000 | #Constraints: 15396
146.31/146.78 c #Conflicts: 65000 | #Constraints: 16396
146.31/146.78 c #Conflicts: 66000 | #Constraints: 17396
146.31/146.78 c INPROCESSING
146.31/146.78 c GARBAGE COLLECT
146.31/146.78 c #Conflicts: 67000 | #Constraints: 13264
146.31/146.78 c #Conflicts: 68000 | #Constraints: 14264
264.23/264.99 c #Conflicts: 69000 | #Constraints: 15264
264.23/264.99 c #Conflicts: 70000 | #Constraints: 16264
264.23/264.99 c #Conflicts: 71000 | #Constraints: 17264
264.23/264.99 c #Conflicts: 72000 | #Constraints: 18264
264.23/264.99 c INPROCESSING
264.23/264.99 c GARBAGE COLLECT
264.23/264.99 c #Conflicts: 73000 | #Constraints: 13884
264.23/264.99 c #Conflicts: 74000 | #Constraints: 14884
264.23/264.99 c #Conflicts: 75000 | #Constraints: 15884
264.23/264.99 c #Conflicts: 76000 | #Constraints: 16884
264.23/264.99 c #Conflicts: 77000 | #Constraints: 17884
264.23/264.99 c #Conflicts: 78000 | #Constraints: 18884
264.23/264.99 c INPROCESSING
264.23/264.99 c GARBAGE COLLECT
264.23/264.99 c #Conflicts: 79000 | #Constraints: 14218
264.23/264.99 c #Conflicts: 80000 | #Constraints: 15218
264.23/264.99 c #Conflicts: 81000 | #Constraints: 16218
264.23/264.99 c #Conflicts: 82000 | #Constraints: 17218
264.23/264.99 c #Conflicts: 83000 | #Constraints: 18218
264.23/264.99 c #Conflicts: 84000 | #Constraints: 19218
264.23/264.99 c INPROCESSING
264.23/264.99 c GARBAGE COLLECT
264.23/264.99 c #Conflicts: 85000 | #Constraints: 14385
264.23/264.99 c #Conflicts: 86000 | #Constraints: 15385
264.23/264.99 c #Conflicts: 87000 | #Constraints: 16386
264.23/264.99 c #Conflicts: 88000 | #Constraints: 17386
264.23/264.99 c #Conflicts: 89000 | #Constraints: 18386
264.23/264.99 c #Conflicts: 90000 | #Constraints: 19386
264.23/264.99 c INPROCESSING
264.23/264.99 c GARBAGE COLLECT
264.23/264.99 c #Conflicts: 91000 | #Constraints: 14374
264.23/264.99 c #Conflicts: 92000 | #Constraints: 15374
264.23/264.99 c #Conflicts: 93000 | #Constraints: 16374
264.23/264.99 c #Conflicts: 94000 | #Constraints: 17375
264.23/264.99 c #Conflicts: 95000 | #Constraints: 18375
264.23/264.99 c #Conflicts: 96000 | #Constraints: 19375
264.23/264.99 c INPROCESSING
264.23/264.99 c GARBAGE COLLECT
264.23/264.99 c #Conflicts: 97000 | #Constraints: 14172
264.23/264.99 c #Conflicts: 98000 | #Constraints: 15173
264.23/264.99 c #Conflicts: 99000 | #Constraints: 16173
264.23/264.99 c #Conflicts: 100000 | #Constraints: 17173
264.23/264.99 c #Conflicts: 101000 | #Constraints: 18173
264.23/264.99 c #Conflicts: 102000 | #Constraints: 19173
264.23/264.99 c #Conflicts: 103000 | #Constraints: 20173
264.23/264.99 c INPROCESSING
264.23/264.99 c GARBAGE COLLECT
264.23/264.99 c #Conflicts: 104000 | #Constraints: 14778
264.23/264.99 c #Conflicts: 105000 | #Constraints: 15778
264.23/264.99 c #Conflicts: 106000 | #Constraints: 16778
264.23/264.99 c #Conflicts: 107000 | #Constraints: 17779
264.23/264.99 c #Conflicts: 108000 | #Constraints: 18779
264.23/264.99 c #Conflicts: 109000 | #Constraints: 19779
264.23/264.99 c #Conflicts: 110000 | #Constraints: 20779
264.23/264.99 c INPROCESSING
264.23/264.99 c GARBAGE COLLECT
264.23/264.99 c #Conflicts: 111000 | #Constraints: 15181
264.23/264.99 c #Conflicts: 112000 | #Constraints: 16181
264.23/264.99 c #Conflicts: 113000 | #Constraints: 17181
264.23/264.99 c #Conflicts: 114000 | #Constraints: 18181
264.23/264.99 c #Conflicts: 115000 | #Constraints: 19182
264.23/264.99 c #Conflicts: 116000 | #Constraints: 20182
264.23/264.99 c #Conflicts: 117000 | #Constraints: 21182
264.23/264.99 c INPROCESSING
264.23/264.99 c GARBAGE COLLECT
264.23/264.99 c #Conflicts: 118000 | #Constraints: 15380
264.23/264.99 c #Conflicts: 119000 | #Constraints: 16381
264.23/264.99 c #Conflicts: 120000 | #Constraints: 17381
264.23/264.99 c #Conflicts: 121000 | #Constraints: 18381
264.23/264.99 c #Conflicts: 122000 | #Constraints: 19381
264.23/264.99 c #Conflicts: 123000 | #Constraints: 20381
264.23/264.99 c #Conflicts: 124000 | #Constraints: 21381
264.23/264.99 c INPROCESSING
264.23/264.99 c GARBAGE COLLECT
264.23/264.99 c #Conflicts: 125000 | #Constraints: 15392
264.23/264.99 c #Conflicts: 126000 | #Constraints: 16393
264.23/264.99 c #Conflicts: 127000 | #Constraints: 17393
264.23/264.99 c #Conflicts: 128000 | #Constraints: 18393
264.23/264.99 c #Conflicts: 129000 | #Constraints: 19393
264.23/264.99 c #Conflicts: 130000 | #Constraints: 20393
264.23/264.99 c #Conflicts: 131000 | #Constraints: 21393
264.23/264.99 c INPROCESSING
264.23/264.99 c GARBAGE COLLECT
264.23/264.99 c rational objective 4501.5
439.61/440.79 c #Conflicts: 132000 | #Constraints: 15203
439.61/440.79 c #Conflicts: 133000 | #Constraints: 16203
439.61/440.79 c #Conflicts: 134000 | #Constraints: 17204
439.61/440.79 c #Conflicts: 135000 | #Constraints: 18204
439.61/440.79 c #Conflicts: 136000 | #Constraints: 19204
439.61/440.79 c #Conflicts: 137000 | #Constraints: 20204
439.61/440.79 c #Conflicts: 138000 | #Constraints: 21204
439.61/440.79 c #Conflicts: 139000 | #Constraints: 22204
439.61/440.79 c INPROCESSING
439.61/440.79 c GARBAGE COLLECT
439.61/440.79 c #Conflicts: 140000 | #Constraints: 15774
439.61/440.79 c #Conflicts: 141000 | #Constraints: 16774
439.61/440.79 c #Conflicts: 142000 | #Constraints: 17775
439.61/440.79 c #Conflicts: 143000 | #Constraints: 18775
439.61/440.79 c #Conflicts: 144000 | #Constraints: 19775
439.61/440.79 c #Conflicts: 145000 | #Constraints: 20775
439.61/440.79 c #Conflicts: 146000 | #Constraints: 21775
439.61/440.79 c #Conflicts: 147000 | #Constraints: 22775
439.61/440.79 c INPROCESSING
439.61/440.79 c GARBAGE COLLECT
439.61/440.79 c #Conflicts: 148000 | #Constraints: 16258
439.61/440.79 c #Conflicts: 149000 | #Constraints: 17258
439.61/440.79 c #Conflicts: 150000 | #Constraints: 18258
439.61/440.79 c #Conflicts: 151000 | #Constraints: 19259
439.61/440.79 c #Conflicts: 152000 | #Constraints: 20259
439.61/440.79 c #Conflicts: 153000 | #Constraints: 21259
439.61/440.79 c #Conflicts: 154000 | #Constraints: 22259
439.61/440.79 c #Conflicts: 155000 | #Constraints: 23259
439.61/440.79 c INPROCESSING
439.61/440.79 c GARBAGE COLLECT
439.61/440.79 c #Conflicts: 156000 | #Constraints: 16477
439.61/440.79 c #Conflicts: 157000 | #Constraints: 17477
439.61/440.79 c #Conflicts: 158000 | #Constraints: 18477
439.61/440.79 c #Conflicts: 159000 | #Constraints: 19477
439.61/440.79 c #Conflicts: 160000 | #Constraints: 20477
439.61/440.79 c #Conflicts: 161000 | #Constraints: 21477
439.61/440.79 c #Conflicts: 162000 | #Constraints: 22477
439.61/440.79 c #Conflicts: 163000 | #Constraints: 23477
439.61/440.79 c INPROCESSING
439.61/440.79 c GARBAGE COLLECT
439.61/440.79 c #Conflicts: 164000 | #Constraints: 16475
439.61/440.79 c #Conflicts: 165000 | #Constraints: 17475
439.61/440.79 c #Conflicts: 166000 | #Constraints: 18475
439.61/440.79 c #Conflicts: 167000 | #Constraints: 19475
439.61/440.79 c #Conflicts: 168000 | #Constraints: 20475
439.61/440.79 c #Conflicts: 169000 | #Constraints: 21475
439.61/440.79 c #Conflicts: 170000 | #Constraints: 22475
439.61/440.79 c #Conflicts: 171000 | #Constraints: 23475
439.61/440.79 c INPROCESSING
439.61/440.79 c GARBAGE COLLECT
439.61/440.79 c #Conflicts: 172000 | #Constraints: 16269
439.61/440.79 c #Conflicts: 173000 | #Constraints: 17269
439.61/440.79 c #Conflicts: 174000 | #Constraints: 18269
439.61/440.79 c #Conflicts: 175000 | #Constraints: 19269
439.61/440.79 c #Conflicts: 176000 | #Constraints: 20270
439.61/440.79 c #Conflicts: 177000 | #Constraints: 21270
439.61/440.79 c #Conflicts: 178000 | #Constraints: 22270
439.61/440.79 c #Conflicts: 179000 | #Constraints: 23270
439.61/440.79 c #Conflicts: 180000 | #Constraints: 24270
439.61/440.79 c INPROCESSING
439.61/440.79 c GARBAGE COLLECT
439.61/440.79 c #Conflicts: 181000 | #Constraints: 16861
439.61/440.79 c #Conflicts: 182000 | #Constraints: 17861
439.61/440.79 c #Conflicts: 183000 | #Constraints: 18861
439.61/440.79 c #Conflicts: 184000 | #Constraints: 19862
439.61/440.79 c #Conflicts: 185000 | #Constraints: 20862
439.61/440.79 c #Conflicts: 186000 | #Constraints: 21862
439.61/440.79 c #Conflicts: 187000 | #Constraints: 22862
439.61/440.79 c #Conflicts: 188000 | #Constraints: 23862
439.61/440.79 c #Conflicts: 189000 | #Constraints: 24862
439.61/440.79 c INPROCESSING
439.61/440.79 c GARBAGE COLLECT
439.61/440.79 c #Conflicts: 190000 | #Constraints: 17250
439.61/440.79 c #Conflicts: 191000 | #Constraints: 18250
439.61/440.79 c #Conflicts: 192000 | #Constraints: 19250
439.61/440.79 c #Conflicts: 193000 | #Constraints: 20250
439.61/440.79 c #Conflicts: 194000 | #Constraints: 21250
439.61/440.79 c #Conflicts: 195000 | #Constraints: 22251
439.61/440.79 c #Conflicts: 196000 | #Constraints: 23251
439.61/440.79 c #Conflicts: 197000 | #Constraints: 24251
439.61/440.79 c #Conflicts: 198000 | #Constraints: 25251
439.61/440.79 c INPROCESSING
439.61/440.79 c GARBAGE COLLECT
439.61/440.79 c #Conflicts: 199000 | #Constraints: 17445
439.61/440.79 c #Conflicts: 200000 | #Constraints: 18445
439.61/440.79 c #Conflicts: 201000 | #Constraints: 19445
439.61/440.79 c #Conflicts: 202000 | #Constraints: 20445
439.61/440.79 c #Conflicts: 203000 | #Constraints: 21445
439.61/440.79 c #Conflicts: 204000 | #Constraints: 22445
439.61/440.79 c #Conflicts: 205000 | #Constraints: 23446
480.10/481.33 c #Conflicts: 206000 | #Constraints: 24446
480.10/481.33 c #Conflicts: 207000 | #Constraints: 25446
480.10/481.33 c INPROCESSING
480.10/481.33 c GARBAGE COLLECT
480.10/481.33 c #Conflicts: 208000 | #Constraints: 17449
480.10/481.33 c #Conflicts: 209000 | #Constraints: 18449
480.10/481.33 c #Conflicts: 210000 | #Constraints: 19449
480.10/481.33 c #Conflicts: 211000 | #Constraints: 20449
480.10/481.33 c #Conflicts: 212000 | #Constraints: 21449
480.10/481.33 c #Conflicts: 213000 | #Constraints: 22450
480.10/481.33 c #Conflicts: 214000 | #Constraints: 23450
480.10/481.33 c #Conflicts: 215000 | #Constraints: 24450
480.10/481.33 c #Conflicts: 216000 | #Constraints: 25450
480.10/481.33 c INPROCESSING
480.10/481.33 c GARBAGE COLLECT
480.10/481.33 c #Conflicts: 217000 | #Constraints: 17271
480.10/481.33 c #Conflicts: 218000 | #Constraints: 18271
480.10/481.33 c #Conflicts: 219000 | #Constraints: 19271
480.10/481.33 c #Conflicts: 220000 | #Constraints: 20271
480.10/481.33 c #Conflicts: 221000 | #Constraints: 21271
480.10/481.33 c #Conflicts: 222000 | #Constraints: 22271
480.10/481.33 c #Conflicts: 223000 | #Constraints: 23271
480.10/481.33 c #Conflicts: 224000 | #Constraints: 24271
480.10/481.33 c #Conflicts: 225000 | #Constraints: 25271
480.10/481.33 c #Conflicts: 226000 | #Constraints: 26271
480.10/481.33 c INPROCESSING
480.10/481.33 c GARBAGE COLLECT
480.10/481.33 c #Conflicts: 227000 | #Constraints: 17892
480.10/481.33 c #Conflicts: 228000 | #Constraints: 18892
480.10/481.33 c #Conflicts: 229000 | #Constraints: 19892
480.10/481.33 c #Conflicts: 230000 | #Constraints: 20892
480.10/481.33 c #Conflicts: 231000 | #Constraints: 21892
480.10/481.33 c #Conflicts: 232000 | #Constraints: 22892
480.10/481.33 c #Conflicts: 233000 | #Constraints: 23892
480.10/481.33 c #Conflicts: 234000 | #Constraints: 24893
480.10/481.33 c #Conflicts: 235000 | #Constraints: 25893
480.10/481.33 c #Conflicts: 236000 | #Constraints: 26893
480.10/481.33 c INPROCESSING
480.10/481.33 c GARBAGE COLLECT
480.10/481.33 c #Conflicts: 237000 | #Constraints: 18303
480.10/481.33 c #Conflicts: 238000 | #Constraints: 19303
480.10/481.33 c #Conflicts: 239000 | #Constraints: 20304
480.10/481.33 c #Conflicts: 240000 | #Constraints: 21304
480.10/481.33 c #Conflicts: 241000 | #Constraints: 22304
480.10/481.33 c #Conflicts: 242000 | #Constraints: 23304
480.10/481.33 c #Conflicts: 243000 | #Constraints: 24304
480.10/481.33 c #Conflicts: 244000 | #Constraints: 25304
480.10/481.33 c #Conflicts: 245000 | #Constraints: 26305
480.10/481.33 c #Conflicts: 246000 | #Constraints: 27305
480.10/481.33 c INPROCESSING
480.10/481.33 c GARBAGE COLLECT
480.10/481.33 c #Conflicts: 247000 | #Constraints: 18560
480.10/481.33 c #Conflicts: 248000 | #Constraints: 19560
480.10/481.33 c #Conflicts: 249000 | #Constraints: 20560
480.10/481.33 c #Conflicts: 250000 | #Constraints: 21560
480.10/481.33 c #Conflicts: 251000 | #Constraints: 22561
480.10/481.33 c #Conflicts: 252000 | #Constraints: 23561
480.10/481.33 c #Conflicts: 253000 | #Constraints: 24561
480.10/481.33 c #Conflicts: 254000 | #Constraints: 25561
480.10/481.33 c #Conflicts: 255000 | #Constraints: 26561
480.10/481.33 c #Conflicts: 256000 | #Constraints: 27561
480.10/481.33 c INPROCESSING
480.10/481.33 c GARBAGE COLLECT
480.10/481.33 c rational objective 4501.5
641.58/643.23 c #Conflicts: 257000 | #Constraints: 18627
641.58/643.23 c #Conflicts: 258000 | #Constraints: 19627
641.58/643.23 c #Conflicts: 259000 | #Constraints: 20627
641.58/643.23 c #Conflicts: 260000 | #Constraints: 21627
641.58/643.23 c #Conflicts: 261000 | #Constraints: 22627
641.58/643.23 c #Conflicts: 262000 | #Constraints: 23627
641.58/643.23 c #Conflicts: 263000 | #Constraints: 24627
641.58/643.23 c #Conflicts: 264000 | #Constraints: 25627
641.58/643.23 c #Conflicts: 265000 | #Constraints: 26627
641.58/643.23 c #Conflicts: 266000 | #Constraints: 27627
641.58/643.23 c INPROCESSING
641.58/643.23 c GARBAGE COLLECT
641.58/643.23 c #Conflicts: 267000 | #Constraints: 18288
641.58/643.23 c #Conflicts: 268000 | #Constraints: 19288
641.58/643.23 c #Conflicts: 269000 | #Constraints: 20289
641.58/643.23 c #Conflicts: 270000 | #Constraints: 21290
641.58/643.23 c #Conflicts: 271000 | #Constraints: 22290
641.58/643.23 c #Conflicts: 272000 | #Constraints: 23290
641.58/643.23 c #Conflicts: 273000 | #Constraints: 24290
641.58/643.23 c #Conflicts: 274000 | #Constraints: 25290
641.58/643.23 c #Conflicts: 275000 | #Constraints: 26290
641.58/643.23 c #Conflicts: 276000 | #Constraints: 27290
641.58/643.23 c #Conflicts: 277000 | #Constraints: 28290
641.58/643.23 c INPROCESSING
641.58/643.23 c GARBAGE COLLECT
641.58/643.23 c #Conflicts: 278000 | #Constraints: 18829
641.58/643.23 c #Conflicts: 279000 | #Constraints: 19829
641.58/643.23 c #Conflicts: 280000 | #Constraints: 20829
641.58/643.23 c #Conflicts: 281000 | #Constraints: 21830
641.58/643.23 c #Conflicts: 282000 | #Constraints: 22830
641.58/643.23 c #Conflicts: 283000 | #Constraints: 23830
641.58/643.23 c #Conflicts: 284000 | #Constraints: 24830
641.58/643.23 c #Conflicts: 285000 | #Constraints: 25830
641.58/643.23 c #Conflicts: 286000 | #Constraints: 26830
641.58/643.23 c #Conflicts: 287000 | #Constraints: 27830
641.58/643.23 c #Conflicts: 288000 | #Constraints: 28830
641.58/643.23 c INPROCESSING
641.58/643.23 c GARBAGE COLLECT
641.58/643.23 c #Conflicts: 289000 | #Constraints: 19224
641.58/643.23 c #Conflicts: 290000 | #Constraints: 20225
641.58/643.23 c #Conflicts: 291000 | #Constraints: 21225
641.58/643.23 c #Conflicts: 292000 | #Constraints: 22225
641.58/643.23 c #Conflicts: 293000 | #Constraints: 23225
641.58/643.23 c #Conflicts: 294000 | #Constraints: 24225
641.58/643.23 c #Conflicts: 295000 | #Constraints: 25225
641.58/643.23 c #Conflicts: 296000 | #Constraints: 26225
641.58/643.23 c #Conflicts: 297000 | #Constraints: 27225
641.58/643.23 c #Conflicts: 298000 | #Constraints: 28225
641.58/643.23 c #Conflicts: 299000 | #Constraints: 29225
641.58/643.23 c INPROCESSING
641.58/643.23 c GARBAGE COLLECT
641.58/643.23 c #Conflicts: 300000 | #Constraints: 19462
641.58/643.23 c #Conflicts: 301000 | #Constraints: 20462
641.58/643.23 c #Conflicts: 302000 | #Constraints: 21463
641.58/643.23 c #Conflicts: 303000 | #Constraints: 22463
641.58/643.23 c #Conflicts: 304000 | #Constraints: 23463
641.58/643.23 c #Conflicts: 305000 | #Constraints: 24463
641.58/643.23 c #Conflicts: 306000 | #Constraints: 25464
641.58/643.23 c #Conflicts: 307000 | #Constraints: 26464
641.58/643.23 c #Conflicts: 308000 | #Constraints: 27464
641.58/643.23 c #Conflicts: 309000 | #Constraints: 28464
641.58/643.23 c #Conflicts: 310000 | #Constraints: 29464
641.58/643.23 c INPROCESSING
641.58/643.23 c GARBAGE COLLECT
641.58/643.23 c rational objective 4501.5
767.85/769.86 c #Conflicts: 311000 | #Constraints: 19468
767.85/769.86 c #Conflicts: 312000 | #Constraints: 20469
767.85/769.86 c #Conflicts: 313000 | #Constraints: 21469
767.85/769.86 c #Conflicts: 314000 | #Constraints: 22469
767.85/769.86 c #Conflicts: 315000 | #Constraints: 23470
767.85/769.86 c #Conflicts: 316000 | #Constraints: 24470
767.85/769.86 c #Conflicts: 317000 | #Constraints: 25470
767.85/769.86 c #Conflicts: 318000 | #Constraints: 26470
767.85/769.86 c #Conflicts: 319000 | #Constraints: 27471
767.85/769.86 c #Conflicts: 320000 | #Constraints: 28471
767.85/769.86 c #Conflicts: 321000 | #Constraints: 29471
767.85/769.86 c INPROCESSING
767.85/769.86 c GARBAGE COLLECT
767.85/769.86 c #Conflicts: 322000 | #Constraints: 19206
767.85/769.86 c #Conflicts: 323000 | #Constraints: 20206
767.85/769.86 c #Conflicts: 324000 | #Constraints: 21206
767.85/769.86 c #Conflicts: 325000 | #Constraints: 22206
767.85/769.86 c #Conflicts: 326000 | #Constraints: 23206
767.85/769.86 c #Conflicts: 327000 | #Constraints: 24206
767.85/769.86 c #Conflicts: 328000 | #Constraints: 25206
767.85/769.86 c #Conflicts: 329000 | #Constraints: 26207
767.85/769.86 c #Conflicts: 330000 | #Constraints: 27207
767.85/769.86 c #Conflicts: 331000 | #Constraints: 28207
767.85/769.86 c #Conflicts: 332000 | #Constraints: 29207
767.85/769.86 c #Conflicts: 333000 | #Constraints: 30207
767.85/769.86 c INPROCESSING
767.85/769.86 c GARBAGE COLLECT
767.85/769.86 c #Conflicts: 334000 | #Constraints: 19789
767.85/769.86 c #Conflicts: 335000 | #Constraints: 20790
767.85/769.86 c #Conflicts: 336000 | #Constraints: 21790
767.85/769.86 c #Conflicts: 337000 | #Constraints: 22791
767.85/769.86 c #Conflicts: 338000 | #Constraints: 23791
767.85/769.86 c #Conflicts: 339000 | #Constraints: 24791
767.85/769.86 c #Conflicts: 340000 | #Constraints: 25791
767.85/769.86 c #Conflicts: 341000 | #Constraints: 26791
767.85/769.86 c #Conflicts: 342000 | #Constraints: 27792
767.85/769.86 c #Conflicts: 343000 | #Constraints: 28792
767.85/769.86 c #Conflicts: 344000 | #Constraints: 29792
767.85/769.86 c #Conflicts: 345000 | #Constraints: 30792
767.85/769.86 c INPROCESSING
767.85/769.86 c GARBAGE COLLECT
767.85/769.86 c #Conflicts: 346000 | #Constraints: 20212
767.85/769.86 c #Conflicts: 347000 | #Constraints: 21212
767.85/769.86 c #Conflicts: 348000 | #Constraints: 22212
767.85/769.86 c #Conflicts: 349000 | #Constraints: 23212
767.85/769.86 c #Conflicts: 350000 | #Constraints: 24212
767.85/769.86 c #Conflicts: 351000 | #Constraints: 25213
767.85/769.86 c #Conflicts: 352000 | #Constraints: 26213
767.85/769.86 c #Conflicts: 353000 | #Constraints: 27213
767.85/769.86 c #Conflicts: 354000 | #Constraints: 28213
767.85/769.86 c #Conflicts: 355000 | #Constraints: 29213
767.85/769.86 c #Conflicts: 356000 | #Constraints: 30213
767.85/769.86 c #Conflicts: 357000 | #Constraints: 31213
767.85/769.86 c INPROCESSING
767.85/769.86 c GARBAGE COLLECT
767.85/769.86 c #Conflicts: 358000 | #Constraints: 20434
767.85/769.86 c #Conflicts: 359000 | #Constraints: 21434
767.85/769.86 c #Conflicts: 360000 | #Constraints: 22434
767.85/769.86 c #Conflicts: 361000 | #Constraints: 23434
767.85/769.86 c #Conflicts: 362000 | #Constraints: 24434
767.85/769.86 c #Conflicts: 363000 | #Constraints: 25434
767.85/769.86 c #Conflicts: 364000 | #Constraints: 26434
767.85/769.86 c #Conflicts: 365000 | #Constraints: 27434
767.85/769.86 c #Conflicts: 366000 | #Constraints: 28435
767.85/769.86 c #Conflicts: 367000 | #Constraints: 29435
767.85/769.86 c #Conflicts: 368000 | #Constraints: 30435
767.85/769.86 c #Conflicts: 369000 | #Constraints: 31436
767.85/769.86 c INPROCESSING
767.85/769.86 c GARBAGE COLLECT
767.85/769.86 c #Conflicts: 370000 | #Constraints: 20410
767.85/769.86 c #Conflicts: 371000 | #Constraints: 21410
767.85/769.86 c #Conflicts: 372000 | #Constraints: 22410
767.85/769.86 c #Conflicts: 373000 | #Constraints: 23410
767.85/769.86 c #Conflicts: 374000 | #Constraints: 24410
767.85/769.86 c #Conflicts: 375000 | #Constraints: 25410
767.85/769.86 c #Conflicts: 376000 | #Constraints: 26410
767.85/769.86 c #Conflicts: 377000 | #Constraints: 27411
767.85/769.86 c #Conflicts: 378000 | #Constraints: 28411
767.85/769.86 c #Conflicts: 379000 | #Constraints: 29411
767.85/769.86 c #Conflicts: 380000 | #Constraints: 30412
767.85/769.86 c #Conflicts: 381000 | #Constraints: 31412
767.85/769.86 c INPROCESSING
767.85/769.86 c GARBAGE COLLECT
767.85/769.86 c rational objective 4501.5
916.86/919.23 c #Conflicts: 382000 | #Constraints: 20228
916.86/919.23 c #Conflicts: 383000 | #Constraints: 21228
916.86/919.23 c #Conflicts: 384000 | #Constraints: 22228
916.86/919.23 c #Conflicts: 385000 | #Constraints: 23230
916.86/919.23 c #Conflicts: 386000 | #Constraints: 24230
916.86/919.23 c #Conflicts: 387000 | #Constraints: 25231
916.86/919.23 c #Conflicts: 388000 | #Constraints: 26231
916.86/919.23 c #Conflicts: 389000 | #Constraints: 27231
916.86/919.23 c #Conflicts: 390000 | #Constraints: 28231
916.86/919.23 c #Conflicts: 391000 | #Constraints: 29231
916.86/919.23 c #Conflicts: 392000 | #Constraints: 30231
916.86/919.23 c #Conflicts: 393000 | #Constraints: 31231
916.86/919.23 c #Conflicts: 394000 | #Constraints: 32231
916.86/919.23 c INPROCESSING
916.86/919.23 c GARBAGE COLLECT
916.86/919.23 c #Conflicts: 395000 | #Constraints: 20802
916.86/919.23 c #Conflicts: 396000 | #Constraints: 21802
916.86/919.23 c #Conflicts: 397000 | #Constraints: 22802
916.86/919.23 c #Conflicts: 398000 | #Constraints: 23802
916.86/919.23 c #Conflicts: 399000 | #Constraints: 24803
916.86/919.23 c #Conflicts: 400000 | #Constraints: 25803
916.86/919.23 c #Conflicts: 401000 | #Constraints: 26803
916.86/919.23 c #Conflicts: 402000 | #Constraints: 27803
916.86/919.23 c #Conflicts: 403000 | #Constraints: 28804
916.86/919.23 c #Conflicts: 404000 | #Constraints: 29804
916.86/919.23 c #Conflicts: 405000 | #Constraints: 30804
916.86/919.23 c #Conflicts: 406000 | #Constraints: 31805
916.86/919.23 c #Conflicts: 407000 | #Constraints: 32805
916.86/919.23 c INPROCESSING
916.86/919.23 c GARBAGE COLLECT
916.86/919.23 c #Conflicts: 408000 | #Constraints: 21190
916.86/919.23 c #Conflicts: 409000 | #Constraints: 22190
916.86/919.23 c #Conflicts: 410000 | #Constraints: 23190
916.86/919.23 c #Conflicts: 411000 | #Constraints: 24190
916.86/919.23 c #Conflicts: 412000 | #Constraints: 25190
916.86/919.23 c #Conflicts: 413000 | #Constraints: 26190
916.86/919.23 c #Conflicts: 414000 | #Constraints: 27191
916.86/919.23 c #Conflicts: 415000 | #Constraints: 28191
916.86/919.23 c #Conflicts: 416000 | #Constraints: 29191
916.86/919.23 c #Conflicts: 417000 | #Constraints: 30191
916.86/919.23 c #Conflicts: 418000 | #Constraints: 31191
916.86/919.23 c #Conflicts: 419000 | #Constraints: 32191
916.86/919.23 c #Conflicts: 420000 | #Constraints: 33191
916.86/919.23 c INPROCESSING
916.86/919.23 c GARBAGE COLLECT
916.86/919.23 c #Conflicts: 421000 | #Constraints: 21534
916.86/919.23 c #Conflicts: 422000 | #Constraints: 22534
916.86/919.23 c #Conflicts: 423000 | #Constraints: 23534
916.86/919.23 c #Conflicts: 424000 | #Constraints: 24534
916.86/919.23 c #Conflicts: 425000 | #Constraints: 25534
916.86/919.23 c #Conflicts: 426000 | #Constraints: 26534
916.86/919.23 c #Conflicts: 427000 | #Constraints: 27534
916.86/919.23 c #Conflicts: 428000 | #Constraints: 28534
916.86/919.23 c #Conflicts: 429000 | #Constraints: 29534
916.86/919.23 c #Conflicts: 430000 | #Constraints: 30534
916.86/919.23 c #Conflicts: 431000 | #Constraints: 31534
916.86/919.23 c #Conflicts: 432000 | #Constraints: 32534
916.86/919.23 c #Conflicts: 433000 | #Constraints: 33534
916.86/919.23 c INPROCESSING
916.86/919.23 c GARBAGE COLLECT
916.86/919.23 c #Conflicts: 434000 | #Constraints: 21563
916.86/919.23 c #Conflicts: 435000 | #Constraints: 22563
916.86/919.23 c #Conflicts: 436000 | #Constraints: 23563
916.86/919.23 c #Conflicts: 437000 | #Constraints: 24563
916.86/919.23 c #Conflicts: 438000 | #Constraints: 25564
916.86/919.23 c #Conflicts: 439000 | #Constraints: 26564
916.86/919.23 c #Conflicts: 440000 | #Constraints: 27564
916.86/919.23 c #Conflicts: 441000 | #Constraints: 28564
916.86/919.23 c #Conflicts: 442000 | #Constraints: 29564
916.86/919.23 c #Conflicts: 443000 | #Constraints: 30564
916.86/919.23 c #Conflicts: 444000 | #Constraints: 31564
916.86/919.23 c #Conflicts: 445000 | #Constraints: 32564
916.86/919.23 c #Conflicts: 446000 | #Constraints: 33564
916.86/919.23 c INPROCESSING
916.86/919.23 c GARBAGE COLLECT
916.86/919.23 c rational objective 4501.5
1016.59/1019.27 c #Conflicts: 447000 | #Constraints: 21382
1016.59/1019.27 c #Conflicts: 448000 | #Constraints: 22382
1016.59/1019.27 c #Conflicts: 449000 | #Constraints: 23382
1016.59/1019.27 c #Conflicts: 450000 | #Constraints: 24384
1016.59/1019.27 c #Conflicts: 451000 | #Constraints: 25385
1016.59/1019.27 c #Conflicts: 452000 | #Constraints: 26385
1016.59/1019.27 c #Conflicts: 453000 | #Constraints: 27385
1016.59/1019.27 c #Conflicts: 454000 | #Constraints: 28386
1016.59/1019.27 c #Conflicts: 455000 | #Constraints: 29386
1016.59/1019.27 c #Conflicts: 456000 | #Constraints: 30387
1016.59/1019.27 c #Conflicts: 457000 | #Constraints: 31387
1016.59/1019.27 c #Conflicts: 458000 | #Constraints: 32387
1016.59/1019.27 c #Conflicts: 459000 | #Constraints: 33387
1016.59/1019.27 c #Conflicts: 460000 | #Constraints: 34387
1016.59/1019.27 c INPROCESSING
1016.59/1019.27 c GARBAGE COLLECT
1016.59/1019.27 c #Conflicts: 461000 | #Constraints: 21899
1016.59/1019.27 c #Conflicts: 462000 | #Constraints: 22899
1016.59/1019.27 c #Conflicts: 463000 | #Constraints: 23900
1016.59/1019.27 c #Conflicts: 464000 | #Constraints: 24900
1016.59/1019.27 c #Conflicts: 465000 | #Constraints: 25900
1016.59/1019.27 c #Conflicts: 466000 | #Constraints: 26901
1016.59/1019.27 c #Conflicts: 467000 | #Constraints: 27902
1016.59/1019.27 c #Conflicts: 468000 | #Constraints: 28902
1016.59/1019.27 c #Conflicts: 469000 | #Constraints: 29902
1016.59/1019.27 c #Conflicts: 470000 | #Constraints: 30902
1016.59/1019.27 c #Conflicts: 471000 | #Constraints: 31902
1016.59/1019.27 c #Conflicts: 472000 | #Constraints: 32902
1016.59/1019.27 c #Conflicts: 473000 | #Constraints: 33902
1016.59/1019.27 c #Conflicts: 474000 | #Constraints: 34902
1016.59/1019.27 c INPROCESSING
1016.59/1019.27 c GARBAGE COLLECT
1016.59/1019.27 c #Conflicts: 475000 | #Constraints: 22261
1016.59/1019.27 c #Conflicts: 476000 | #Constraints: 23261
1016.59/1019.27 c #Conflicts: 477000 | #Constraints: 24261
1016.59/1019.27 c #Conflicts: 478000 | #Constraints: 25262
1016.59/1019.27 c #Conflicts: 479000 | #Constraints: 26262
1016.59/1019.27 c #Conflicts: 480000 | #Constraints: 27262
1016.59/1019.27 c #Conflicts: 481000 | #Constraints: 28262
1016.59/1019.27 c #Conflicts: 482000 | #Constraints: 29262
1016.59/1019.27 c #Conflicts: 483000 | #Constraints: 30262
1016.59/1019.27 c #Conflicts: 484000 | #Constraints: 31263
1016.59/1019.27 c #Conflicts: 485000 | #Constraints: 32263
1016.59/1019.27 c #Conflicts: 486000 | #Constraints: 33263
1016.59/1019.27 c #Conflicts: 487000 | #Constraints: 34263
1016.59/1019.27 c #Conflicts: 488000 | #Constraints: 35264
1016.59/1019.27 c INPROCESSING
1016.59/1019.27 c GARBAGE COLLECT
1016.59/1019.27 c #Conflicts: 489000 | #Constraints: 22442
1016.59/1019.27 c #Conflicts: 490000 | #Constraints: 23442
1016.59/1019.27 c #Conflicts: 491000 | #Constraints: 24442
1016.59/1019.27 c #Conflicts: 492000 | #Constraints: 25443
1016.59/1019.27 c #Conflicts: 493000 | #Constraints: 26443
1016.59/1019.27 c #Conflicts: 494000 | #Constraints: 27443
1016.59/1019.27 c #Conflicts: 495000 | #Constraints: 28443
1016.59/1019.27 c #Conflicts: 496000 | #Constraints: 29443
1016.59/1019.27 c #Conflicts: 497000 | #Constraints: 30443
1016.59/1019.27 c #Conflicts: 498000 | #Constraints: 31443
1016.59/1019.27 c #Conflicts: 499000 | #Constraints: 32443
1016.59/1019.27 c #Conflicts: 500000 | #Constraints: 33443
1016.59/1019.27 c #Conflicts: 501000 | #Constraints: 34443
1016.59/1019.27 c #Conflicts: 502000 | #Constraints: 35443
1016.59/1019.27 c INPROCESSING
1016.59/1019.27 c GARBAGE COLLECT
1016.59/1019.27 c #Conflicts: 503000 | #Constraints: 22455
1016.59/1019.27 c #Conflicts: 504000 | #Constraints: 23455
1016.59/1019.27 c #Conflicts: 505000 | #Constraints: 24455
1016.59/1019.27 c #Conflicts: 506000 | #Constraints: 25455
1016.59/1019.27 c #Conflicts: 507000 | #Constraints: 26455
1016.59/1019.27 c #Conflicts: 508000 | #Constraints: 27455
1016.59/1019.27 c #Conflicts: 509000 | #Constraints: 28456
1016.59/1019.27 c #Conflicts: 510000 | #Constraints: 29456
1016.59/1019.27 c #Conflicts: 511000 | #Constraints: 30456
1016.59/1019.27 c #Conflicts: 512000 | #Constraints: 31456
1016.59/1019.27 c #Conflicts: 513000 | #Constraints: 32456
1016.59/1019.27 c #Conflicts: 514000 | #Constraints: 33456
1016.59/1019.27 c #Conflicts: 515000 | #Constraints: 34456
1016.59/1019.27 c #Conflicts: 516000 | #Constraints: 35456
1016.59/1019.27 c INPROCESSING
1016.59/1019.27 c GARBAGE COLLECT
1016.59/1019.27 c #Conflicts: 517000 | #Constraints: 22281
1016.59/1019.27 c #Conflicts: 518000 | #Constraints: 23281
1016.59/1019.27 c #Conflicts: 519000 | #Constraints: 24281
1016.59/1019.27 c #Conflicts: 520000 | #Constraints: 25281
1016.59/1019.27 c #Conflicts: 521000 | #Constraints: 26281
1016.59/1019.27 c #Conflicts: 522000 | #Constraints: 27282
1048.91/1051.63 c #Conflicts: 523000 | #Constraints: 28282
1048.91/1051.63 c #Conflicts: 524000 | #Constraints: 29282
1048.91/1051.63 c #Conflicts: 525000 | #Constraints: 30282
1048.91/1051.63 c #Conflicts: 526000 | #Constraints: 31282
1048.91/1051.63 c #Conflicts: 527000 | #Constraints: 32282
1048.91/1051.63 c #Conflicts: 528000 | #Constraints: 33282
1048.91/1051.63 c #Conflicts: 529000 | #Constraints: 34282
1048.91/1051.63 c #Conflicts: 530000 | #Constraints: 35282
1048.91/1051.63 c #Conflicts: 531000 | #Constraints: 36282
1048.91/1051.63 c INPROCESSING
1048.91/1051.63 c GARBAGE COLLECT
1048.91/1051.63 c #Conflicts: 532000 | #Constraints: 22875
1048.91/1051.63 c #Conflicts: 533000 | #Constraints: 23875
1048.91/1051.63 c #Conflicts: 534000 | #Constraints: 24875
1048.91/1051.63 c #Conflicts: 535000 | #Constraints: 25875
1048.91/1051.63 c #Conflicts: 536000 | #Constraints: 26875
1048.91/1051.63 c #Conflicts: 537000 | #Constraints: 27875
1048.91/1051.63 c #Conflicts: 538000 | #Constraints: 28875
1048.91/1051.63 c #Conflicts: 539000 | #Constraints: 29875
1048.91/1051.63 c #Conflicts: 540000 | #Constraints: 30875
1048.91/1051.63 c #Conflicts: 541000 | #Constraints: 31876
1048.91/1051.63 c #Conflicts: 542000 | #Constraints: 32876
1048.91/1051.63 c #Conflicts: 543000 | #Constraints: 33876
1048.91/1051.63 c #Conflicts: 544000 | #Constraints: 34877
1048.91/1051.63 c #Conflicts: 545000 | #Constraints: 35877
1048.91/1051.63 c #Conflicts: 546000 | #Constraints: 36877
1048.91/1051.63 c INPROCESSING
1048.91/1051.63 c GARBAGE COLLECT
1048.91/1051.63 c #Conflicts: 547000 | #Constraints: 23288
1048.91/1051.63 c #Conflicts: 548000 | #Constraints: 24288
1048.91/1051.63 c #Conflicts: 549000 | #Constraints: 25288
1048.91/1051.63 c #Conflicts: 550000 | #Constraints: 26288
1048.91/1051.63 c #Conflicts: 551000 | #Constraints: 27288
1048.91/1051.63 c #Conflicts: 552000 | #Constraints: 28288
1048.91/1051.63 c #Conflicts: 553000 | #Constraints: 29288
1048.91/1051.63 c #Conflicts: 554000 | #Constraints: 30289
1048.91/1051.63 c #Conflicts: 555000 | #Constraints: 31289
1048.91/1051.63 c #Conflicts: 556000 | #Constraints: 32289
1048.91/1051.63 c #Conflicts: 557000 | #Constraints: 33289
1048.91/1051.63 c #Conflicts: 558000 | #Constraints: 34289
1048.91/1051.63 c #Conflicts: 559000 | #Constraints: 35289
1048.91/1051.63 c #Conflicts: 560000 | #Constraints: 36289
1048.91/1051.63 c #Conflicts: 561000 | #Constraints: 37289
1048.91/1051.63 c INPROCESSING
1048.91/1051.63 c GARBAGE COLLECT
1048.91/1051.63 c rational objective 4501.5
1131.30/1134.29 c #Conflicts: 562000 | #Constraints: 23463
1131.30/1134.29 c #Conflicts: 563000 | #Constraints: 24463
1131.30/1134.29 c #Conflicts: 564000 | #Constraints: 25463
1131.30/1134.29 c #Conflicts: 565000 | #Constraints: 26463
1131.30/1134.29 c #Conflicts: 566000 | #Constraints: 27463
1131.30/1134.29 c #Conflicts: 567000 | #Constraints: 28463
1131.30/1134.29 c #Conflicts: 568000 | #Constraints: 29463
1131.30/1134.29 c #Conflicts: 569000 | #Constraints: 30463
1131.30/1134.29 c #Conflicts: 570000 | #Constraints: 31465
1131.30/1134.29 c #Conflicts: 571000 | #Constraints: 32465
1131.30/1134.29 c #Conflicts: 572000 | #Constraints: 33465
1131.30/1134.29 c #Conflicts: 573000 | #Constraints: 34465
1131.30/1134.29 c #Conflicts: 574000 | #Constraints: 35465
1131.30/1134.29 c #Conflicts: 575000 | #Constraints: 36465
1131.30/1134.29 c #Conflicts: 576000 | #Constraints: 37465
1131.30/1134.29 c INPROCESSING
1131.30/1134.29 c GARBAGE COLLECT
1131.30/1134.29 c #Conflicts: 577000 | #Constraints: 23412
1131.30/1134.29 c #Conflicts: 578000 | #Constraints: 24412
1131.30/1134.29 c #Conflicts: 579000 | #Constraints: 25412
1131.30/1134.29 c #Conflicts: 580000 | #Constraints: 26412
1131.30/1134.29 c #Conflicts: 581000 | #Constraints: 27412
1131.30/1134.29 c #Conflicts: 582000 | #Constraints: 28413
1131.30/1134.29 c #Conflicts: 583000 | #Constraints: 29413
1131.30/1134.29 c #Conflicts: 584000 | #Constraints: 30413
1131.30/1134.29 c #Conflicts: 585000 | #Constraints: 31413
1131.30/1134.29 c #Conflicts: 586000 | #Constraints: 32413
1131.30/1134.29 c #Conflicts: 587000 | #Constraints: 33413
1131.30/1134.29 c #Conflicts: 588000 | #Constraints: 34413
1131.30/1134.29 c #Conflicts: 589000 | #Constraints: 35414
1131.30/1134.29 c #Conflicts: 590000 | #Constraints: 36414
1131.30/1134.29 c #Conflicts: 591000 | #Constraints: 37414
1131.30/1134.29 c INPROCESSING
1131.30/1134.29 c GARBAGE COLLECT
1131.30/1134.29 c rational objective 4501.5
1239.32/1242.53 c #Conflicts: 592000 | #Constraints: 23238
1239.32/1242.53 c #Conflicts: 593000 | #Constraints: 24238
1239.32/1242.53 c #Conflicts: 594000 | #Constraints: 25238
1239.32/1242.53 c #Conflicts: 595000 | #Constraints: 26238
1239.32/1242.53 c #Conflicts: 596000 | #Constraints: 27238
1239.32/1242.53 c #Conflicts: 597000 | #Constraints: 28238
1239.32/1242.53 c #Conflicts: 598000 | #Constraints: 29239
1239.32/1242.53 c #Conflicts: 599000 | #Constraints: 30240
1239.32/1242.53 c #Conflicts: 600000 | #Constraints: 31240
1239.32/1242.53 c #Conflicts: 601000 | #Constraints: 32240
1239.32/1242.53 c #Conflicts: 602000 | #Constraints: 33240
1239.32/1242.53 c #Conflicts: 603000 | #Constraints: 34241
1239.32/1242.53 c #Conflicts: 604000 | #Constraints: 35241
1239.32/1242.53 c #Conflicts: 605000 | #Constraints: 36242
1239.32/1242.53 c #Conflicts: 606000 | #Constraints: 37242
1239.32/1242.53 c #Conflicts: 607000 | #Constraints: 38243
1239.32/1242.53 c INPROCESSING
1239.32/1242.53 c GARBAGE COLLECT
1239.32/1242.53 c #Conflicts: 608000 | #Constraints: 23798
1239.32/1242.53 c #Conflicts: 609000 | #Constraints: 24798
1239.32/1242.53 c #Conflicts: 610000 | #Constraints: 25798
1239.32/1242.53 c #Conflicts: 611000 | #Constraints: 26798
1239.32/1242.53 c #Conflicts: 612000 | #Constraints: 27798
1239.32/1242.53 c #Conflicts: 613000 | #Constraints: 28799
1239.32/1242.53 c #Conflicts: 614000 | #Constraints: 29799
1239.32/1242.53 c #Conflicts: 615000 | #Constraints: 30799
1239.32/1242.53 c #Conflicts: 616000 | #Constraints: 31799
1239.32/1242.53 c #Conflicts: 617000 | #Constraints: 32799
1239.32/1242.53 c #Conflicts: 618000 | #Constraints: 33799
1239.32/1242.53 c #Conflicts: 619000 | #Constraints: 34799
1239.32/1242.53 c #Conflicts: 620000 | #Constraints: 35799
1239.32/1242.53 c #Conflicts: 621000 | #Constraints: 36800
1239.32/1242.53 c #Conflicts: 622000 | #Constraints: 37800
1239.32/1242.53 c #Conflicts: 623000 | #Constraints: 38800
1239.32/1242.53 c INPROCESSING
1239.32/1242.53 c GARBAGE COLLECT
1239.32/1242.53 c #Conflicts: 624000 | #Constraints: 24187
1239.32/1242.53 c #Conflicts: 625000 | #Constraints: 25187
1239.32/1242.53 c #Conflicts: 626000 | #Constraints: 26187
1239.32/1242.53 c #Conflicts: 627000 | #Constraints: 27187
1239.32/1242.53 c #Conflicts: 628000 | #Constraints: 28188
1239.32/1242.53 c #Conflicts: 629000 | #Constraints: 29188
1239.32/1242.53 c #Conflicts: 630000 | #Constraints: 30188
1239.32/1242.53 c #Conflicts: 631000 | #Constraints: 31189
1239.32/1242.53 c #Conflicts: 632000 | #Constraints: 32189
1239.32/1242.53 c #Conflicts: 633000 | #Constraints: 33189
1239.32/1242.53 c #Conflicts: 634000 | #Constraints: 34189
1239.32/1242.53 c #Conflicts: 635000 | #Constraints: 35189
1239.32/1242.53 c #Conflicts: 636000 | #Constraints: 36190
1239.32/1242.53 c #Conflicts: 637000 | #Constraints: 37190
1239.32/1242.53 c #Conflicts: 638000 | #Constraints: 38190
1239.32/1242.53 c #Conflicts: 639000 | #Constraints: 39190
1239.32/1242.53 c INPROCESSING
1239.32/1242.53 c GARBAGE COLLECT
1239.32/1242.53 c #Conflicts: 640000 | #Constraints: 24418
1239.32/1242.53 c #Conflicts: 641000 | #Constraints: 25418
1239.32/1242.53 c #Conflicts: 642000 | #Constraints: 26418
1239.32/1242.53 c #Conflicts: 643000 | #Constraints: 27418
1239.32/1242.53 c #Conflicts: 644000 | #Constraints: 28418
1239.32/1242.53 c #Conflicts: 645000 | #Constraints: 29418
1239.32/1242.53 c #Conflicts: 646000 | #Constraints: 30418
1239.32/1242.53 c #Conflicts: 647000 | #Constraints: 31419
1239.32/1242.53 c #Conflicts: 648000 | #Constraints: 32419
1239.32/1242.53 c #Conflicts: 649000 | #Constraints: 33419
1239.32/1242.53 c #Conflicts: 650000 | #Constraints: 34419
1239.32/1242.53 c #Conflicts: 651000 | #Constraints: 35420
1239.32/1242.53 c #Conflicts: 652000 | #Constraints: 36420
1239.32/1242.53 c #Conflicts: 653000 | #Constraints: 37420
1239.32/1242.53 c #Conflicts: 654000 | #Constraints: 38420
1239.32/1242.53 c #Conflicts: 655000 | #Constraints: 39420
1239.32/1242.53 c INPROCESSING
1239.32/1242.53 c GARBAGE COLLECT
1239.32/1242.53 c #Conflicts: 656000 | #Constraints: 24423
1239.32/1242.53 c #Conflicts: 657000 | #Constraints: 25423
1239.32/1242.53 c #Conflicts: 658000 | #Constraints: 26423
1239.32/1242.53 c #Conflicts: 659000 | #Constraints: 27424
1239.32/1242.53 c #Conflicts: 660000 | #Constraints: 28424
1239.32/1242.53 c #Conflicts: 661000 | #Constraints: 29424
1239.32/1242.53 c #Conflicts: 662000 | #Constraints: 30424
1239.32/1242.53 c #Conflicts: 663000 | #Constraints: 31424
1239.32/1242.53 c #Conflicts: 664000 | #Constraints: 32424
1239.32/1242.53 c #Conflicts: 665000 | #Constraints: 33424
1239.32/1242.53 c #Conflicts: 666000 | #Constraints: 34424
1239.32/1242.53 c #Conflicts: 667000 | #Constraints: 35424
1239.32/1242.53 c #Conflicts: 668000 | #Constraints: 36424
1242.82/1246.02 c #Conflicts: 669000 | #Constraints: 37424
1242.82/1246.02 c #Conflicts: 670000 | #Constraints: 38424
1242.82/1246.02 c #Conflicts: 671000 | #Constraints: 39424
1242.82/1246.02 c INPROCESSING
1242.82/1246.02 c GARBAGE COLLECT
1242.82/1246.02 c rational objective 4501.5
1314.92/1318.30 c #Conflicts: 672000 | #Constraints: 24256
1314.92/1318.30 c #Conflicts: 673000 | #Constraints: 25256
1314.92/1318.30 c #Conflicts: 674000 | #Constraints: 26256
1314.92/1318.30 c #Conflicts: 675000 | #Constraints: 27256
1314.92/1318.30 c #Conflicts: 676000 | #Constraints: 28256
1314.92/1318.30 c #Conflicts: 677000 | #Constraints: 29256
1314.92/1318.30 c #Conflicts: 678000 | #Constraints: 30256
1314.92/1318.30 c #Conflicts: 679000 | #Constraints: 31256
1314.92/1318.30 c #Conflicts: 680000 | #Constraints: 32256
1314.92/1318.30 c #Conflicts: 681000 | #Constraints: 33256
1314.92/1318.30 c #Conflicts: 682000 | #Constraints: 34256
1314.92/1318.30 c #Conflicts: 683000 | #Constraints: 35256
1314.92/1318.30 c #Conflicts: 684000 | #Constraints: 36256
1314.92/1318.30 c #Conflicts: 685000 | #Constraints: 37256
1314.92/1318.30 c #Conflicts: 686000 | #Constraints: 38258
1314.92/1318.30 c #Conflicts: 687000 | #Constraints: 39259
1314.92/1318.30 c #Conflicts: 688000 | #Constraints: 40259
1314.92/1318.30 c INPROCESSING
1314.92/1318.30 c GARBAGE COLLECT
1314.92/1318.30 c #Conflicts: 689000 | #Constraints: 24810
1314.92/1318.30 c #Conflicts: 690000 | #Constraints: 25811
1314.92/1318.30 c #Conflicts: 691000 | #Constraints: 26811
1314.92/1318.30 c #Conflicts: 692000 | #Constraints: 27811
1314.92/1318.30 c #Conflicts: 693000 | #Constraints: 28811
1314.92/1318.30 c #Conflicts: 694000 | #Constraints: 29812
1314.92/1318.30 c #Conflicts: 695000 | #Constraints: 30812
1314.92/1318.30 c #Conflicts: 696000 | #Constraints: 31812
1314.92/1318.30 c #Conflicts: 697000 | #Constraints: 32812
1314.92/1318.30 c #Conflicts: 698000 | #Constraints: 33812
1314.92/1318.30 c #Conflicts: 699000 | #Constraints: 34812
1314.92/1318.30 c #Conflicts: 700000 | #Constraints: 35812
1314.92/1318.30 c #Conflicts: 701000 | #Constraints: 36812
1314.92/1318.30 c #Conflicts: 702000 | #Constraints: 37812
1314.92/1318.30 c #Conflicts: 703000 | #Constraints: 38812
1314.92/1318.30 c #Conflicts: 704000 | #Constraints: 39812
1314.92/1318.30 c #Conflicts: 705000 | #Constraints: 40812
1314.92/1318.30 c INPROCESSING
1314.92/1318.30 c GARBAGE COLLECT
1314.92/1318.30 c rational objective 4501.5
1357.61/1361.13 c #Conflicts: 706000 | #Constraints: 25414
1357.61/1361.13 c #Conflicts: 707000 | #Constraints: 26414
1357.61/1361.13 c #Conflicts: 708000 | #Constraints: 27414
1357.61/1361.13 c #Conflicts: 709000 | #Constraints: 28414
1357.61/1361.13 c #Conflicts: 710000 | #Constraints: 29414
1357.61/1361.13 c #Conflicts: 711000 | #Constraints: 30414
1357.61/1361.13 c #Conflicts: 712000 | #Constraints: 31414
1357.61/1361.13 c #Conflicts: 713000 | #Constraints: 32414
1357.61/1361.13 c #Conflicts: 714000 | #Constraints: 33416
1357.61/1361.13 c #Conflicts: 715000 | #Constraints: 34416
1357.61/1361.13 c #Conflicts: 716000 | #Constraints: 35417
1357.61/1361.13 c #Conflicts: 717000 | #Constraints: 36417
1357.61/1361.13 c #Conflicts: 718000 | #Constraints: 37417
1357.61/1361.13 c #Conflicts: 719000 | #Constraints: 38418
1357.61/1361.13 c #Conflicts: 720000 | #Constraints: 39418
1357.61/1361.13 c #Conflicts: 721000 | #Constraints: 40418
1357.61/1361.13 c #Conflicts: 722000 | #Constraints: 41418
1357.61/1361.13 c INPROCESSING
1357.61/1361.13 c GARBAGE COLLECT
1357.61/1361.13 c rational objective 4501.5
1378.85/1382.46 c #Conflicts: 723000 | #Constraints: 25524
1378.85/1382.46 c #Conflicts: 724000 | #Constraints: 26525
1378.85/1382.46 c #Conflicts: 725000 | #Constraints: 27526
1378.85/1382.46 c #Conflicts: 726000 | #Constraints: 28526
1378.85/1382.46 c #Conflicts: 727000 | #Constraints: 29526
1378.85/1382.46 c #Conflicts: 728000 | #Constraints: 30528
1378.85/1382.46 c #Conflicts: 729000 | #Constraints: 31528
1378.85/1382.46 c #Conflicts: 730000 | #Constraints: 32528
1378.85/1382.46 c #Conflicts: 731000 | #Constraints: 33529
1378.85/1382.46 c #Conflicts: 732000 | #Constraints: 34529
1378.85/1382.46 c #Conflicts: 733000 | #Constraints: 35530
1378.85/1382.46 c #Conflicts: 734000 | #Constraints: 36530
1378.85/1382.46 c #Conflicts: 735000 | #Constraints: 37530
1378.85/1382.46 c #Conflicts: 736000 | #Constraints: 38530
1378.85/1382.46 c #Conflicts: 737000 | #Constraints: 39530
1378.85/1382.46 c #Conflicts: 738000 | #Constraints: 40531
1378.85/1382.46 c #Conflicts: 739000 | #Constraints: 41532
1378.85/1382.46 c INPROCESSING
1378.85/1382.46 c GARBAGE COLLECT
1378.85/1382.46 c #Conflicts: 740000 | #Constraints: 25469
1378.85/1382.46 c #Conflicts: 741000 | #Constraints: 26469
1378.85/1382.46 c #Conflicts: 742000 | #Constraints: 27469
1378.85/1382.46 c #Conflicts: 743000 | #Constraints: 28469
1378.85/1382.46 c #Conflicts: 744000 | #Constraints: 29469
1378.85/1382.46 c #Conflicts: 745000 | #Constraints: 30469
1378.85/1382.46 c #Conflicts: 746000 | #Constraints: 31469
1378.85/1382.46 c #Conflicts: 747000 | #Constraints: 32469
1378.85/1382.46 c #Conflicts: 748000 | #Constraints: 33471
1378.85/1382.46 c #Conflicts: 749000 | #Constraints: 34472
1378.85/1382.46 c #Conflicts: 750000 | #Constraints: 35472
1378.85/1382.46 c #Conflicts: 751000 | #Constraints: 36472
1378.85/1382.46 c #Conflicts: 752000 | #Constraints: 37472
1378.85/1382.46 c #Conflicts: 753000 | #Constraints: 38472
1378.85/1382.46 c #Conflicts: 754000 | #Constraints: 39472
1378.85/1382.46 c #Conflicts: 755000 | #Constraints: 40472
1378.85/1382.46 c #Conflicts: 756000 | #Constraints: 41472
1378.85/1382.46 c INPROCESSING
1378.85/1382.46 c GARBAGE COLLECT
1378.85/1382.46 c #Conflicts: 757000 | #Constraints: 25240
1378.85/1382.46 c #Conflicts: 758000 | #Constraints: 26241
1378.85/1382.46 c #Conflicts: 759000 | #Constraints: 27241
1378.85/1382.46 c #Conflicts: 760000 | #Constraints: 28241
1378.85/1382.46 c #Conflicts: 761000 | #Constraints: 29241
1378.85/1382.46 c #Conflicts: 762000 | #Constraints: 30242
1378.85/1382.46 c #Conflicts: 763000 | #Constraints: 31242
1378.85/1382.46 c #Conflicts: 764000 | #Constraints: 32242
1378.85/1382.46 c #Conflicts: 765000 | #Constraints: 33242
1378.85/1382.46 c #Conflicts: 766000 | #Constraints: 34242
1378.85/1382.46 c #Conflicts: 767000 | #Constraints: 35242
1378.85/1382.46 c #Conflicts: 768000 | #Constraints: 36242
1378.85/1382.46 c #Conflicts: 769000 | #Constraints: 37242
1378.85/1382.46 c #Conflicts: 770000 | #Constraints: 38242
1378.85/1382.46 c #Conflicts: 771000 | #Constraints: 39242
1378.85/1382.46 c #Conflicts: 772000 | #Constraints: 40243
1378.85/1382.46 c #Conflicts: 773000 | #Constraints: 41243
1378.85/1382.46 c #Conflicts: 774000 | #Constraints: 42243
1378.85/1382.46 c INPROCESSING
1378.85/1382.46 c GARBAGE COLLECT
1378.85/1382.46 c rational objective 4501.5
1388.04/1391.64 c #Conflicts: 775000 | #Constraints: 25828
1388.04/1391.64 c #Conflicts: 776000 | #Constraints: 26828
1388.04/1391.64 c #Conflicts: 777000 | #Constraints: 27829
1388.04/1391.64 c #Conflicts: 778000 | #Constraints: 28829
1388.04/1391.64 c #Conflicts: 779000 | #Constraints: 29829
1388.04/1391.64 c #Conflicts: 780000 | #Constraints: 30829
1388.04/1391.64 c #Conflicts: 781000 | #Constraints: 31829
1388.04/1391.64 c #Conflicts: 782000 | #Constraints: 32829
1388.04/1391.64 c #Conflicts: 783000 | #Constraints: 33829
1388.04/1391.64 c #Conflicts: 784000 | #Constraints: 34829
1388.04/1391.64 c #Conflicts: 785000 | #Constraints: 35829
1388.04/1391.64 c #Conflicts: 786000 | #Constraints: 36829
1388.04/1391.64 c #Conflicts: 787000 | #Constraints: 37830
1388.04/1391.64 c #Conflicts: 788000 | #Constraints: 38830
1388.04/1391.64 c #Conflicts: 789000 | #Constraints: 39830
1388.04/1391.64 c #Conflicts: 790000 | #Constraints: 40830
1388.04/1391.64 c #Conflicts: 791000 | #Constraints: 41830
1388.04/1391.64 c #Conflicts: 792000 | #Constraints: 42830
1388.04/1391.64 c INPROCESSING
1388.04/1391.64 c GARBAGE COLLECT
1388.04/1391.64 c rational objective 4501.5
1405.09/1408.70 c #Conflicts: 793000 | #Constraints: 26213
1405.09/1408.70 c #Conflicts: 794000 | #Constraints: 27213
1405.09/1408.70 c #Conflicts: 795000 | #Constraints: 28213
1405.09/1408.70 c #Conflicts: 796000 | #Constraints: 29213
1405.09/1408.70 c #Conflicts: 797000 | #Constraints: 30213
1405.09/1408.70 c #Conflicts: 798000 | #Constraints: 31213
1405.09/1408.70 c #Conflicts: 799000 | #Constraints: 32215
1405.09/1408.70 c #Conflicts: 800000 | #Constraints: 33215
1405.09/1408.70 c #Conflicts: 801000 | #Constraints: 34215
1405.09/1408.70 c #Conflicts: 802000 | #Constraints: 35216
1405.09/1408.70 c #Conflicts: 803000 | #Constraints: 36216
1405.09/1408.70 c #Conflicts: 804000 | #Constraints: 37216
1405.09/1408.70 c #Conflicts: 805000 | #Constraints: 38216
1405.09/1408.70 c #Conflicts: 806000 | #Constraints: 39216
1405.09/1408.70 c #Conflicts: 807000 | #Constraints: 40216
1405.09/1408.70 c #Conflicts: 808000 | #Constraints: 41216
1405.09/1408.70 c #Conflicts: 809000 | #Constraints: 42216
1405.09/1408.70 c #Conflicts: 810000 | #Constraints: 43216
1405.09/1408.70 c INPROCESSING
1405.09/1408.70 c GARBAGE COLLECT
1405.09/1408.70 c rational objective 4501.5
1443.79/1447.56 c #Conflicts: 811000 | #Constraints: 26394
1443.79/1447.56 c #Conflicts: 812000 | #Constraints: 27394
1443.79/1447.56 c #Conflicts: 813000 | #Constraints: 28395
1443.79/1447.56 c #Conflicts: 814000 | #Constraints: 29395
1443.79/1447.56 c #Conflicts: 815000 | #Constraints: 30395
1443.79/1447.56 c #Conflicts: 816000 | #Constraints: 31395
1443.79/1447.56 c #Conflicts: 817000 | #Constraints: 32395
1443.79/1447.56 c #Conflicts: 818000 | #Constraints: 33395
1443.79/1447.56 c #Conflicts: 819000 | #Constraints: 34395
1443.79/1447.56 c #Conflicts: 820000 | #Constraints: 35396
1443.79/1447.56 c #Conflicts: 821000 | #Constraints: 36396
1443.79/1447.56 c #Conflicts: 822000 | #Constraints: 37396
1443.79/1447.56 c #Conflicts: 823000 | #Constraints: 38396
1443.79/1447.56 c #Conflicts: 824000 | #Constraints: 39396
1443.79/1447.56 c #Conflicts: 825000 | #Constraints: 40396
1443.79/1447.56 c #Conflicts: 826000 | #Constraints: 41396
1443.79/1447.56 c #Conflicts: 827000 | #Constraints: 42396
1443.79/1447.56 c #Conflicts: 828000 | #Constraints: 43396
1443.79/1447.56 c INPROCESSING
1443.79/1447.56 c GARBAGE COLLECT
1443.79/1447.56 c rational objective 4501.5
1497.76/1501.66 c #Conflicts: 829000 | #Constraints: 26393
1497.76/1501.66 c #Conflicts: 830000 | #Constraints: 27393
1497.76/1501.66 c #Conflicts: 831000 | #Constraints: 28393
1497.76/1501.66 c #Conflicts: 832000 | #Constraints: 29393
1497.76/1501.66 c #Conflicts: 833000 | #Constraints: 30393
1497.76/1501.66 c #Conflicts: 834000 | #Constraints: 31393
1497.76/1501.66 c #Conflicts: 835000 | #Constraints: 32394
1497.76/1501.66 c #Conflicts: 836000 | #Constraints: 33394
1497.76/1501.66 c #Conflicts: 837000 | #Constraints: 34394
1497.76/1501.66 c #Conflicts: 838000 | #Constraints: 35395
1497.76/1501.66 c #Conflicts: 839000 | #Constraints: 36395
1497.76/1501.66 c #Conflicts: 840000 | #Constraints: 37395
1497.76/1501.66 c #Conflicts: 841000 | #Constraints: 38395
1497.76/1501.66 c #Conflicts: 842000 | #Constraints: 39396
1497.76/1501.66 c #Conflicts: 843000 | #Constraints: 40396
1497.76/1501.66 c #Conflicts: 844000 | #Constraints: 41397
1497.76/1501.66 c #Conflicts: 845000 | #Constraints: 42397
1497.76/1501.66 c #Conflicts: 846000 | #Constraints: 43397
1497.76/1501.66 c INPROCESSING
1497.76/1501.66 c GARBAGE COLLECT
1497.76/1501.66 c rational objective 4501.5
1572.96/1577.04 c #Conflicts: 847000 | #Constraints: 26198
1572.96/1577.04 c #Conflicts: 848000 | #Constraints: 27198
1572.96/1577.04 c #Conflicts: 849000 | #Constraints: 28198
1572.96/1577.04 c #Conflicts: 850000 | #Constraints: 29198
1572.96/1577.04 c #Conflicts: 851000 | #Constraints: 30198
1572.96/1577.04 c #Conflicts: 852000 | #Constraints: 31198
1572.96/1577.04 c #Conflicts: 853000 | #Constraints: 32198
1572.96/1577.04 c #Conflicts: 854000 | #Constraints: 33200
1572.96/1577.04 c #Conflicts: 855000 | #Constraints: 34201
1572.96/1577.04 c #Conflicts: 856000 | #Constraints: 35201
1572.96/1577.04 c #Conflicts: 857000 | #Constraints: 36201
1572.96/1577.04 c #Conflicts: 858000 | #Constraints: 37201
1572.96/1577.04 c #Conflicts: 859000 | #Constraints: 38201
1572.96/1577.04 c #Conflicts: 860000 | #Constraints: 39202
1572.96/1577.04 c #Conflicts: 861000 | #Constraints: 40202
1572.96/1577.04 c #Conflicts: 862000 | #Constraints: 41202
1572.96/1577.04 c #Conflicts: 863000 | #Constraints: 42202
1572.96/1577.04 c #Conflicts: 864000 | #Constraints: 43202
1572.96/1577.04 c #Conflicts: 865000 | #Constraints: 44202
1572.96/1577.04 c INPROCESSING
1572.96/1577.04 c GARBAGE COLLECT
1572.96/1577.04 c #Conflicts: 866000 | #Constraints: 26926
1572.96/1577.04 c #Conflicts: 867000 | #Constraints: 27926
1572.96/1577.04 c #Conflicts: 868000 | #Constraints: 28926
1572.96/1577.04 c #Conflicts: 869000 | #Constraints: 29926
1572.96/1577.04 c #Conflicts: 870000 | #Constraints: 30926
1572.96/1577.04 c #Conflicts: 871000 | #Constraints: 31926
1572.96/1577.04 c #Conflicts: 872000 | #Constraints: 32926
1572.96/1577.04 c #Conflicts: 873000 | #Constraints: 33926
1572.96/1577.04 c #Conflicts: 874000 | #Constraints: 34926
1572.96/1577.04 c #Conflicts: 875000 | #Constraints: 35927
1572.96/1577.04 c #Conflicts: 876000 | #Constraints: 36927
1572.96/1577.04 c #Conflicts: 877000 | #Constraints: 37927
1572.96/1577.04 c #Conflicts: 878000 | #Constraints: 38927
1572.96/1577.04 c #Conflicts: 879000 | #Constraints: 39927
1572.96/1577.04 c #Conflicts: 880000 | #Constraints: 40928
1572.96/1577.04 c #Conflicts: 881000 | #Constraints: 41928
1572.96/1577.04 c #Conflicts: 882000 | #Constraints: 42928
1572.96/1577.04 c #Conflicts: 883000 | #Constraints: 43928
1572.96/1577.04 c #Conflicts: 884000 | #Constraints: 44929
1572.96/1577.04 c INPROCESSING
1572.96/1577.04 c GARBAGE COLLECT
1572.96/1577.04 c rational objective 4501.5
1691.66/1696.04 c #Conflicts: 885000 | #Constraints: 27382
1691.66/1696.04 c #Conflicts: 886000 | #Constraints: 28382
1691.66/1696.04 c #Conflicts: 887000 | #Constraints: 29382
1691.66/1696.04 c #Conflicts: 888000 | #Constraints: 30384
1691.66/1696.04 c #Conflicts: 889000 | #Constraints: 31384
1691.66/1696.04 c #Conflicts: 890000 | #Constraints: 32384
1691.66/1696.04 c #Conflicts: 891000 | #Constraints: 33384
1691.66/1696.04 c #Conflicts: 892000 | #Constraints: 34384
1691.66/1696.04 c #Conflicts: 893000 | #Constraints: 35384
1691.66/1696.04 c #Conflicts: 894000 | #Constraints: 36384
1691.66/1696.04 c #Conflicts: 895000 | #Constraints: 37384
1691.66/1696.04 c #Conflicts: 896000 | #Constraints: 38384
1691.66/1696.04 c #Conflicts: 897000 | #Constraints: 39384
1691.66/1696.04 c #Conflicts: 898000 | #Constraints: 40385
1691.66/1696.04 c #Conflicts: 899000 | #Constraints: 41385
1691.66/1696.04 c #Conflicts: 900000 | #Constraints: 42385
1691.66/1696.04 c #Conflicts: 901000 | #Constraints: 43385
1691.66/1696.04 c #Conflicts: 902000 | #Constraints: 44386
1691.66/1696.04 c #Conflicts: 903000 | #Constraints: 45386
1691.66/1696.04 c INPROCESSING
1691.66/1696.04 c GARBAGE COLLECT
1691.66/1696.04 c #Conflicts: 904000 | #Constraints: 27492
1691.66/1696.04 c #Conflicts: 905000 | #Constraints: 28492
1691.66/1696.04 c #Conflicts: 906000 | #Constraints: 29492
1691.66/1696.04 c #Conflicts: 907000 | #Constraints: 30492
1691.66/1696.04 c #Conflicts: 908000 | #Constraints: 31492
1691.66/1696.04 c #Conflicts: 909000 | #Constraints: 32492
1691.66/1696.04 c #Conflicts: 910000 | #Constraints: 33492
1691.66/1696.04 c #Conflicts: 911000 | #Constraints: 34492
1691.66/1696.04 c #Conflicts: 912000 | #Constraints: 35493
1691.66/1696.04 c #Conflicts: 913000 | #Constraints: 36493
1691.66/1696.04 c #Conflicts: 914000 | #Constraints: 37493
1691.66/1696.04 c #Conflicts: 915000 | #Constraints: 38493
1691.66/1696.04 c #Conflicts: 916000 | #Constraints: 39493
1691.66/1696.04 c #Conflicts: 917000 | #Constraints: 40493
1691.66/1696.04 c #Conflicts: 918000 | #Constraints: 41493
1691.66/1696.04 c #Conflicts: 919000 | #Constraints: 42494
1691.66/1696.04 c #Conflicts: 920000 | #Constraints: 43494
1691.66/1696.04 c #Conflicts: 921000 | #Constraints: 44494
1691.66/1696.04 c #Conflicts: 922000 | #Constraints: 45494
1691.66/1696.04 c INPROCESSING
1691.66/1696.04 c GARBAGE COLLECT
1691.66/1696.04 c #Conflicts: 923000 | #Constraints: 27477
1691.66/1696.04 c #Conflicts: 924000 | #Constraints: 28478
1691.66/1696.04 c #Conflicts: 925000 | #Constraints: 29478
1691.66/1696.04 c #Conflicts: 926000 | #Constraints: 30478
1691.66/1696.04 c #Conflicts: 927000 | #Constraints: 31478
1691.66/1696.04 c #Conflicts: 928000 | #Constraints: 32479
1691.66/1696.04 c #Conflicts: 929000 | #Constraints: 33479
1691.66/1696.04 c #Conflicts: 930000 | #Constraints: 34479
1691.66/1696.04 c #Conflicts: 931000 | #Constraints: 35479
1691.66/1696.04 c #Conflicts: 932000 | #Constraints: 36479
1691.66/1696.04 c #Conflicts: 933000 | #Constraints: 37480
1691.66/1696.04 c #Conflicts: 934000 | #Constraints: 38480
1691.66/1696.04 c #Conflicts: 935000 | #Constraints: 39480
1691.66/1696.04 c #Conflicts: 936000 | #Constraints: 40480
1691.66/1696.04 c #Conflicts: 937000 | #Constraints: 41480
1691.66/1696.04 c #Conflicts: 938000 | #Constraints: 42480
1691.66/1696.04 c #Conflicts: 939000 | #Constraints: 43480
1691.66/1696.04 c #Conflicts: 940000 | #Constraints: 44480
1691.66/1696.04 c #Conflicts: 941000 | #Constraints: 45480
1691.66/1696.04 c INPROCESSING
1691.66/1696.04 c GARBAGE COLLECT
1691.66/1696.04 c rational objective 4501.5
1777.72/1782.33 c #Conflicts: 942000 | #Constraints: 27324
1777.72/1782.33 c #Conflicts: 943000 | #Constraints: 28324
1777.72/1782.33 c #Conflicts: 944000 | #Constraints: 29324
1777.72/1782.33 c #Conflicts: 945000 | #Constraints: 30324
1777.72/1782.33 c #Conflicts: 946000 | #Constraints: 31324
1777.72/1782.33 c #Conflicts: 947000 | #Constraints: 32324
1777.72/1782.33 c #Conflicts: 948000 | #Constraints: 33327
1777.72/1782.33 c #Conflicts: 949000 | #Constraints: 34328
1777.72/1782.33 c #Conflicts: 950000 | #Constraints: 35328
1777.72/1782.33 c #Conflicts: 951000 | #Constraints: 36328
1777.72/1782.33 c #Conflicts: 952000 | #Constraints: 37329
1777.72/1782.33 c #Conflicts: 953000 | #Constraints: 38330
1777.72/1782.33 c #Conflicts: 954000 | #Constraints: 39330
1777.72/1782.33 c #Conflicts: 955000 | #Constraints: 40330
1777.72/1782.33 c #Conflicts: 956000 | #Constraints: 41331
1777.72/1782.33 c #Conflicts: 957000 | #Constraints: 42331
1777.72/1782.33 c #Conflicts: 958000 | #Constraints: 43331
1777.72/1782.33 c #Conflicts: 959000 | #Constraints: 44331
1777.72/1782.33 c #Conflicts: 960000 | #Constraints: 45331
1777.72/1782.33 c #Conflicts: 961000 | #Constraints: 46332
1777.72/1782.33 c INPROCESSING
1777.72/1782.33 c GARBAGE COLLECT
1777.72/1782.33 c #Conflicts: 962000 | #Constraints: 27887
1777.72/1782.33 c #Conflicts: 963000 | #Constraints: 28887
1777.72/1782.33 c #Conflicts: 964000 | #Constraints: 29887
1777.72/1782.33 c #Conflicts: 965000 | #Constraints: 30888
1777.72/1782.33 c #Conflicts: 966000 | #Constraints: 31888
1777.72/1782.33 c #Conflicts: 967000 | #Constraints: 32889
1777.72/1782.33 c #Conflicts: 968000 | #Constraints: 33889
1777.72/1782.33 c #Conflicts: 969000 | #Constraints: 34889
1777.72/1782.33 c #Conflicts: 970000 | #Constraints: 35889
1777.72/1782.33 c #Conflicts: 971000 | #Constraints: 36889
1777.72/1782.33 c #Conflicts: 972000 | #Constraints: 37889
1777.72/1782.33 c #Conflicts: 973000 | #Constraints: 38889
1777.72/1782.33 c #Conflicts: 974000 | #Constraints: 39889
1777.72/1782.33 c #Conflicts: 975000 | #Constraints: 40890
1777.72/1782.33 c #Conflicts: 976000 | #Constraints: 41890
1777.72/1782.33 c #Conflicts: 977000 | #Constraints: 42890
1777.72/1782.33 c #Conflicts: 978000 | #Constraints: 43890
1777.72/1782.33 c #Conflicts: 979000 | #Constraints: 44890
1777.72/1782.33 c #Conflicts: 980000 | #Constraints: 45890
1777.72/1782.33 c #Conflicts: 981000 | #Constraints: 46890
1777.72/1782.33 c INPROCESSING
1777.72/1782.33 c GARBAGE COLLECT
1777.72/1782.33 c #Conflicts: 982000 | #Constraints: 28305
1777.72/1782.33 c #Conflicts: 983000 | #Constraints: 29305
1777.72/1782.33 c #Conflicts: 984000 | #Constraints: 30305
1777.72/1782.33 c #Conflicts: 985000 | #Constraints: 31305
1777.72/1782.33 c #Conflicts: 986000 | #Constraints: 32305
1777.72/1782.33 c #Conflicts: 987000 | #Constraints: 33305
1777.72/1782.33 c #Conflicts: 988000 | #Constraints: 34306
1777.72/1782.33 c #Conflicts: 989000 | #Constraints: 35306
1777.72/1782.33 c #Conflicts: 990000 | #Constraints: 36306
1777.72/1782.33 c #Conflicts: 991000 | #Constraints: 37306
1777.72/1782.33 c #Conflicts: 992000 | #Constraints: 38306
1777.72/1782.33 c #Conflicts: 993000 | #Constraints: 39306
1777.72/1782.33 c #Conflicts: 994000 | #Constraints: 40306
1777.72/1782.33 c #Conflicts: 995000 | #Constraints: 41307
1777.72/1782.33 c #Conflicts: 996000 | #Constraints: 42307
1777.72/1782.33 c #Conflicts: 997000 | #Constraints: 43307
1777.72/1782.33 c #Conflicts: 998000 | #Constraints: 44307
1777.72/1782.33 c #Conflicts: 999000 | #Constraints: 45307
1777.72/1782.33 c #Conflicts: 1000000 | #Constraints: 46307
1777.72/1782.33 c #Conflicts: 1001000 | #Constraints: 47307
1777.72/1782.33 c INPROCESSING
1777.72/1782.33 c GARBAGE COLLECT
1777.72/1782.33 c #Conflicts: 1002000 | #Constraints: 28540
1777.72/1782.33 c #Conflicts: 1003000 | #Constraints: 29540
1777.72/1782.33 c #Conflicts: 1004000 | #Constraints: 30540
1777.72/1782.33 c #Conflicts: 1005000 | #Constraints: 31540
1777.72/1782.33 c #Conflicts: 1006000 | #Constraints: 32540
1777.72/1782.33 c #Conflicts: 1007000 | #Constraints: 33540
1777.72/1782.33 c #Conflicts: 1008000 | #Constraints: 34540
1777.72/1782.33 c #Conflicts: 1009000 | #Constraints: 35540
1777.72/1782.33 c #Conflicts: 1010000 | #Constraints: 36541
1777.72/1782.33 c #Conflicts: 1011000 | #Constraints: 37541
1777.72/1782.33 c #Conflicts: 1012000 | #Constraints: 38541
1777.72/1782.33 c #Conflicts: 1013000 | #Constraints: 39541
1777.72/1782.33 c #Conflicts: 1014000 | #Constraints: 40541
1777.72/1782.33 c #Conflicts: 1015000 | #Constraints: 41541
1777.72/1782.33 c #Conflicts: 1016000 | #Constraints: 42541
1777.72/1782.33 c #Conflicts: 1017000 | #Constraints: 43541
1777.72/1782.33 c #Conflicts: 1018000 | #Constraints: 44541
1817.13/1821.84 c #Conflicts: 1019000 | #Constraints: 45541
1817.13/1821.84 c #Conflicts: 1020000 | #Constraints: 46541
1817.13/1821.84 c #Conflicts: 1021000 | #Constraints: 47541
1817.13/1821.84 c INPROCESSING
1817.13/1821.84 c GARBAGE COLLECT
1817.13/1821.84 c #Conflicts: 1022000 | #Constraints: 28567
1817.13/1821.84 c #Conflicts: 1023000 | #Constraints: 29567
1817.13/1821.84 c #Conflicts: 1024000 | #Constraints: 30567
1817.13/1821.84 c #Conflicts: 1025000 | #Constraints: 31567
1817.13/1821.84 c #Conflicts: 1026000 | #Constraints: 32567
1817.13/1821.84 c #Conflicts: 1027000 | #Constraints: 33567
1817.13/1821.84 c #Conflicts: 1028000 | #Constraints: 34567
1817.13/1821.84 c #Conflicts: 1029000 | #Constraints: 35567
1817.13/1821.84 c #Conflicts: 1030000 | #Constraints: 36567
1817.13/1821.84 c #Conflicts: 1031000 | #Constraints: 37567
1817.13/1821.84 c #Conflicts: 1032000 | #Constraints: 38567
1817.13/1821.84 c #Conflicts: 1033000 | #Constraints: 39567
1817.13/1821.84 c #Conflicts: 1034000 | #Constraints: 40567
1817.13/1821.84 c #Conflicts: 1035000 | #Constraints: 41567
1817.13/1821.84 c #Conflicts: 1036000 | #Constraints: 42567
1817.13/1821.84 c #Conflicts: 1037000 | #Constraints: 43567
1817.13/1821.84 c #Conflicts: 1038000 | #Constraints: 44567
1817.13/1821.84 c #Conflicts: 1039000 | #Constraints: 45567
1817.13/1821.84 c #Conflicts: 1040000 | #Constraints: 46568
1817.13/1821.84 c #Conflicts: 1041000 | #Constraints: 47568
1817.13/1821.84 c INPROCESSING
1817.13/1821.84 c GARBAGE COLLECT
1817.13/1821.84 c rational objective 4501.5
1836.87/1841.67 c #Conflicts: 1042000 | #Constraints: 28384
1836.87/1841.67 c #Conflicts: 1043000 | #Constraints: 29384
1836.87/1841.67 c #Conflicts: 1044000 | #Constraints: 30387
1836.87/1841.67 c #Conflicts: 1045000 | #Constraints: 31387
1836.87/1841.67 c #Conflicts: 1046000 | #Constraints: 32387
1836.87/1841.67 c #Conflicts: 1047000 | #Constraints: 33387
1836.87/1841.67 c #Conflicts: 1048000 | #Constraints: 34387
1836.87/1841.67 c #Conflicts: 1049000 | #Constraints: 35388
1836.87/1841.67 c #Conflicts: 1050000 | #Constraints: 36388
1836.87/1841.67 c #Conflicts: 1051000 | #Constraints: 37389
1836.87/1841.67 c #Conflicts: 1052000 | #Constraints: 38389
1836.87/1841.67 c #Conflicts: 1053000 | #Constraints: 39390
1836.87/1841.67 c #Conflicts: 1054000 | #Constraints: 40390
1836.87/1841.67 c #Conflicts: 1055000 | #Constraints: 41391
1836.87/1841.67 c #Conflicts: 1056000 | #Constraints: 42392
1836.87/1841.67 c #Conflicts: 1057000 | #Constraints: 43392
1836.87/1841.67 c #Conflicts: 1058000 | #Constraints: 44393
1836.87/1841.67 c #Conflicts: 1059000 | #Constraints: 45393
1836.87/1841.67 c #Conflicts: 1060000 | #Constraints: 46393
1836.87/1841.67 c #Conflicts: 1061000 | #Constraints: 47393
1836.87/1841.67 c #Conflicts: 1062000 | #Constraints: 48393
1836.87/1841.67 c INPROCESSING
1836.87/1841.67 c GARBAGE COLLECT
1836.87/1841.67 c rational objective 4501.5
1846.35/1851.13 c #Conflicts: 1063000 | #Constraints: 28931
1846.35/1851.13 c #Conflicts: 1064000 | #Constraints: 29932
1846.35/1851.13 c #Conflicts: 1065000 | #Constraints: 30933
1846.35/1851.13 c #Conflicts: 1066000 | #Constraints: 31934
1846.35/1851.13 c #Conflicts: 1067000 | #Constraints: 32934
1846.35/1851.13 c #Conflicts: 1068000 | #Constraints: 33934
1846.35/1851.13 c #Conflicts: 1069000 | #Constraints: 34935
1846.35/1851.13 c #Conflicts: 1070000 | #Constraints: 35935
1846.35/1851.13 c #Conflicts: 1071000 | #Constraints: 36935
1846.35/1851.13 c #Conflicts: 1072000 | #Constraints: 37935
1846.35/1851.13 c #Conflicts: 1073000 | #Constraints: 38935
1846.35/1851.13 c #Conflicts: 1074000 | #Constraints: 39935
1846.35/1851.13 c #Conflicts: 1075000 | #Constraints: 40936
1846.35/1851.13 c #Conflicts: 1076000 | #Constraints: 41936
1846.35/1851.13 c #Conflicts: 1077000 | #Constraints: 42937
1846.35/1851.13 c #Conflicts: 1078000 | #Constraints: 43937
1846.35/1851.13 c #Conflicts: 1079000 | #Constraints: 44938
1846.35/1851.13 c #Conflicts: 1080000 | #Constraints: 45938
1846.35/1851.13 c #Conflicts: 1081000 | #Constraints: 46938
1846.35/1851.13 c #Conflicts: 1082000 | #Constraints: 47939
1846.35/1851.13 c #Conflicts: 1083000 | #Constraints: 48939
1846.35/1851.13 c INPROCESSING
1846.35/1851.13 c GARBAGE COLLECT
1846.35/1851.13 c rational objective 4501.5
1855.23/1860.06 c #Conflicts: 1084000 | #Constraints: 29283
1855.23/1860.06 c #Conflicts: 1085000 | #Constraints: 30283
1855.23/1860.06 c #Conflicts: 1086000 | #Constraints: 31284
1855.23/1860.06 c #Conflicts: 1087000 | #Constraints: 32286
1855.23/1860.06 c #Conflicts: 1088000 | #Constraints: 33286
1855.23/1860.06 c #Conflicts: 1089000 | #Constraints: 34287
1855.23/1860.06 c #Conflicts: 1090000 | #Constraints: 35287
1855.23/1860.06 c #Conflicts: 1091000 | #Constraints: 36287
1855.23/1860.06 c #Conflicts: 1092000 | #Constraints: 37287
1855.23/1860.06 c #Conflicts: 1093000 | #Constraints: 38287
1855.23/1860.06 c #Conflicts: 1094000 | #Constraints: 39287
1855.23/1860.06 c #Conflicts: 1095000 | #Constraints: 40287
1855.23/1860.06 c #Conflicts: 1096000 | #Constraints: 41287
1855.23/1860.06 c #Conflicts: 1097000 | #Constraints: 42287
1855.23/1860.06 c #Conflicts: 1098000 | #Constraints: 43288
1855.23/1860.06 c #Conflicts: 1099000 | #Constraints: 44288
1855.23/1860.06 c #Conflicts: 1100000 | #Constraints: 45288
1855.23/1860.06 c #Conflicts: 1101000 | #Constraints: 46289
1855.23/1860.06 c #Conflicts: 1102000 | #Constraints: 47289
1855.23/1860.06 c #Conflicts: 1103000 | #Constraints: 48290
1855.23/1860.06 c #Conflicts: 1104000 | #Constraints: 49290
1855.23/1860.06 c INPROCESSING
1855.23/1860.06 c GARBAGE COLLECT
1855.23/1860.06 c rational objective 4501.5
1870.59/1875.47 c #Conflicts: 1105000 | #Constraints: 29474
1870.59/1875.47 c #Conflicts: 1106000 | #Constraints: 30474
1870.59/1875.47 c #Conflicts: 1107000 | #Constraints: 31474
1870.59/1875.47 c #Conflicts: 1108000 | #Constraints: 32474
1870.59/1875.47 c #Conflicts: 1109000 | #Constraints: 33474
1870.59/1875.47 c #Conflicts: 1110000 | #Constraints: 34475
1870.59/1875.47 c #Conflicts: 1111000 | #Constraints: 35476
1870.59/1875.47 c #Conflicts: 1112000 | #Constraints: 36476
1870.59/1875.47 c #Conflicts: 1113000 | #Constraints: 37476
1870.59/1875.47 c #Conflicts: 1114000 | #Constraints: 38477
1870.59/1875.47 c #Conflicts: 1115000 | #Constraints: 39478
1870.59/1875.47 c #Conflicts: 1116000 | #Constraints: 40479
1870.59/1875.47 c #Conflicts: 1117000 | #Constraints: 41480
1870.59/1875.47 c #Conflicts: 1118000 | #Constraints: 42481
1870.59/1875.47 c #Conflicts: 1119000 | #Constraints: 43481
1870.59/1875.47 c #Conflicts: 1120000 | #Constraints: 44482
1870.59/1875.47 c #Conflicts: 1121000 | #Constraints: 45482
1870.59/1875.47 c #Conflicts: 1122000 | #Constraints: 46482
1870.59/1875.47 c #Conflicts: 1123000 | #Constraints: 47484
1870.59/1875.47 c #Conflicts: 1124000 | #Constraints: 48484
1870.59/1875.47 c #Conflicts: 1125000 | #Constraints: 49484
1870.59/1875.47 c INPROCESSING
1870.59/1875.47 c GARBAGE COLLECT
1870.59/1875.47 c rational objective 4501.5
1877.67/1882.52 c #Conflicts: 1126000 | #Constraints: 29468
1877.67/1882.52 c #Conflicts: 1127000 | #Constraints: 30468
1877.67/1882.52 c #Conflicts: 1128000 | #Constraints: 31468
1877.67/1882.52 c #Conflicts: 1129000 | #Constraints: 32468
1877.67/1882.52 c #Conflicts: 1130000 | #Constraints: 33468
1877.67/1882.52 c #Conflicts: 1131000 | #Constraints: 34468
1877.67/1882.52 c #Conflicts: 1132000 | #Constraints: 35470
1877.67/1882.52 c #Conflicts: 1133000 | #Constraints: 36472
1877.67/1882.52 c #Conflicts: 1134000 | #Constraints: 37472
1877.67/1882.52 c #Conflicts: 1135000 | #Constraints: 38473
1877.67/1882.52 c #Conflicts: 1136000 | #Constraints: 39473
1877.67/1882.52 c #Conflicts: 1137000 | #Constraints: 40473
1877.67/1882.52 c #Conflicts: 1138000 | #Constraints: 41473
1877.67/1882.52 c #Conflicts: 1139000 | #Constraints: 42473
1877.67/1882.52 c #Conflicts: 1140000 | #Constraints: 43473
1877.67/1882.52 c #Conflicts: 1141000 | #Constraints: 44474
1877.67/1882.52 c #Conflicts: 1142000 | #Constraints: 45474
1877.67/1882.52 c #Conflicts: 1143000 | #Constraints: 46475
1877.67/1882.52 c #Conflicts: 1144000 | #Constraints: 47475
1877.67/1882.52 c #Conflicts: 1145000 | #Constraints: 48476
1877.67/1882.52 c #Conflicts: 1146000 | #Constraints: 49476
1877.67/1882.52 c INPROCESSING
1877.67/1882.52 c GARBAGE COLLECT
1877.67/1882.52 c rational objective 4501.5
1908.69/1913.65 c #Conflicts: 1147000 | #Constraints: 29239
1908.69/1913.65 c #Conflicts: 1148000 | #Constraints: 30239
1908.69/1913.65 c #Conflicts: 1149000 | #Constraints: 31239
1908.69/1913.65 c #Conflicts: 1150000 | #Constraints: 32239
1908.69/1913.65 c #Conflicts: 1151000 | #Constraints: 33239
1908.69/1913.65 c #Conflicts: 1152000 | #Constraints: 34239
1908.69/1913.65 c #Conflicts: 1153000 | #Constraints: 35239
1908.69/1913.65 c #Conflicts: 1154000 | #Constraints: 36241
1908.69/1913.65 c #Conflicts: 1155000 | #Constraints: 37241
1908.69/1913.65 c #Conflicts: 1156000 | #Constraints: 38242
1908.69/1913.65 c #Conflicts: 1157000 | #Constraints: 39242
1908.69/1913.65 c #Conflicts: 1158000 | #Constraints: 40242
1908.69/1913.65 c #Conflicts: 1159000 | #Constraints: 41242
1908.69/1913.65 c #Conflicts: 1160000 | #Constraints: 42242
1908.69/1913.65 c #Conflicts: 1161000 | #Constraints: 43242
1908.69/1913.65 c #Conflicts: 1162000 | #Constraints: 44242
1908.69/1913.65 c #Conflicts: 1163000 | #Constraints: 45242
1908.69/1913.65 c #Conflicts: 1164000 | #Constraints: 46242
1908.69/1913.65 c #Conflicts: 1165000 | #Constraints: 47242
1908.69/1913.65 c #Conflicts: 1166000 | #Constraints: 48242
1908.69/1913.65 c #Conflicts: 1167000 | #Constraints: 49242
1908.69/1913.65 c #Conflicts: 1168000 | #Constraints: 50242
1908.69/1913.65 c INPROCESSING
1908.69/1913.65 c GARBAGE COLLECT
1908.69/1913.65 c rational objective 4501.5
1928.84/1933.80 c #Conflicts: 1169000 | #Constraints: 29843
1928.84/1933.80 c #Conflicts: 1170000 | #Constraints: 30843
1928.84/1933.80 c #Conflicts: 1171000 | #Constraints: 31843
1928.84/1933.80 c #Conflicts: 1172000 | #Constraints: 32843
1928.84/1933.80 c #Conflicts: 1173000 | #Constraints: 33843
1928.84/1933.80 c #Conflicts: 1174000 | #Constraints: 34844
1928.84/1933.80 c #Conflicts: 1175000 | #Constraints: 35844
1928.84/1933.80 c #Conflicts: 1176000 | #Constraints: 36844
1928.84/1933.80 c #Conflicts: 1177000 | #Constraints: 37844
1928.84/1933.80 c #Conflicts: 1178000 | #Constraints: 38844
1928.84/1933.80 c #Conflicts: 1179000 | #Constraints: 39844
1928.84/1933.80 c #Conflicts: 1180000 | #Constraints: 40844
1928.84/1933.80 c #Conflicts: 1181000 | #Constraints: 41844
1928.84/1933.80 c #Conflicts: 1182000 | #Constraints: 42844
1928.84/1933.80 c #Conflicts: 1183000 | #Constraints: 43844
1928.84/1933.80 c #Conflicts: 1184000 | #Constraints: 44844
1928.84/1933.80 c #Conflicts: 1185000 | #Constraints: 45844
1928.84/1933.80 c #Conflicts: 1186000 | #Constraints: 46844
1928.84/1933.80 c #Conflicts: 1187000 | #Constraints: 47844
1928.84/1933.80 c #Conflicts: 1188000 | #Constraints: 48845
1928.84/1933.80 c #Conflicts: 1189000 | #Constraints: 49845
1928.84/1933.80 c #Conflicts: 1190000 | #Constraints: 50845
1928.84/1933.80 c INPROCESSING
1928.84/1933.80 c GARBAGE COLLECT
1928.84/1933.80 c rational objective 4501.5
1978.22/1983.31 c #Conflicts: 1191000 | #Constraints: 30217
1978.22/1983.31 c #Conflicts: 1192000 | #Constraints: 31217
1978.22/1983.31 c #Conflicts: 1193000 | #Constraints: 32217
1978.22/1983.31 c #Conflicts: 1194000 | #Constraints: 33217
1978.22/1983.31 c #Conflicts: 1195000 | #Constraints: 34217
1978.22/1983.31 c #Conflicts: 1196000 | #Constraints: 35217
1978.22/1983.31 c #Conflicts: 1197000 | #Constraints: 36217
1978.22/1983.31 c #Conflicts: 1198000 | #Constraints: 37217
1978.22/1983.31 c #Conflicts: 1199000 | #Constraints: 38217
1978.22/1983.31 c #Conflicts: 1200000 | #Constraints: 39217
1978.22/1983.31 c #Conflicts: 1201000 | #Constraints: 40217
1978.22/1983.31 c #Conflicts: 1202000 | #Constraints: 41217
1978.22/1983.31 c #Conflicts: 1203000 | #Constraints: 42217
1978.22/1983.31 c #Conflicts: 1204000 | #Constraints: 43217
1978.22/1983.31 c #Conflicts: 1205000 | #Constraints: 44217
1978.22/1983.31 c #Conflicts: 1206000 | #Constraints: 45217
1978.22/1983.31 c #Conflicts: 1207000 | #Constraints: 46217
1978.22/1983.31 c #Conflicts: 1208000 | #Constraints: 47217
1978.22/1983.31 c #Conflicts: 1209000 | #Constraints: 48217
1978.22/1983.31 c #Conflicts: 1210000 | #Constraints: 49217
1978.22/1983.31 c #Conflicts: 1211000 | #Constraints: 50217
1978.22/1983.31 c #Conflicts: 1212000 | #Constraints: 51217
1978.22/1983.31 c INPROCESSING
1978.22/1983.31 c GARBAGE COLLECT
1978.22/1983.31 c rational objective 4501.5
2087.25/2092.63 c #Conflicts: 1213000 | #Constraints: 30425
2087.25/2092.63 c #Conflicts: 1214000 | #Constraints: 31425
2087.25/2092.63 c #Conflicts: 1215000 | #Constraints: 32426
2087.25/2092.63 c #Conflicts: 1216000 | #Constraints: 33426
2087.25/2092.63 c #Conflicts: 1217000 | #Constraints: 34426
2087.25/2092.63 c #Conflicts: 1218000 | #Constraints: 35426
2087.25/2092.63 c #Conflicts: 1219000 | #Constraints: 36426
2087.25/2092.63 c #Conflicts: 1220000 | #Constraints: 37426
2087.25/2092.63 c #Conflicts: 1221000 | #Constraints: 38426
2087.25/2092.63 c #Conflicts: 1222000 | #Constraints: 39426
2087.25/2092.63 c #Conflicts: 1223000 | #Constraints: 40426
2087.25/2092.63 c #Conflicts: 1224000 | #Constraints: 41426
2087.25/2092.63 c #Conflicts: 1225000 | #Constraints: 42426
2087.25/2092.63 c #Conflicts: 1226000 | #Constraints: 43426
2087.25/2092.63 c #Conflicts: 1227000 | #Constraints: 44426
2087.25/2092.63 c #Conflicts: 1228000 | #Constraints: 45426
2087.25/2092.63 c #Conflicts: 1229000 | #Constraints: 46426
2087.25/2092.63 c #Conflicts: 1230000 | #Constraints: 47426
2087.25/2092.63 c #Conflicts: 1231000 | #Constraints: 48427
2087.25/2092.63 c #Conflicts: 1232000 | #Constraints: 49427
2087.25/2092.63 c #Conflicts: 1233000 | #Constraints: 50427
2087.25/2092.63 c #Conflicts: 1234000 | #Constraints: 51427
2087.25/2092.63 c INPROCESSING
2087.25/2092.63 c GARBAGE COLLECT
2087.25/2092.63 c rational objective 4501.5
2185.80/2191.42 c #Conflicts: 1235000 | #Constraints: 30410
2185.80/2191.42 c #Conflicts: 1236000 | #Constraints: 31410
2185.80/2191.42 c #Conflicts: 1237000 | #Constraints: 32410
2185.80/2191.42 c #Conflicts: 1238000 | #Constraints: 33410
2185.80/2191.42 c #Conflicts: 1239000 | #Constraints: 34410
2185.80/2191.42 c #Conflicts: 1240000 | #Constraints: 35410
2185.80/2191.42 c #Conflicts: 1241000 | #Constraints: 36410
2185.80/2191.42 c #Conflicts: 1242000 | #Constraints: 37410
2185.80/2191.42 c #Conflicts: 1243000 | #Constraints: 38411
2185.80/2191.42 c #Conflicts: 1244000 | #Constraints: 39411
2185.80/2191.42 c #Conflicts: 1245000 | #Constraints: 40411
2185.80/2191.42 c #Conflicts: 1246000 | #Constraints: 41411
2185.80/2191.42 c #Conflicts: 1247000 | #Constraints: 42411
2185.80/2191.42 c #Conflicts: 1248000 | #Constraints: 43411
2185.80/2191.42 c #Conflicts: 1249000 | #Constraints: 44411
2185.80/2191.42 c #Conflicts: 1250000 | #Constraints: 45411
2185.80/2191.42 c #Conflicts: 1251000 | #Constraints: 46411
2185.80/2191.42 c #Conflicts: 1252000 | #Constraints: 47411
2185.80/2191.42 c #Conflicts: 1253000 | #Constraints: 48411
2185.80/2191.42 c #Conflicts: 1254000 | #Constraints: 49411
2185.80/2191.42 c #Conflicts: 1255000 | #Constraints: 50411
2185.80/2191.42 c #Conflicts: 1256000 | #Constraints: 51411
2185.80/2191.42 c INPROCESSING
2185.80/2191.42 c GARBAGE COLLECT
2185.80/2191.42 c #Conflicts: 1257000 | #Constraints: 30213
2185.80/2191.42 c #Conflicts: 1258000 | #Constraints: 31213
2185.80/2191.42 c #Conflicts: 1259000 | #Constraints: 32213
2185.80/2191.42 c #Conflicts: 1260000 | #Constraints: 33213
2185.80/2191.42 c #Conflicts: 1261000 | #Constraints: 34213
2185.80/2191.42 c #Conflicts: 1262000 | #Constraints: 35213
2185.80/2191.42 c #Conflicts: 1263000 | #Constraints: 36213
2185.80/2191.42 c #Conflicts: 1264000 | #Constraints: 37213
2185.80/2191.42 c #Conflicts: 1265000 | #Constraints: 38213
2185.80/2191.42 c #Conflicts: 1266000 | #Constraints: 39213
2185.80/2191.42 c #Conflicts: 1267000 | #Constraints: 40213
2185.80/2191.42 c #Conflicts: 1268000 | #Constraints: 41213
2185.80/2191.42 c #Conflicts: 1269000 | #Constraints: 42213
2185.80/2191.42 c #Conflicts: 1270000 | #Constraints: 43213
2185.80/2191.42 c #Conflicts: 1271000 | #Constraints: 44213
2185.80/2191.42 c #Conflicts: 1272000 | #Constraints: 45213
2185.80/2191.42 c #Conflicts: 1273000 | #Constraints: 46213
2185.80/2191.42 c #Conflicts: 1274000 | #Constraints: 47213
2185.80/2191.42 c #Conflicts: 1275000 | #Constraints: 48213
2185.80/2191.42 c #Conflicts: 1276000 | #Constraints: 49213
2185.80/2191.42 c #Conflicts: 1277000 | #Constraints: 50213
2185.80/2191.42 c #Conflicts: 1278000 | #Constraints: 51213
2185.80/2191.42 c #Conflicts: 1279000 | #Constraints: 52213
2185.80/2191.42 c INPROCESSING
2185.80/2191.42 c GARBAGE COLLECT
2185.80/2191.42 c #Conflicts: 1280000 | #Constraints: 30807
2185.80/2191.42 c #Conflicts: 1281000 | #Constraints: 31807
2185.80/2191.42 c #Conflicts: 1282000 | #Constraints: 32807
2185.80/2191.42 c #Conflicts: 1283000 | #Constraints: 33807
2185.80/2191.42 c #Conflicts: 1284000 | #Constraints: 34807
2185.80/2191.42 c #Conflicts: 1285000 | #Constraints: 35807
2185.80/2191.42 c #Conflicts: 1286000 | #Constraints: 36807
2185.80/2191.42 c #Conflicts: 1287000 | #Constraints: 37807
2185.80/2191.42 c #Conflicts: 1288000 | #Constraints: 38807
2185.80/2191.42 c #Conflicts: 1289000 | #Constraints: 39807
2185.80/2191.42 c #Conflicts: 1290000 | #Constraints: 40809
2185.80/2191.42 c #Conflicts: 1291000 | #Constraints: 41809
2185.80/2191.42 c #Conflicts: 1292000 | #Constraints: 42809
2185.80/2191.42 c #Conflicts: 1293000 | #Constraints: 43809
2185.80/2191.42 c #Conflicts: 1294000 | #Constraints: 44809
2185.80/2191.42 c #Conflicts: 1295000 | #Constraints: 45810
2185.80/2191.42 c #Conflicts: 1296000 | #Constraints: 46810
2185.80/2191.42 c #Conflicts: 1297000 | #Constraints: 47810
2185.80/2191.42 c #Conflicts: 1298000 | #Constraints: 48810
2185.80/2191.42 c #Conflicts: 1299000 | #Constraints: 49810
2185.80/2191.42 c #Conflicts: 1300000 | #Constraints: 50810
2185.80/2191.42 c #Conflicts: 1301000 | #Constraints: 51810
2185.80/2191.42 c #Conflicts: 1302000 | #Constraints: 52811
2185.80/2191.42 c INPROCESSING
2185.80/2191.42 c GARBAGE COLLECT
2185.80/2191.42 c #Conflicts: 1303000 | #Constraints: 31288
2185.80/2191.42 c #Conflicts: 1304000 | #Constraints: 32288
2185.80/2191.42 c #Conflicts: 1305000 | #Constraints: 33288
2185.80/2191.42 c #Conflicts: 1306000 | #Constraints: 34288
2185.80/2191.42 c #Conflicts: 1307000 | #Constraints: 35289
2185.80/2191.42 c #Conflicts: 1308000 | #Constraints: 36289
2185.80/2191.42 c #Conflicts: 1309000 | #Constraints: 37289
2185.80/2191.42 c #Conflicts: 1310000 | #Constraints: 38289
2185.80/2191.42 c #Conflicts: 1311000 | #Constraints: 39289
2203.46/2209.15 c #Conflicts: 1312000 | #Constraints: 40289
2203.46/2209.15 c #Conflicts: 1313000 | #Constraints: 41289
2203.46/2209.15 c #Conflicts: 1314000 | #Constraints: 42289
2203.46/2209.15 c #Conflicts: 1315000 | #Constraints: 43289
2203.46/2209.15 c #Conflicts: 1316000 | #Constraints: 44289
2203.46/2209.15 c #Conflicts: 1317000 | #Constraints: 45289
2203.46/2209.15 c #Conflicts: 1318000 | #Constraints: 46289
2203.46/2209.15 c #Conflicts: 1319000 | #Constraints: 47290
2203.46/2209.15 c #Conflicts: 1320000 | #Constraints: 48290
2203.46/2209.15 c #Conflicts: 1321000 | #Constraints: 49290
2203.46/2209.15 c #Conflicts: 1322000 | #Constraints: 50290
2203.46/2209.15 c #Conflicts: 1323000 | #Constraints: 51290
2203.46/2209.15 c #Conflicts: 1324000 | #Constraints: 52290
2203.46/2209.15 c #Conflicts: 1325000 | #Constraints: 53290
2203.46/2209.15 c INPROCESSING
2203.46/2209.15 c GARBAGE COLLECT
2203.46/2209.15 c #Conflicts: 1326000 | #Constraints: 31560
2203.46/2209.15 c #Conflicts: 1327000 | #Constraints: 32560
2203.46/2209.15 c #Conflicts: 1328000 | #Constraints: 33560
2203.46/2209.15 c #Conflicts: 1329000 | #Constraints: 34560
2203.46/2209.15 c #Conflicts: 1330000 | #Constraints: 35560
2203.46/2209.15 c #Conflicts: 1331000 | #Constraints: 36560
2203.46/2209.15 c #Conflicts: 1332000 | #Constraints: 37560
2203.46/2209.15 c #Conflicts: 1333000 | #Constraints: 38560
2203.46/2209.15 c #Conflicts: 1334000 | #Constraints: 39560
2203.46/2209.15 c #Conflicts: 1335000 | #Constraints: 40560
2203.46/2209.15 c #Conflicts: 1336000 | #Constraints: 41560
2203.46/2209.15 c #Conflicts: 1337000 | #Constraints: 42560
2203.46/2209.15 c #Conflicts: 1338000 | #Constraints: 43560
2203.46/2209.15 c #Conflicts: 1339000 | #Constraints: 44560
2203.46/2209.15 c #Conflicts: 1340000 | #Constraints: 45560
2203.46/2209.15 c #Conflicts: 1341000 | #Constraints: 46561
2203.46/2209.15 c #Conflicts: 1342000 | #Constraints: 47561
2203.46/2209.15 c #Conflicts: 1343000 | #Constraints: 48562
2203.46/2209.15 c #Conflicts: 1344000 | #Constraints: 49562
2203.46/2209.15 c #Conflicts: 1345000 | #Constraints: 50562
2203.46/2209.15 c #Conflicts: 1346000 | #Constraints: 51562
2203.46/2209.15 c #Conflicts: 1347000 | #Constraints: 52562
2203.46/2209.15 c #Conflicts: 1348000 | #Constraints: 53563
2203.46/2209.15 c INPROCESSING
2203.46/2209.15 c GARBAGE COLLECT
2203.46/2209.15 c rational objective 4501.5
2244.06/2249.87 c #Conflicts: 1349000 | #Constraints: 31630
2244.06/2249.87 c #Conflicts: 1350000 | #Constraints: 32630
2244.06/2249.87 c #Conflicts: 1351000 | #Constraints: 33633
2244.06/2249.87 c #Conflicts: 1352000 | #Constraints: 34634
2244.06/2249.87 c #Conflicts: 1353000 | #Constraints: 35634
2244.06/2249.87 c #Conflicts: 1354000 | #Constraints: 36635
2244.06/2249.87 c #Conflicts: 1355000 | #Constraints: 37635
2244.06/2249.87 c #Conflicts: 1356000 | #Constraints: 38635
2244.06/2249.87 c #Conflicts: 1357000 | #Constraints: 39635
2244.06/2249.87 c #Conflicts: 1358000 | #Constraints: 40635
2244.06/2249.87 c #Conflicts: 1359000 | #Constraints: 41635
2244.06/2249.87 c #Conflicts: 1360000 | #Constraints: 42635
2244.06/2249.87 c #Conflicts: 1361000 | #Constraints: 43635
2244.06/2249.87 c #Conflicts: 1362000 | #Constraints: 44635
2244.06/2249.87 c #Conflicts: 1363000 | #Constraints: 45635
2244.06/2249.87 c #Conflicts: 1364000 | #Constraints: 46635
2244.06/2249.87 c #Conflicts: 1365000 | #Constraints: 47635
2244.06/2249.87 c #Conflicts: 1366000 | #Constraints: 48635
2244.06/2249.87 c #Conflicts: 1367000 | #Constraints: 49636
2244.06/2249.87 c #Conflicts: 1368000 | #Constraints: 50636
2244.06/2249.87 c #Conflicts: 1369000 | #Constraints: 51636
2244.06/2249.87 c #Conflicts: 1370000 | #Constraints: 52636
2244.06/2249.87 c #Conflicts: 1371000 | #Constraints: 53636
2244.06/2249.87 c INPROCESSING
2244.06/2249.87 c GARBAGE COLLECT
2244.06/2249.87 c #Conflicts: 1372000 | #Constraints: 31319
2244.06/2249.87 c #Conflicts: 1373000 | #Constraints: 32320
2244.06/2249.87 c #Conflicts: 1374000 | #Constraints: 33320
2244.06/2249.87 c #Conflicts: 1375000 | #Constraints: 34320
2244.06/2249.87 c #Conflicts: 1376000 | #Constraints: 35320
2244.06/2249.87 c #Conflicts: 1377000 | #Constraints: 36320
2244.06/2249.87 c #Conflicts: 1378000 | #Constraints: 37320
2244.06/2249.87 c #Conflicts: 1379000 | #Constraints: 38320
2244.06/2249.87 c #Conflicts: 1380000 | #Constraints: 39320
2244.06/2249.87 c #Conflicts: 1381000 | #Constraints: 40320
2244.06/2249.87 c #Conflicts: 1382000 | #Constraints: 41320
2244.06/2249.87 c #Conflicts: 1383000 | #Constraints: 42320
2244.06/2249.87 c #Conflicts: 1384000 | #Constraints: 43320
2244.06/2249.87 c #Conflicts: 1385000 | #Constraints: 44320
2244.06/2249.87 c #Conflicts: 1386000 | #Constraints: 45320
2244.06/2249.87 c #Conflicts: 1387000 | #Constraints: 46320
2244.06/2249.87 c #Conflicts: 1388000 | #Constraints: 47320
2244.06/2249.87 c #Conflicts: 1389000 | #Constraints: 48320
2244.06/2249.87 c #Conflicts: 1390000 | #Constraints: 49320
2244.06/2249.87 c #Conflicts: 1391000 | #Constraints: 50320
2244.06/2249.87 c #Conflicts: 1392000 | #Constraints: 51320
2244.06/2249.87 c #Conflicts: 1393000 | #Constraints: 52320
2244.06/2249.87 c #Conflicts: 1394000 | #Constraints: 53320
2244.06/2249.87 c #Conflicts: 1395000 | #Constraints: 54320
2244.06/2249.87 c INPROCESSING
2244.06/2249.87 c GARBAGE COLLECT
2244.06/2249.87 c rational objective 4501.5
2288.54/2294.43 c #Conflicts: 1396000 | #Constraints: 31863
2288.54/2294.43 c #Conflicts: 1397000 | #Constraints: 32863
2288.54/2294.43 c #Conflicts: 1398000 | #Constraints: 33864
2288.54/2294.43 c #Conflicts: 1399000 | #Constraints: 34864
2288.54/2294.43 c #Conflicts: 1400000 | #Constraints: 35864
2288.54/2294.43 c #Conflicts: 1401000 | #Constraints: 36864
2288.54/2294.43 c #Conflicts: 1402000 | #Constraints: 37864
2288.54/2294.43 c #Conflicts: 1403000 | #Constraints: 38864
2288.54/2294.43 c #Conflicts: 1404000 | #Constraints: 39864
2288.54/2294.43 c #Conflicts: 1405000 | #Constraints: 40864
2288.54/2294.43 c #Conflicts: 1406000 | #Constraints: 41864
2288.54/2294.43 c #Conflicts: 1407000 | #Constraints: 42865
2288.54/2294.43 c #Conflicts: 1408000 | #Constraints: 43865
2288.54/2294.43 c #Conflicts: 1409000 | #Constraints: 44865
2288.54/2294.43 c #Conflicts: 1410000 | #Constraints: 45865
2288.54/2294.43 c #Conflicts: 1411000 | #Constraints: 46865
2288.54/2294.43 c #Conflicts: 1412000 | #Constraints: 47865
2288.54/2294.43 c #Conflicts: 1413000 | #Constraints: 48865
2288.54/2294.43 c #Conflicts: 1414000 | #Constraints: 49865
2288.54/2294.43 c #Conflicts: 1415000 | #Constraints: 50865
2288.54/2294.43 c #Conflicts: 1416000 | #Constraints: 51865
2288.54/2294.43 c #Conflicts: 1417000 | #Constraints: 52865
2288.54/2294.43 c #Conflicts: 1418000 | #Constraints: 53865
2288.54/2294.43 c #Conflicts: 1419000 | #Constraints: 54865
2288.54/2294.43 c INPROCESSING
2288.54/2294.43 c GARBAGE COLLECT
2288.54/2294.43 c rational objective 4501.5
2362.05/2368.16 c #Conflicts: 1420000 | #Constraints: 32393
2362.05/2368.16 c #Conflicts: 1421000 | #Constraints: 33393
2362.05/2368.16 c #Conflicts: 1422000 | #Constraints: 34393
2362.05/2368.16 c #Conflicts: 1423000 | #Constraints: 35393
2362.05/2368.16 c #Conflicts: 1424000 | #Constraints: 36393
2362.05/2368.16 c #Conflicts: 1425000 | #Constraints: 37393
2362.05/2368.16 c #Conflicts: 1426000 | #Constraints: 38393
2362.05/2368.16 c #Conflicts: 1427000 | #Constraints: 39393
2362.05/2368.16 c #Conflicts: 1428000 | #Constraints: 40393
2362.05/2368.16 c #Conflicts: 1429000 | #Constraints: 41393
2362.05/2368.16 c #Conflicts: 1430000 | #Constraints: 42393
2362.05/2368.16 c #Conflicts: 1431000 | #Constraints: 43393
2362.05/2368.16 c #Conflicts: 1432000 | #Constraints: 44393
2362.05/2368.16 c #Conflicts: 1433000 | #Constraints: 45393
2362.05/2368.16 c #Conflicts: 1434000 | #Constraints: 46393
2362.05/2368.16 c #Conflicts: 1435000 | #Constraints: 47393
2362.05/2368.16 c #Conflicts: 1436000 | #Constraints: 48393
2362.05/2368.16 c #Conflicts: 1437000 | #Constraints: 49393
2362.05/2368.16 c #Conflicts: 1438000 | #Constraints: 50393
2362.05/2368.16 c #Conflicts: 1439000 | #Constraints: 51393
2362.05/2368.16 c #Conflicts: 1440000 | #Constraints: 52393
2362.05/2368.16 c #Conflicts: 1441000 | #Constraints: 53393
2362.05/2368.16 c #Conflicts: 1442000 | #Constraints: 54393
2362.05/2368.16 c #Conflicts: 1443000 | #Constraints: 55393
2362.05/2368.16 c INPROCESSING
2362.05/2368.16 c GARBAGE COLLECT
2362.05/2368.16 c rational objective 4501.5
2656.23/2663.02 c #Conflicts: 1444000 | #Constraints: 32498
2656.23/2663.02 c #Conflicts: 1445000 | #Constraints: 33498
2656.23/2663.02 c #Conflicts: 1446000 | #Constraints: 34498
2656.23/2663.02 c #Conflicts: 1447000 | #Constraints: 35498
2656.23/2663.02 c #Conflicts: 1448000 | #Constraints: 36498
2656.23/2663.02 c #Conflicts: 1449000 | #Constraints: 37498
2656.23/2663.02 c #Conflicts: 1450000 | #Constraints: 38499
2656.23/2663.02 c #Conflicts: 1451000 | #Constraints: 39499
2656.23/2663.02 c #Conflicts: 1452000 | #Constraints: 40499
2656.23/2663.02 c #Conflicts: 1453000 | #Constraints: 41499
2656.23/2663.02 c #Conflicts: 1454000 | #Constraints: 42499
2656.23/2663.02 c #Conflicts: 1455000 | #Constraints: 43499
2656.23/2663.02 c #Conflicts: 1456000 | #Constraints: 44499
2656.23/2663.02 c #Conflicts: 1457000 | #Constraints: 45499
2656.23/2663.02 c #Conflicts: 1458000 | #Constraints: 46499
2656.23/2663.02 c #Conflicts: 1459000 | #Constraints: 47499
2656.23/2663.02 c #Conflicts: 1460000 | #Constraints: 48499
2656.23/2663.02 c #Conflicts: 1461000 | #Constraints: 49499
2656.23/2663.02 c #Conflicts: 1462000 | #Constraints: 50499
2656.23/2663.02 c #Conflicts: 1463000 | #Constraints: 51499
2656.23/2663.02 c #Conflicts: 1464000 | #Constraints: 52499
2656.23/2663.02 c #Conflicts: 1465000 | #Constraints: 53499
2656.23/2663.02 c #Conflicts: 1466000 | #Constraints: 54499
2656.23/2663.02 c #Conflicts: 1467000 | #Constraints: 55499
2656.23/2663.02 c INPROCESSING
2656.23/2663.02 c GARBAGE COLLECT
2656.23/2663.02 c #Conflicts: 1468000 | #Constraints: 32452
2656.23/2663.02 c #Conflicts: 1469000 | #Constraints: 33453
2656.23/2663.02 c #Conflicts: 1470000 | #Constraints: 34453
2656.23/2663.02 c #Conflicts: 1471000 | #Constraints: 35453
2656.23/2663.02 c #Conflicts: 1472000 | #Constraints: 36453
2656.23/2663.02 c #Conflicts: 1473000 | #Constraints: 37453
2656.23/2663.02 c #Conflicts: 1474000 | #Constraints: 38453
2656.23/2663.02 c #Conflicts: 1475000 | #Constraints: 39453
2656.23/2663.02 c #Conflicts: 1476000 | #Constraints: 40453
2656.23/2663.02 c #Conflicts: 1477000 | #Constraints: 41453
2656.23/2663.02 c #Conflicts: 1478000 | #Constraints: 42453
2656.23/2663.02 c #Conflicts: 1479000 | #Constraints: 43453
2656.23/2663.02 c #Conflicts: 1480000 | #Constraints: 44453
2656.23/2663.02 c #Conflicts: 1481000 | #Constraints: 45453
2656.23/2663.02 c #Conflicts: 1482000 | #Constraints: 46453
2656.23/2663.02 c #Conflicts: 1483000 | #Constraints: 47453
2656.23/2663.02 c #Conflicts: 1484000 | #Constraints: 48453
2656.23/2663.02 c #Conflicts: 1485000 | #Constraints: 49454
2656.23/2663.02 c #Conflicts: 1486000 | #Constraints: 50454
2656.23/2663.02 c #Conflicts: 1487000 | #Constraints: 51454
2656.23/2663.02 c #Conflicts: 1488000 | #Constraints: 52454
2656.23/2663.02 c #Conflicts: 1489000 | #Constraints: 53454
2656.23/2663.02 c #Conflicts: 1490000 | #Constraints: 54454
2656.23/2663.02 c #Conflicts: 1491000 | #Constraints: 55454
2656.23/2663.02 c INPROCESSING
2656.23/2663.02 c GARBAGE COLLECT
2656.23/2663.02 c #Conflicts: 1492000 | #Constraints: 32483
2656.23/2663.02 c #Conflicts: 1493000 | #Constraints: 33483
2656.23/2663.02 c #Conflicts: 1494000 | #Constraints: 34483
2656.23/2663.02 c #Conflicts: 1495000 | #Constraints: 35483
2656.23/2663.02 c #Conflicts: 1496000 | #Constraints: 36483
2656.23/2663.02 c #Conflicts: 1497000 | #Constraints: 37483
2656.23/2663.02 c #Conflicts: 1498000 | #Constraints: 38483
2656.23/2663.02 c #Conflicts: 1499000 | #Constraints: 39483
2656.23/2663.02 c #Conflicts: 1500000 | #Constraints: 40483
2656.23/2663.02 c #Conflicts: 1501000 | #Constraints: 41483
2656.23/2663.02 c #Conflicts: 1502000 | #Constraints: 42483
2656.23/2663.02 c #Conflicts: 1503000 | #Constraints: 43483
2656.23/2663.02 c #Conflicts: 1504000 | #Constraints: 44483
2656.23/2663.02 c #Conflicts: 1505000 | #Constraints: 45483
2656.23/2663.02 c #Conflicts: 1506000 | #Constraints: 46483
2656.23/2663.02 c #Conflicts: 1507000 | #Constraints: 47483
2656.23/2663.02 c #Conflicts: 1508000 | #Constraints: 48483
2656.23/2663.02 c #Conflicts: 1509000 | #Constraints: 49483
2656.23/2663.02 c #Conflicts: 1510000 | #Constraints: 50483
2656.23/2663.02 c #Conflicts: 1511000 | #Constraints: 51483
2656.23/2663.02 c #Conflicts: 1512000 | #Constraints: 52483
2656.23/2663.02 c #Conflicts: 1513000 | #Constraints: 53483
2656.23/2663.02 c #Conflicts: 1514000 | #Constraints: 54483
2656.23/2663.02 c #Conflicts: 1515000 | #Constraints: 55483
2656.23/2663.02 c #Conflicts: 1516000 | #Constraints: 56483
2656.23/2663.02 c INPROCESSING
2656.23/2663.02 c GARBAGE COLLECT
2656.23/2663.02 c #Conflicts: 1517000 | #Constraints: 32978
2656.23/2663.02 c #Conflicts: 1518000 | #Constraints: 33978
2656.23/2663.02 c #Conflicts: 1519000 | #Constraints: 34978
2656.23/2663.02 c #Conflicts: 1520000 | #Constraints: 35978
2719.84/2726.88 c #Conflicts: 1521000 | #Constraints: 36978
2719.84/2726.88 c #Conflicts: 1522000 | #Constraints: 37978
2719.84/2726.88 c #Conflicts: 1523000 | #Constraints: 38978
2719.84/2726.88 c #Conflicts: 1524000 | #Constraints: 39978
2719.84/2726.88 c #Conflicts: 1525000 | #Constraints: 40978
2719.84/2726.88 c #Conflicts: 1526000 | #Constraints: 41978
2719.84/2726.88 c #Conflicts: 1527000 | #Constraints: 42978
2719.84/2726.88 c #Conflicts: 1528000 | #Constraints: 43978
2719.84/2726.88 c #Conflicts: 1529000 | #Constraints: 44978
2719.84/2726.88 c #Conflicts: 1530000 | #Constraints: 45978
2719.84/2726.88 c #Conflicts: 1531000 | #Constraints: 46978
2719.84/2726.88 c #Conflicts: 1532000 | #Constraints: 47978
2719.84/2726.88 c #Conflicts: 1533000 | #Constraints: 48978
2719.84/2726.88 c #Conflicts: 1534000 | #Constraints: 49978
2719.84/2726.88 c #Conflicts: 1535000 | #Constraints: 50978
2719.84/2726.88 c #Conflicts: 1536000 | #Constraints: 51978
2719.84/2726.88 c #Conflicts: 1537000 | #Constraints: 52978
2719.84/2726.88 c #Conflicts: 1538000 | #Constraints: 53978
2719.84/2726.88 c #Conflicts: 1539000 | #Constraints: 54978
2719.84/2726.88 c #Conflicts: 1540000 | #Constraints: 55978
2719.84/2726.88 c #Conflicts: 1541000 | #Constraints: 56978
2719.84/2726.88 c INPROCESSING
2719.84/2726.88 c GARBAGE COLLECT
2719.84/2726.88 c #Conflicts: 1542000 | #Constraints: 33333
2719.84/2726.88 c #Conflicts: 1543000 | #Constraints: 34333
2719.84/2726.88 c #Conflicts: 1544000 | #Constraints: 35333
2719.84/2726.88 c #Conflicts: 1545000 | #Constraints: 36333
2719.84/2726.88 c #Conflicts: 1546000 | #Constraints: 37333
2719.84/2726.88 c #Conflicts: 1547000 | #Constraints: 38333
2719.84/2726.88 c #Conflicts: 1548000 | #Constraints: 39333
2719.84/2726.88 c #Conflicts: 1549000 | #Constraints: 40333
2719.84/2726.88 c #Conflicts: 1550000 | #Constraints: 41333
2719.84/2726.88 c #Conflicts: 1551000 | #Constraints: 42333
2719.84/2726.88 c #Conflicts: 1552000 | #Constraints: 43334
2719.84/2726.88 c #Conflicts: 1553000 | #Constraints: 44334
2719.84/2726.88 c #Conflicts: 1554000 | #Constraints: 45334
2719.84/2726.88 c #Conflicts: 1555000 | #Constraints: 46334
2719.84/2726.88 c #Conflicts: 1556000 | #Constraints: 47334
2719.84/2726.88 c #Conflicts: 1557000 | #Constraints: 48334
2719.84/2726.88 c #Conflicts: 1558000 | #Constraints: 49335
2719.84/2726.88 c #Conflicts: 1559000 | #Constraints: 50335
2719.84/2726.88 c #Conflicts: 1560000 | #Constraints: 51335
2719.84/2726.88 c #Conflicts: 1561000 | #Constraints: 52335
2719.84/2726.88 c #Conflicts: 1562000 | #Constraints: 53335
2719.84/2726.88 c #Conflicts: 1563000 | #Constraints: 54336
2719.84/2726.88 c #Conflicts: 1564000 | #Constraints: 55336
2719.84/2726.88 c #Conflicts: 1565000 | #Constraints: 56336
2719.84/2726.88 c #Conflicts: 1566000 | #Constraints: 57336
2719.84/2726.88 c INPROCESSING
2719.84/2726.88 c GARBAGE COLLECT
2719.84/2726.88 c #Conflicts: 1567000 | #Constraints: 33567
2719.84/2726.88 c #Conflicts: 1568000 | #Constraints: 34567
2719.84/2726.88 c #Conflicts: 1569000 | #Constraints: 35567
2719.84/2726.88 c #Conflicts: 1570000 | #Constraints: 36567
2719.84/2726.88 c #Conflicts: 1571000 | #Constraints: 37567
2719.84/2726.88 c #Conflicts: 1572000 | #Constraints: 38567
2719.84/2726.88 c #Conflicts: 1573000 | #Constraints: 39567
2719.84/2726.88 c #Conflicts: 1574000 | #Constraints: 40567
2719.84/2726.88 c #Conflicts: 1575000 | #Constraints: 41568
2719.84/2726.88 c #Conflicts: 1576000 | #Constraints: 42568
2719.84/2726.88 c #Conflicts: 1577000 | #Constraints: 43569
2719.84/2726.88 c #Conflicts: 1578000 | #Constraints: 44569
2719.84/2726.88 c #Conflicts: 1579000 | #Constraints: 45569
2719.84/2726.88 c #Conflicts: 1580000 | #Constraints: 46569
2719.84/2726.88 c #Conflicts: 1581000 | #Constraints: 47569
2719.84/2726.88 c #Conflicts: 1582000 | #Constraints: 48569
2719.84/2726.88 c #Conflicts: 1583000 | #Constraints: 49569
2719.84/2726.88 c #Conflicts: 1584000 | #Constraints: 50570
2719.84/2726.88 c #Conflicts: 1585000 | #Constraints: 51570
2719.84/2726.88 c #Conflicts: 1586000 | #Constraints: 52570
2719.84/2726.88 c #Conflicts: 1587000 | #Constraints: 53570
2719.84/2726.88 c #Conflicts: 1588000 | #Constraints: 54570
2719.84/2726.88 c #Conflicts: 1589000 | #Constraints: 55570
2719.84/2726.88 c #Conflicts: 1590000 | #Constraints: 56570
2719.84/2726.88 c #Conflicts: 1591000 | #Constraints: 57570
2719.84/2726.88 c INPROCESSING
2719.84/2726.88 c GARBAGE COLLECT
2719.84/2726.88 c rational objective 4501.5
2753.73/2760.80 c #Conflicts: 1592000 | #Constraints: 33576
2753.73/2760.80 c #Conflicts: 1593000 | #Constraints: 34577
2753.73/2760.80 c #Conflicts: 1594000 | #Constraints: 35577
2753.73/2760.80 c #Conflicts: 1595000 | #Constraints: 36578
2753.73/2760.80 c #Conflicts: 1596000 | #Constraints: 37578
2753.73/2760.80 c #Conflicts: 1597000 | #Constraints: 38578
2753.73/2760.80 c #Conflicts: 1598000 | #Constraints: 39579
2753.73/2760.80 c #Conflicts: 1599000 | #Constraints: 40579
2753.73/2760.80 c #Conflicts: 1600000 | #Constraints: 41580
2753.73/2760.80 c #Conflicts: 1601000 | #Constraints: 42583
2753.73/2760.80 c #Conflicts: 1602000 | #Constraints: 43583
2753.73/2760.80 c #Conflicts: 1603000 | #Constraints: 44584
2753.73/2760.80 c #Conflicts: 1604000 | #Constraints: 45584
2753.73/2760.80 c #Conflicts: 1605000 | #Constraints: 46584
2753.73/2760.80 c #Conflicts: 1606000 | #Constraints: 47584
2753.73/2760.80 c #Conflicts: 1607000 | #Constraints: 48585
2753.73/2760.80 c #Conflicts: 1608000 | #Constraints: 49585
2753.73/2760.80 c #Conflicts: 1609000 | #Constraints: 50585
2753.73/2760.80 c #Conflicts: 1610000 | #Constraints: 51585
2753.73/2760.80 c #Conflicts: 1611000 | #Constraints: 52586
2753.73/2760.80 c #Conflicts: 1612000 | #Constraints: 53586
2753.73/2760.80 c #Conflicts: 1613000 | #Constraints: 54586
2753.73/2760.80 c #Conflicts: 1614000 | #Constraints: 55586
2753.73/2760.80 c #Conflicts: 1615000 | #Constraints: 56586
2753.73/2760.80 c #Conflicts: 1616000 | #Constraints: 57586
2753.73/2760.80 c INPROCESSING
2753.73/2760.80 c GARBAGE COLLECT
2753.73/2760.80 c rational objective 4501.5
2811.35/2818.60 c #Conflicts: 1617000 | #Constraints: 33317
2811.35/2818.60 c #Conflicts: 1618000 | #Constraints: 34317
2811.35/2818.60 c #Conflicts: 1619000 | #Constraints: 35317
2811.35/2818.60 c #Conflicts: 1620000 | #Constraints: 36317
2811.35/2818.60 c #Conflicts: 1621000 | #Constraints: 37317
2811.35/2818.60 c #Conflicts: 1622000 | #Constraints: 38317
2811.35/2818.60 c #Conflicts: 1623000 | #Constraints: 39317
2811.35/2818.60 c #Conflicts: 1624000 | #Constraints: 40317
2811.35/2818.60 c #Conflicts: 1625000 | #Constraints: 41319
2811.35/2818.60 c #Conflicts: 1626000 | #Constraints: 42320
2811.35/2818.60 c #Conflicts: 1627000 | #Constraints: 43320
2811.35/2818.60 c #Conflicts: 1628000 | #Constraints: 44321
2811.35/2818.60 c #Conflicts: 1629000 | #Constraints: 45322
2811.35/2818.60 c #Conflicts: 1630000 | #Constraints: 46322
2811.35/2818.60 c #Conflicts: 1631000 | #Constraints: 47322
2811.35/2818.60 c #Conflicts: 1632000 | #Constraints: 48322
2811.35/2818.60 c #Conflicts: 1633000 | #Constraints: 49322
2811.35/2818.60 c #Conflicts: 1634000 | #Constraints: 50322
2811.35/2818.60 c #Conflicts: 1635000 | #Constraints: 51322
2811.35/2818.60 c #Conflicts: 1636000 | #Constraints: 52322
2811.35/2818.60 c #Conflicts: 1637000 | #Constraints: 53323
2811.35/2818.60 c #Conflicts: 1638000 | #Constraints: 54323
2811.35/2818.60 c #Conflicts: 1639000 | #Constraints: 55323
2811.35/2818.60 c #Conflicts: 1640000 | #Constraints: 56323
2811.35/2818.60 c #Conflicts: 1641000 | #Constraints: 57323
2811.35/2818.60 c #Conflicts: 1642000 | #Constraints: 58323
2811.35/2818.60 c INPROCESSING
2811.35/2818.60 c GARBAGE COLLECT
2811.35/2818.60 c #Conflicts: 1643000 | #Constraints: 33901
2811.35/2818.60 c #Conflicts: 1644000 | #Constraints: 34901
2811.35/2818.60 c #Conflicts: 1645000 | #Constraints: 35901
2811.35/2818.60 c #Conflicts: 1646000 | #Constraints: 36901
2811.35/2818.60 c #Conflicts: 1647000 | #Constraints: 37901
2811.35/2818.60 c #Conflicts: 1648000 | #Constraints: 38901
2811.35/2818.60 c #Conflicts: 1649000 | #Constraints: 39901
2811.35/2818.60 c #Conflicts: 1650000 | #Constraints: 40901
2811.35/2818.60 c #Conflicts: 1651000 | #Constraints: 41901
2811.35/2818.60 c #Conflicts: 1652000 | #Constraints: 42901
2811.35/2818.60 c #Conflicts: 1653000 | #Constraints: 43901
2811.35/2818.60 c #Conflicts: 1654000 | #Constraints: 44902
2811.35/2818.60 c #Conflicts: 1655000 | #Constraints: 45902
2811.35/2818.60 c #Conflicts: 1656000 | #Constraints: 46903
2811.35/2818.60 c #Conflicts: 1657000 | #Constraints: 47903
2811.35/2818.60 c #Conflicts: 1658000 | #Constraints: 48903
2811.35/2818.60 c #Conflicts: 1659000 | #Constraints: 49903
2811.35/2818.60 c #Conflicts: 1660000 | #Constraints: 50904
2811.35/2818.60 c #Conflicts: 1661000 | #Constraints: 51904
2811.35/2818.60 c #Conflicts: 1662000 | #Constraints: 52904
2811.35/2818.60 c #Conflicts: 1663000 | #Constraints: 53904
2811.35/2818.60 c #Conflicts: 1664000 | #Constraints: 54904
2811.35/2818.60 c #Conflicts: 1665000 | #Constraints: 55905
2811.35/2818.60 c #Conflicts: 1666000 | #Constraints: 56905
2811.35/2818.60 c #Conflicts: 1667000 | #Constraints: 57905
2811.35/2818.60 c #Conflicts: 1668000 | #Constraints: 58905
2811.35/2818.60 c INPROCESSING
2811.35/2818.60 c GARBAGE COLLECT
2811.35/2818.60 c rational objective 4501.5
2863.90/2871.33 c #Conflicts: 1669000 | #Constraints: 34304
2863.90/2871.33 c #Conflicts: 1670000 | #Constraints: 35304
2863.90/2871.33 c #Conflicts: 1671000 | #Constraints: 36304
2863.90/2871.33 c #Conflicts: 1672000 | #Constraints: 37304
2863.90/2871.33 c #Conflicts: 1673000 | #Constraints: 38304
2863.90/2871.33 c #Conflicts: 1674000 | #Constraints: 39304
2863.90/2871.33 c #Conflicts: 1675000 | #Constraints: 40304
2863.90/2871.33 c #Conflicts: 1676000 | #Constraints: 41304
2863.90/2871.33 c #Conflicts: 1677000 | #Constraints: 42304
2863.90/2871.33 c #Conflicts: 1678000 | #Constraints: 43304
2863.90/2871.33 c #Conflicts: 1679000 | #Constraints: 44304
2863.90/2871.33 c #Conflicts: 1680000 | #Constraints: 45304
2863.90/2871.33 c #Conflicts: 1681000 | #Constraints: 46304
2863.90/2871.33 c #Conflicts: 1682000 | #Constraints: 47305
2863.90/2871.33 c #Conflicts: 1683000 | #Constraints: 48305
2863.90/2871.33 c #Conflicts: 1684000 | #Constraints: 49305
2863.90/2871.33 c #Conflicts: 1685000 | #Constraints: 50305
2863.90/2871.33 c #Conflicts: 1686000 | #Constraints: 51305
2863.90/2871.33 c #Conflicts: 1687000 | #Constraints: 52305
2863.90/2871.33 c #Conflicts: 1688000 | #Constraints: 53305
2863.90/2871.33 c #Conflicts: 1689000 | #Constraints: 54305
2863.90/2871.33 c #Conflicts: 1690000 | #Constraints: 55305
2863.90/2871.33 c #Conflicts: 1691000 | #Constraints: 56305
2863.90/2871.33 c #Conflicts: 1692000 | #Constraints: 57305
2863.90/2871.33 c #Conflicts: 1693000 | #Constraints: 58305
2863.90/2871.33 c #Conflicts: 1694000 | #Constraints: 59305
2863.90/2871.33 c INPROCESSING
2863.90/2871.33 c GARBAGE COLLECT
2863.90/2871.33 c rational objective 4501.5
3032.08/3040.10 c #Conflicts: 1695000 | #Constraints: 34460
3032.08/3040.10 c #Conflicts: 1696000 | #Constraints: 35462
3032.08/3040.10 c #Conflicts: 1697000 | #Constraints: 36462
3032.08/3040.10 c #Conflicts: 1698000 | #Constraints: 37462
3032.08/3040.10 c #Conflicts: 1699000 | #Constraints: 38462
3032.08/3040.10 c #Conflicts: 1700000 | #Constraints: 39462
3032.08/3040.10 c #Conflicts: 1701000 | #Constraints: 40462
3032.08/3040.10 c #Conflicts: 1702000 | #Constraints: 41462
3032.08/3040.10 c #Conflicts: 1703000 | #Constraints: 42463
3032.08/3040.10 c #Conflicts: 1704000 | #Constraints: 43463
3032.08/3040.10 c #Conflicts: 1705000 | #Constraints: 44463
3032.08/3040.10 c #Conflicts: 1706000 | #Constraints: 45463
3032.08/3040.10 c #Conflicts: 1707000 | #Constraints: 46463
3032.08/3040.10 c #Conflicts: 1708000 | #Constraints: 47463
3032.08/3040.10 c #Conflicts: 1709000 | #Constraints: 48463
3032.08/3040.10 c #Conflicts: 1710000 | #Constraints: 49463
3032.08/3040.10 c #Conflicts: 1711000 | #Constraints: 50463
3032.08/3040.10 c #Conflicts: 1712000 | #Constraints: 51463
3032.08/3040.10 c #Conflicts: 1713000 | #Constraints: 52463
3032.08/3040.10 c #Conflicts: 1714000 | #Constraints: 53463
3032.08/3040.10 c #Conflicts: 1715000 | #Constraints: 54464
3032.08/3040.10 c #Conflicts: 1716000 | #Constraints: 55464
3032.08/3040.10 c #Conflicts: 1717000 | #Constraints: 56464
3032.08/3040.10 c #Conflicts: 1718000 | #Constraints: 57464
3032.08/3040.10 c #Conflicts: 1719000 | #Constraints: 58464
3032.08/3040.10 c #Conflicts: 1720000 | #Constraints: 59464
3032.08/3040.10 c INPROCESSING
3032.08/3040.10 c GARBAGE COLLECT
3032.08/3040.10 c #Conflicts: 1721000 | #Constraints: 34609
3032.08/3040.10 c #Conflicts: 1722000 | #Constraints: 35609
3032.08/3040.10 c #Conflicts: 1723000 | #Constraints: 36609
3032.08/3040.10 c #Conflicts: 1724000 | #Constraints: 37609
3032.08/3040.10 c #Conflicts: 1725000 | #Constraints: 38609
3032.08/3040.10 c #Conflicts: 1726000 | #Constraints: 39609
3032.08/3040.10 c #Conflicts: 1727000 | #Constraints: 40609
3032.08/3040.10 c #Conflicts: 1728000 | #Constraints: 41609
3032.08/3040.10 c #Conflicts: 1729000 | #Constraints: 42609
3032.08/3040.10 c #Conflicts: 1730000 | #Constraints: 43609
3032.08/3040.10 c #Conflicts: 1731000 | #Constraints: 44609
3032.08/3040.10 c #Conflicts: 1732000 | #Constraints: 45609
3032.08/3040.10 c #Conflicts: 1733000 | #Constraints: 46609
3032.08/3040.10 c #Conflicts: 1734000 | #Constraints: 47609
3032.08/3040.10 c #Conflicts: 1735000 | #Constraints: 48609
3032.08/3040.10 c #Conflicts: 1736000 | #Constraints: 49609
3032.08/3040.10 c #Conflicts: 1737000 | #Constraints: 50609
3032.08/3040.10 c #Conflicts: 1738000 | #Constraints: 51609
3032.08/3040.10 c #Conflicts: 1739000 | #Constraints: 52609
3032.08/3040.10 c #Conflicts: 1740000 | #Constraints: 53609
3032.08/3040.10 c #Conflicts: 1741000 | #Constraints: 54609
3032.08/3040.10 c #Conflicts: 1742000 | #Constraints: 55609
3032.08/3040.10 c #Conflicts: 1743000 | #Constraints: 56609
3032.08/3040.10 c #Conflicts: 1744000 | #Constraints: 57609
3032.08/3040.10 c #Conflicts: 1745000 | #Constraints: 58609
3032.08/3040.10 c #Conflicts: 1746000 | #Constraints: 59609
3032.08/3040.10 c INPROCESSING
3032.08/3040.10 c GARBAGE COLLECT
3032.08/3040.10 c rational objective 4501.5
3099.58/3107.73 c #Conflicts: 1747000 | #Constraints: 34333
3099.58/3107.73 c #Conflicts: 1748000 | #Constraints: 35333
3099.58/3107.73 c #Conflicts: 1749000 | #Constraints: 36333
3099.58/3107.73 c #Conflicts: 1750000 | #Constraints: 37333
3099.58/3107.73 c #Conflicts: 1751000 | #Constraints: 38333
3099.58/3107.73 c #Conflicts: 1752000 | #Constraints: 39333
3099.58/3107.73 c #Conflicts: 1753000 | #Constraints: 40333
3099.58/3107.73 c #Conflicts: 1754000 | #Constraints: 41333
3099.58/3107.73 c #Conflicts: 1755000 | #Constraints: 42333
3099.58/3107.73 c #Conflicts: 1756000 | #Constraints: 43333
3099.58/3107.73 c #Conflicts: 1757000 | #Constraints: 44335
3099.58/3107.73 c #Conflicts: 1758000 | #Constraints: 45335
3099.58/3107.73 c #Conflicts: 1759000 | #Constraints: 46335
3099.58/3107.73 c #Conflicts: 1760000 | #Constraints: 47335
3099.58/3107.73 c #Conflicts: 1761000 | #Constraints: 48335
3099.58/3107.73 c #Conflicts: 1762000 | #Constraints: 49335
3099.58/3107.73 c #Conflicts: 1763000 | #Constraints: 50335
3099.58/3107.73 c #Conflicts: 1764000 | #Constraints: 51336
3099.58/3107.73 c #Conflicts: 1765000 | #Constraints: 52336
3099.58/3107.73 c #Conflicts: 1766000 | #Constraints: 53336
3099.58/3107.73 c #Conflicts: 1767000 | #Constraints: 54336
3099.58/3107.73 c #Conflicts: 1768000 | #Constraints: 55336
3099.58/3107.73 c #Conflicts: 1769000 | #Constraints: 56336
3099.58/3107.73 c #Conflicts: 1770000 | #Constraints: 57336
3099.58/3107.73 c #Conflicts: 1771000 | #Constraints: 58336
3099.58/3107.73 c #Conflicts: 1772000 | #Constraints: 59336
3099.58/3107.73 c #Conflicts: 1773000 | #Constraints: 60336
3099.58/3107.73 c INPROCESSING
3099.58/3107.73 c GARBAGE COLLECT
3099.58/3107.73 c rational objective 4501.5
3168.27/3176.68 c #Conflicts: 1774000 | #Constraints: 35039
3168.27/3176.68 c #Conflicts: 1775000 | #Constraints: 36039
3168.27/3176.68 c #Conflicts: 1776000 | #Constraints: 37039
3168.27/3176.68 c #Conflicts: 1777000 | #Constraints: 38039
3168.27/3176.68 c #Conflicts: 1778000 | #Constraints: 39039
3168.27/3176.68 c #Conflicts: 1779000 | #Constraints: 40039
3168.27/3176.68 c #Conflicts: 1780000 | #Constraints: 41039
3168.27/3176.68 c #Conflicts: 1781000 | #Constraints: 42039
3168.27/3176.68 c #Conflicts: 1782000 | #Constraints: 43039
3168.27/3176.68 c #Conflicts: 1783000 | #Constraints: 44039
3168.27/3176.68 c #Conflicts: 1784000 | #Constraints: 45039
3168.27/3176.68 c #Conflicts: 1785000 | #Constraints: 46039
3168.27/3176.68 c #Conflicts: 1786000 | #Constraints: 47041
3168.27/3176.68 c #Conflicts: 1787000 | #Constraints: 48042
3168.27/3176.68 c #Conflicts: 1788000 | #Constraints: 49042
3168.27/3176.68 c #Conflicts: 1789000 | #Constraints: 50042
3168.27/3176.68 c #Conflicts: 1790000 | #Constraints: 51043
3168.27/3176.68 c #Conflicts: 1791000 | #Constraints: 52043
3168.27/3176.68 c #Conflicts: 1792000 | #Constraints: 53043
3168.27/3176.68 c #Conflicts: 1793000 | #Constraints: 54043
3168.27/3176.68 c #Conflicts: 1794000 | #Constraints: 55043
3168.27/3176.68 c #Conflicts: 1795000 | #Constraints: 56043
3168.27/3176.68 c #Conflicts: 1796000 | #Constraints: 57043
3168.27/3176.68 c #Conflicts: 1797000 | #Constraints: 58043
3168.27/3176.68 c #Conflicts: 1798000 | #Constraints: 59044
3168.27/3176.68 c #Conflicts: 1799000 | #Constraints: 60044
3168.27/3176.68 c #Conflicts: 1800000 | #Constraints: 61044
3168.27/3176.68 c INPROCESSING
3168.27/3176.68 c GARBAGE COLLECT
3168.27/3176.68 c rational objective 4501.5
3206.66/3215.16 c #Conflicts: 1801000 | #Constraints: 35466
3206.66/3215.16 c #Conflicts: 1802000 | #Constraints: 36466
3206.66/3215.16 c #Conflicts: 1803000 | #Constraints: 37466
3206.66/3215.16 c #Conflicts: 1804000 | #Constraints: 38466
3206.66/3215.16 c #Conflicts: 1805000 | #Constraints: 39466
3206.66/3215.16 c #Conflicts: 1806000 | #Constraints: 40466
3206.66/3215.16 c #Conflicts: 1807000 | #Constraints: 41466
3206.66/3215.16 c #Conflicts: 1808000 | #Constraints: 42466
3206.66/3215.16 c #Conflicts: 1809000 | #Constraints: 43466
3206.66/3215.16 c #Conflicts: 1810000 | #Constraints: 44466
3206.66/3215.16 c #Conflicts: 1811000 | #Constraints: 45466
3206.66/3215.16 c #Conflicts: 1812000 | #Constraints: 46467
3206.66/3215.16 c #Conflicts: 1813000 | #Constraints: 47468
3206.66/3215.16 c #Conflicts: 1814000 | #Constraints: 48470
3206.66/3215.16 c #Conflicts: 1815000 | #Constraints: 49471
3206.66/3215.16 c #Conflicts: 1816000 | #Constraints: 50471
3206.66/3215.16 c #Conflicts: 1817000 | #Constraints: 51472
3206.66/3215.16 c #Conflicts: 1818000 | #Constraints: 52472
3206.66/3215.16 c #Conflicts: 1819000 | #Constraints: 53472
3206.66/3215.16 c #Conflicts: 1820000 | #Constraints: 54472
3206.66/3215.16 c #Conflicts: 1821000 | #Constraints: 55472
3206.66/3215.16 c #Conflicts: 1822000 | #Constraints: 56472
3206.66/3215.16 c #Conflicts: 1823000 | #Constraints: 57472
3206.66/3215.16 c #Conflicts: 1824000 | #Constraints: 58472
3206.66/3215.16 c #Conflicts: 1825000 | #Constraints: 59472
3206.66/3215.16 c #Conflicts: 1826000 | #Constraints: 60473
3206.66/3215.16 c #Conflicts: 1827000 | #Constraints: 61473
3206.66/3215.16 c INPROCESSING
3206.66/3215.16 c GARBAGE COLLECT
3206.66/3215.16 c rational objective 4501.5
3304.36/3313.17 c #Conflicts: 1828000 | #Constraints: 35575
3304.36/3313.17 c #Conflicts: 1829000 | #Constraints: 36575
3304.36/3313.17 c #Conflicts: 1830000 | #Constraints: 37575
3304.36/3313.17 c #Conflicts: 1831000 | #Constraints: 38575
3304.36/3313.17 c #Conflicts: 1832000 | #Constraints: 39575
3304.36/3313.17 c #Conflicts: 1833000 | #Constraints: 40575
3304.36/3313.17 c #Conflicts: 1834000 | #Constraints: 41575
3304.36/3313.17 c #Conflicts: 1835000 | #Constraints: 42575
3304.36/3313.17 c #Conflicts: 1836000 | #Constraints: 43575
3304.36/3313.17 c #Conflicts: 1837000 | #Constraints: 44576
3304.36/3313.17 c #Conflicts: 1838000 | #Constraints: 45576
3304.36/3313.17 c #Conflicts: 1839000 | #Constraints: 46576
3304.36/3313.17 c #Conflicts: 1840000 | #Constraints: 47576
3304.36/3313.17 c #Conflicts: 1841000 | #Constraints: 48576
3304.36/3313.17 c #Conflicts: 1842000 | #Constraints: 49576
3304.36/3313.17 c #Conflicts: 1843000 | #Constraints: 50576
3304.36/3313.17 c #Conflicts: 1844000 | #Constraints: 51577
3304.36/3313.17 c #Conflicts: 1845000 | #Constraints: 52577
3304.36/3313.17 c #Conflicts: 1846000 | #Constraints: 53577
3304.36/3313.17 c #Conflicts: 1847000 | #Constraints: 54577
3304.36/3313.17 c #Conflicts: 1848000 | #Constraints: 55577
3304.36/3313.17 c #Conflicts: 1849000 | #Constraints: 56577
3304.36/3313.17 c #Conflicts: 1850000 | #Constraints: 57578
3304.36/3313.17 c #Conflicts: 1851000 | #Constraints: 58578
3304.36/3313.17 c #Conflicts: 1852000 | #Constraints: 59578
3304.36/3313.17 c #Conflicts: 1853000 | #Constraints: 60578
3304.36/3313.17 c #Conflicts: 1854000 | #Constraints: 61578
3304.36/3313.17 c INPROCESSING
3304.36/3313.17 c GARBAGE COLLECT
3304.36/3313.17 c rational objective 4501.5
3384.21/3393.29 c #Conflicts: 1855000 | #Constraints: 35528
3384.21/3393.29 c #Conflicts: 1856000 | #Constraints: 36528
3384.21/3393.29 c #Conflicts: 1857000 | #Constraints: 37528
3384.21/3393.29 c #Conflicts: 1858000 | #Constraints: 38529
3384.21/3393.29 c #Conflicts: 1859000 | #Constraints: 39529
3384.21/3393.29 c #Conflicts: 1860000 | #Constraints: 40529
3384.21/3393.29 c #Conflicts: 1861000 | #Constraints: 41529
3384.21/3393.29 c #Conflicts: 1862000 | #Constraints: 42529
3384.21/3393.29 c #Conflicts: 1863000 | #Constraints: 43529
3384.21/3393.29 c #Conflicts: 1864000 | #Constraints: 44529
3384.21/3393.29 c #Conflicts: 1865000 | #Constraints: 45529
3384.21/3393.29 c #Conflicts: 1866000 | #Constraints: 46529
3384.21/3393.29 c #Conflicts: 1867000 | #Constraints: 47529
3384.21/3393.29 c #Conflicts: 1868000 | #Constraints: 48529
3384.21/3393.29 c #Conflicts: 1869000 | #Constraints: 49529
3384.21/3393.29 c #Conflicts: 1870000 | #Constraints: 50529
3384.21/3393.29 c #Conflicts: 1871000 | #Constraints: 51529
3384.21/3393.29 c #Conflicts: 1872000 | #Constraints: 52530
3384.21/3393.29 c #Conflicts: 1873000 | #Constraints: 53530
3384.21/3393.29 c #Conflicts: 1874000 | #Constraints: 54530
3384.21/3393.29 c #Conflicts: 1875000 | #Constraints: 55530
3384.21/3393.29 c #Conflicts: 1876000 | #Constraints: 56530
3384.21/3393.29 c #Conflicts: 1877000 | #Constraints: 57530
3384.21/3393.29 c #Conflicts: 1878000 | #Constraints: 58530
3384.21/3393.29 c #Conflicts: 1879000 | #Constraints: 59530
3384.21/3393.29 c #Conflicts: 1880000 | #Constraints: 60530
3384.21/3393.29 c #Conflicts: 1881000 | #Constraints: 61531
3384.21/3393.29 c INPROCESSING
3384.21/3393.29 c GARBAGE COLLECT
3384.21/3393.29 c #Conflicts: 1882000 | #Constraints: 35326
3384.21/3393.29 c #Conflicts: 1883000 | #Constraints: 36326
3384.21/3393.29 c #Conflicts: 1884000 | #Constraints: 37326
3384.21/3393.29 c #Conflicts: 1885000 | #Constraints: 38326
3384.21/3393.29 c #Conflicts: 1886000 | #Constraints: 39326
3384.21/3393.29 c #Conflicts: 1887000 | #Constraints: 40326
3384.21/3393.29 c #Conflicts: 1888000 | #Constraints: 41326
3384.21/3393.29 c #Conflicts: 1889000 | #Constraints: 42326
3384.21/3393.29 c #Conflicts: 1890000 | #Constraints: 43326
3384.21/3393.29 c #Conflicts: 1891000 | #Constraints: 44326
3384.21/3393.29 c #Conflicts: 1892000 | #Constraints: 45326
3384.21/3393.29 c #Conflicts: 1893000 | #Constraints: 46326
3384.21/3393.29 c #Conflicts: 1894000 | #Constraints: 47326
3384.21/3393.29 c #Conflicts: 1895000 | #Constraints: 48326
3384.21/3393.29 c #Conflicts: 1896000 | #Constraints: 49326
3384.21/3393.29 c #Conflicts: 1897000 | #Constraints: 50326
3384.21/3393.29 c #Conflicts: 1898000 | #Constraints: 51326
3384.21/3393.29 c #Conflicts: 1899000 | #Constraints: 52326
3384.21/3393.29 c #Conflicts: 1900000 | #Constraints: 53326
3384.21/3393.29 c #Conflicts: 1901000 | #Constraints: 54326
3384.21/3393.29 c #Conflicts: 1902000 | #Constraints: 55327
3384.21/3393.29 c #Conflicts: 1903000 | #Constraints: 56327
3384.21/3393.29 c #Conflicts: 1904000 | #Constraints: 57327
3384.21/3393.29 c #Conflicts: 1905000 | #Constraints: 58327
3384.21/3393.29 c #Conflicts: 1906000 | #Constraints: 59327
3384.21/3393.29 c #Conflicts: 1907000 | #Constraints: 60327
3384.21/3393.29 c #Conflicts: 1908000 | #Constraints: 61327
3384.21/3393.29 c #Conflicts: 1909000 | #Constraints: 62327
3384.21/3393.29 c INPROCESSING
3384.21/3393.29 c GARBAGE COLLECT
3384.21/3393.29 c rational objective 4501.5
3478.52/3487.81 c #Conflicts: 1910000 | #Constraints: 35902
3478.52/3487.81 c #Conflicts: 1911000 | #Constraints: 36902
3478.52/3487.81 c #Conflicts: 1912000 | #Constraints: 37902
3478.52/3487.81 c #Conflicts: 1913000 | #Constraints: 38902
3478.52/3487.81 c #Conflicts: 1914000 | #Constraints: 39902
3478.52/3487.81 c #Conflicts: 1915000 | #Constraints: 40902
3478.52/3487.81 c #Conflicts: 1916000 | #Constraints: 41902
3478.52/3487.81 c #Conflicts: 1917000 | #Constraints: 42902
3478.52/3487.81 c #Conflicts: 1918000 | #Constraints: 43902
3478.52/3487.81 c #Conflicts: 1919000 | #Constraints: 44902
3478.52/3487.81 c #Conflicts: 1920000 | #Constraints: 45902
3478.52/3487.81 c #Conflicts: 1921000 | #Constraints: 46902
3478.52/3487.81 c #Conflicts: 1922000 | #Constraints: 47902
3478.52/3487.81 c #Conflicts: 1923000 | #Constraints: 48902
3478.52/3487.81 c #Conflicts: 1924000 | #Constraints: 49902
3478.52/3487.81 c #Conflicts: 1925000 | #Constraints: 50902
3478.52/3487.81 c #Conflicts: 1926000 | #Constraints: 51902
3478.52/3487.81 c #Conflicts: 1927000 | #Constraints: 52902
3478.52/3487.81 c #Conflicts: 1928000 | #Constraints: 53902
3478.52/3487.81 c #Conflicts: 1929000 | #Constraints: 54902
3478.52/3487.81 c #Conflicts: 1930000 | #Constraints: 55902
3478.52/3487.81 c #Conflicts: 1931000 | #Constraints: 56902
3478.52/3487.81 c #Conflicts: 1932000 | #Constraints: 57902
3478.52/3487.81 c #Conflicts: 1933000 | #Constraints: 58902
3478.52/3487.81 c #Conflicts: 1934000 | #Constraints: 59902
3478.52/3487.81 c #Conflicts: 1935000 | #Constraints: 60902
3478.52/3487.81 c #Conflicts: 1936000 | #Constraints: 61902
3478.52/3487.81 c #Conflicts: 1937000 | #Constraints: 62902
3478.52/3487.81 c INPROCESSING
3478.52/3487.81 c GARBAGE COLLECT
3478.52/3487.81 c rational objective 4501.5
3530.06/3539.59 c #Conflicts: 1938000 | #Constraints: 36350
3530.06/3539.59 c #Conflicts: 1939000 | #Constraints: 37350
3530.06/3539.59 c #Conflicts: 1940000 | #Constraints: 38350
3530.06/3539.59 c #Conflicts: 1941000 | #Constraints: 39350
3530.06/3539.59 c #Conflicts: 1942000 | #Constraints: 40350
3530.06/3539.59 c #Conflicts: 1943000 | #Constraints: 41350
3530.06/3539.59 c #Conflicts: 1944000 | #Constraints: 42350
3530.06/3539.59 c #Conflicts: 1945000 | #Constraints: 43351
3530.06/3539.59 c #Conflicts: 1946000 | #Constraints: 44351
3530.06/3539.59 c #Conflicts: 1947000 | #Constraints: 45351
3530.06/3539.59 c #Conflicts: 1948000 | #Constraints: 46351
3530.06/3539.59 c #Conflicts: 1949000 | #Constraints: 47351
3530.06/3539.59 c #Conflicts: 1950000 | #Constraints: 48351
3530.06/3539.59 c #Conflicts: 1951000 | #Constraints: 49351
3530.06/3539.59 c #Conflicts: 1952000 | #Constraints: 50351
3530.06/3539.59 c #Conflicts: 1953000 | #Constraints: 51351
3530.06/3539.59 c #Conflicts: 1954000 | #Constraints: 52351
3530.06/3539.59 c #Conflicts: 1955000 | #Constraints: 53351
3530.06/3539.59 c #Conflicts: 1956000 | #Constraints: 54351
3530.06/3539.59 c #Conflicts: 1957000 | #Constraints: 55351
3530.06/3539.59 c #Conflicts: 1958000 | #Constraints: 56351
3530.06/3539.59 c #Conflicts: 1959000 | #Constraints: 57351
3530.06/3539.59 c #Conflicts: 1960000 | #Constraints: 58351
3530.06/3539.59 c #Conflicts: 1961000 | #Constraints: 59351
3530.06/3539.59 c #Conflicts: 1962000 | #Constraints: 60351
3530.06/3539.59 c #Conflicts: 1963000 | #Constraints: 61351
3530.06/3539.59 c #Conflicts: 1964000 | #Constraints: 62351
3530.06/3539.59 c #Conflicts: 1965000 | #Constraints: 63351
3530.06/3539.59 c INPROCESSING
3530.06/3539.59 c GARBAGE COLLECT
3530.06/3539.59 c rational objective 4501.5
3600.05/3609.70 c #Conflicts: 1966000 | #Constraints: 36518
3600.05/3609.70 c #Conflicts: 1967000 | #Constraints: 37518
3600.05/3609.70 c #Conflicts: 1968000 | #Constraints: 38518
3600.05/3609.70 c #Conflicts: 1969000 | #Constraints: 39518
3600.05/3609.70 c #Conflicts: 1970000 | #Constraints: 40518
3600.05/3609.70 c #Conflicts: 1971000 | #Constraints: 41518
3600.05/3609.70 c #Conflicts: 1972000 | #Constraints: 42519
3600.05/3609.70 c #Conflicts: 1973000 | #Constraints: 43519
3600.05/3609.70 c #Conflicts: 1974000 | #Constraints: 44519
3600.05/3609.70 c #Conflicts: 1975000 | #Constraints: 45519
3600.05/3609.70 c #Conflicts: 1976000 | #Constraints: 46519
3600.05/3609.70 c #Conflicts: 1977000 | #Constraints: 47519
3600.05/3609.70 c #Conflicts: 1978000 | #Constraints: 48519
3600.05/3609.70 c #Conflicts: 1979000 | #Constraints: 49519
3600.05/3609.70 c #Conflicts: 1980000 | #Constraints: 50519
3600.05/3609.70 c #Conflicts: 1981000 | #Constraints: 51519
3600.05/3609.70 c #Conflicts: 1982000 | #Constraints: 52519
3600.05/3609.70 c #Conflicts: 1983000 | #Constraints: 53519
3600.05/3609.70 c #Conflicts: 1984000 | #Constraints: 54520
3600.05/3609.70 c #Conflicts: 1985000 | #Constraints: 55520
3600.05/3609.70 c #Conflicts: 1986000 | #Constraints: 56520
3600.05/3609.70 c #Conflicts: 1987000 | #Constraints: 57520
3600.05/3609.70 c #Conflicts: 1988000 | #Constraints: 58520
3600.05/3609.70 c #Conflicts: 1989000 | #Constraints: 59520
3600.05/3609.70 c #Conflicts: 1990000 | #Constraints: 60520
3600.05/3609.70 c #Conflicts: 1991000 | #Constraints: 61521
3600.05/3609.70 c #Conflicts: 1992000 | #Constraints: 62521
3600.05/3609.70 c #Conflicts: 1993000 | #Constraints: 63521
3600.05/3609.70 c INPROCESSING
3600.05/3609.70 c GARBAGE COLLECT
3600.05/3609.70 c #Conflicts: 1994000 | #Constraints: 36504
3600.05/3609.70 c #Conflicts: 1995000 | #Constraints: 37504
3600.05/3609.70 c cpu time 3579.01 s
3600.05/3609.70 c deterministic time 665542082414 6.66e+11
3600.05/3609.70 c optimization time 2.913 s
3600.05/3609.70 c total solve time 3576.08 s
3600.05/3609.70 c core-guided solve time 0 s
3600.05/3609.70 c propagation time 2289.5 s
3600.05/3609.70 c conflict analysis time 1076.14 s
3600.05/3609.70 c propagations 844219994
3600.05/3609.70 c resolve steps 17206783
3600.05/3609.70 c decisions 16851716
3600.05/3609.70 c conflicts 1995784
3600.05/3609.70 c restarts 3881
3600.05/3609.70 c inprocessing phases 132
3600.05/3609.70 c garbage collections 132 ,( 100.00 )
3600.05/3609.70 c input clauses 6004 ,( 80.00 )
3600.05/3609.70 c input cardinalities 1500 ,( 19.99 )
3600.05/3609.70 c input general constraints 1 ,( 0.01 )
3600.05/3609.70 c input average constraint length 4.00
3600.05/3609.70 c input average constraint degree 2.40
3600.05/3609.70 c learned clauses 216494 ,( 10.85 )
3600.05/3609.70 c learned cardinalities 32896 ,( 1.65 )
3600.05/3609.70 c learned general constraints 1746793 ,( 87.51 )
3600.05/3609.70 c learned average constraint length 1822.98
3600.05/3609.70 c learned average constraint degree 1111843895.06
3600.05/3609.70 c watched CF 32, 64, 128, Arb: 1264449 , 0 , 0 , 0
3600.05/3609.70 c counting CF 32, 64, 128, Arb: 482345 , 0 , 0 , 0
3600.05/3609.70 c watched constraints 1264449 ,( 72.39 )
3600.05/3609.70 c counting constraints 482345 ,( 27.61 )
3600.05/3609.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 229416886 , 219697905 , 1783565471 ,( 1224798778 , 558766693 )
3600.05/3609.70 c gcd simplifications 28440
3600.05/3609.70 c detected cardinalities 1861
3600.05/3609.70 c weakened non-implied lits 684036636
3600.05/3609.70 c weakened non-implying lits 149411
3600.05/3609.70 c original variables 9003
3600.05/3609.70 c clausal propagations 216821772
3600.05/3609.70 c cardinality propagations 95629137
3600.05/3609.70 c watched propagations 185024706
3600.05/3609.70 c counting propagations 198196031
3600.05/3609.70 c watch lookups 52057866295
3600.05/3609.70 c watch backjump lookups 0
3600.05/3609.70 c watch checks 418199015214
3600.05/3609.70 c propagation checks 186537358577
3600.05/3609.70 c constraint additions 7023302216
3600.05/3609.70 c trail pops 863062883
3600.05/3609.70 c formula constraints 7505
3600.05/3609.70 c learned constraints 1995482
3600.05/3609.70 c bound constraints 0
3600.05/3609.70 c core-guided constraints 0
3600.05/3609.70 c encountered formula constraints 15509652
3600.05/3609.70 c encountered learned constraints 3619172
3600.05/3609.70 c encountered bound constraints 0
3600.05/3609.70 c encountered core-guided constraints 0
3600.05/3609.70 c LP total time 96.053 s
3600.05/3609.70 c LP solve time 83.68 s
3600.05/3609.70 c LP constraints added 7604
3600.05/3609.70 c LP constraints removed 98
3600.05/3609.70 c LP pivots internal 199737
3600.05/3609.70 c LP pivots root 205781
3600.05/3609.70 c LP calls 349
3600.05/3609.70 c LP optimalities 43
3600.05/3609.70 c LP no pivot count 0
3600.05/3609.70 c LP infeasibilities 301
3600.05/3609.70 c LP valid Farkas constraints 301
3600.05/3609.70 c LP learned Farkas constraints 301
3600.05/3609.70 c LP basis resets 0
3600.05/3609.70 c LP cycling count 0
3600.05/3609.70 c LP singular count 0
3600.05/3609.70 c LP no primal count 0
3600.05/3609.70 c LP no farkas count 0
3600.05/3609.70 c LP other issue count 0
3600.05/3609.70 c LP Gomory cuts 99
3600.05/3609.70 c LP learned cuts 0
3600.05/3609.70 c LP deleted cuts 98
3600.05/3609.70 c LP encountered Gomory constraints 2
3600.05/3609.70 c LP encountered Farkas constraints 63141
3600.05/3609.70 c LP encountered learned Farkas constraints 10299
3600.05/3609.70 c CG auxiliary variables introduced 0
3600.05/3609.70 c CG solutions found 0
3600.05/3609.70 c CG cores constructed 0
3600.05/3609.70 c CG core cardinality constraints returned 0
3600.05/3609.70 c CG unit cores 0
3600.05/3609.70 c CG single cores 0
3600.05/3609.70 c CG blocks removed during cardinality reduction 0
3600.05/3609.70 c CG first core best 0
3600.05/3609.70 c CG decision core best 0
3600.05/3609.70 c CG core reduction tie 0
3600.05/3609.70 c CG core degree average 0.00
3600.05/3609.70 c CG core slack average 0.00
3600.05/3609.70 c CG core upper bound improvements 0
3600.05/3609.70 c STR number of successful calls 0
3600.05/3609.70 c STR number of unsuccessful calls 0
3600.05/3609.70 c STR number of inconclusive calls 0
3600.05/3609.70 c STR number of successful attempts 0
3600.05/3609.70 c STR number of unsuccessful attempts 0
3600.05/3609.70 c STR number of inconclusive attempts 0
3600.05/3609.70 c STR average degree increase per successful call inf
3600.05/3609.70 c STR average degree increase per successful attempt inf
3600.05/3609.70 c STR total number of conflicts for successful attempts 0
3600.05/3609.70 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.70 c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.70 c STR average number of conflicts per successful attempt inf
3600.05/3609.70 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.70 c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.70 c AVG.sumWPerc 28.18
3600.05/3609.70 c bigint constraints 0
3600.05/3609.70 s UNKNOWN
3600.05/3609.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (51724 MiB free)
memory of node 1: 64465 MiB (56444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544179-1753217438/watcher-4544179-1753217438 -o /tmp/evaluation-result-4544179-1753217438/solver-4544179-1753217438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171553 --watchdog 3760 run-dec.sh HOME/instance-4544179-1753217438.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=174353, runsolver pid=174350
[startup+0.100063 s]*
/proc/loadavg: 4.17 4.11 4.10 5/269 174355
/proc/meminfo: memFree=110765040/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=71172 memory=26612 CPUtime=0.09 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 4626 0 0 0 7 2 0 0 20 0 1 0 237422459 72880128 6653 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 17793 6653 2240 1147 0 5220 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75364 KiB
Current children cumulated memory: 29684 KiB
[startup+0.205737 s]*
/proc/loadavg: 4.17 4.11 4.10 5/269 174355
/proc/meminfo: memFree=110765040/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=73648 memory=29044 CPUtime=0.19 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 5218 0 0 0 17 2 0 0 20 0 1 0 237422459 75415552 7261 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 18412 7261 2240 1147 0 5839 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77840 KiB
Current children cumulated memory: 32116 KiB
[startup+0.305663 s]*
/proc/loadavg: 4.16 4.11 4.10 6/269 174355
/proc/meminfo: memFree=110765256/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=74748 memory=30196 CPUtime=0.29 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 5457 0 0 0 27 2 0 0 20 0 1 0 237422459 76541952 7549 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 18687 7549 2304 1147 0 6114 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78940 KiB
Current children cumulated memory: 33268 KiB
[startup+0.700196 s]
/proc/loadavg: 4.16 4.11 4.10 5/269 174355
/proc/meminfo: memFree=110765256/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=79600 memory=35792 CPUtime=0.68 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 6326 0 0 0 65 3 0 0 20 0 1 0 237422459 81510400 8948 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 19900 8948 2304 1147 0 7327 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83792 KiB
Current children cumulated memory: 38864 KiB
[startup+1.5002 s]
/proc/loadavg: 4.16 4.11 4.10 5/269 174355
/proc/meminfo: memFree=110765256/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=99960 memory=50688 CPUtime=1.47 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 9564 0 0 0 143 4 0 0 20 0 1 0 237422459 102359040 12672 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 24990 12672 2304 1147 0 12417 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 104152 KiB
Current children cumulated memory: 53760 KiB
[startup+3.10555 s]
/proc/loadavg: 4.16 4.11 4.10 5/269 174355
/proc/meminfo: memFree=110761384/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=112588 memory=63016 CPUtime=3.08 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 10608 0 0 0 303 5 0 0 20 0 1 0 237422459 115290112 15754 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 28147 15754 2304 1147 0 15574 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116780 KiB
Current children cumulated memory: 66088 KiB
[startup+6.30019 s]
/proc/loadavg: 4.14 4.11 4.09 5/269 174355
/proc/meminfo: memFree=110741412/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=145092 memory=94468 CPUtime=6.27 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 14383 0 0 0 618 9 0 0 20 0 1 0 237422459 148574208 23617 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 36273 23617 2304 1147 0 23700 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 149284 KiB
Current children cumulated memory: 97540 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 174355
/proc/meminfo: memFree=110674784/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=218940 memory=168776 CPUtime=12.65 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 24785 0 0 0 1250 15 0 0 20 0 1 0 237422459 224194560 42194 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 54735 42194 2304 1147 0 42162 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 223132 KiB
Current children cumulated memory: 171848 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.12 4.10 5/269 174493
/proc/meminfo: memFree=113471308/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=274800 memory=192096 CPUtime=25.42 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 27557 0 0 0 2523 19 0 0 20 0 1 0 237422459 281395200 48024 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 68700 48024 2304 1147 0 56127 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 278992 KiB
Current children cumulated memory: 195168 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 174632
/proc/meminfo: memFree=113176532/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=389888 memory=311348 CPUtime=50.97 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 49656 0 0 0 5054 43 0 0 20 0 1 0 237422459 399245312 77837 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 97472 77837 2336 1147 0 84899 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 394080 KiB
Current children cumulated memory: 314420 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 174679
/proc/meminfo: memFree=112575320/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=647996 memory=547588 CPUtime=102.03 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 89889 0 0 0 10122 81 0 0 20 0 1 0 237422459 663547904 136897 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 161999 136897 2336 1147 0 149426 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 652188 KiB
Current children cumulated memory: 550660 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 174682
/proc/meminfo: memFree=112097864/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=1246860 memory=1024212 CPUtime=161.87 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 191130 0 0 0 16045 142 0 0 20 0 1 0 237422459 1276784640 256053 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 311715 256053 2336 1147 0 299142 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1251052 KiB
Current children cumulated memory: 1027284 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 174730
/proc/meminfo: memFree=112280628/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=1249428 memory=1026644 CPUtime=221.73 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 191780 0 0 0 22003 170 0 0 20 0 1 0 237422459 1279414272 256661 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 312357 256661 2336 1147 0 299784 0
################
# More data... #
################
/proc/174355/statm: 1082249 980992 2336 1147 0 1069676 0
Current children cumulated CPU time: 3094.2 s
Current children cumulated vsize: 4333188 KiB
Current children cumulated memory: 3927040 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/269 175452
/proc/meminfo: memFree=111646596/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=4328996 memory=3923968 CPUtime=3154.01 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 652171 0 0 0 313543 1858 0 0 20 0 1 0 237422459 4432891904 980992 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 1082249 980992 2336 1147 0 1069676 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 4333188 KiB
Current children cumulated memory: 3927040 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/269 175454
/proc/meminfo: memFree=111588236/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=4329472 memory=3924352 CPUtime=3213.82 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 652450 0 0 0 319477 1905 0 0 20 0 1 0 237422459 4433379328 981088 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 1082368 981088 2336 1147 0 1069795 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 4333664 KiB
Current children cumulated memory: 3927424 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 175456
/proc/meminfo: memFree=111535548/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=4333092 memory=3926528 CPUtime=3273.65 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 653128 0 0 0 325435 1930 0 0 20 0 1 0 237422459 4437086208 981632 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 1083273 981632 2336 1147 0 1070700 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 4337284 KiB
Current children cumulated memory: 3929600 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/268 175458
/proc/meminfo: memFree=111497564/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=4337188 memory=3929344 CPUtime=3333.46 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 654204 0 0 0 331386 1960 0 0 20 0 1 0 237422459 4441280512 982336 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 1084297 982336 2336 1147 0 1071724 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 4341380 KiB
Current children cumulated memory: 3932416 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 175460
/proc/meminfo: memFree=111510180/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=4337676 memory=3930112 CPUtime=3393.29 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 654430 0 0 0 337347 1982 0 0 20 0 1 0 237422459 4441780224 982528 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 1084419 982528 2336 1147 0 1071846 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 4341868 KiB
Current children cumulated memory: 3933184 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 175463
/proc/meminfo: memFree=111494092/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=4337676 memory=3930240 CPUtime=3453.1 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 654641 0 0 0 343313 1997 0 0 20 0 1 0 237422459 4441780224 982560 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 1084419 982560 2336 1147 0 1071846 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 4341868 KiB
Current children cumulated memory: 3933312 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 175465
/proc/meminfo: memFree=111454976/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=4338704 memory=3931392 CPUtime=3512.91 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 655213 0 0 0 349242 2049 0 0 20 0 1 0 237422459 4442832896 982848 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 1084676 982848 2336 1147 0 1072103 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 4342896 KiB
Current children cumulated memory: 3934464 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 175467
/proc/meminfo: memFree=111446660/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=4338704 memory=3931520 CPUtime=3572.73 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 655314 0 0 0 355189 2084 0 0 20 0 1 0 237422459 4442832896 982880 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 1084676 982880 2336 1147 0 1072103 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 4342896 KiB
Current children cumulated memory: 3934592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 175468
/proc/meminfo: memFree=111444992/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=4339204 memory=3931776 CPUtime=3600.05 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 655432 0 0 0 357901 2104 0 0 20 0 1 0 237422459 4443344896 982944 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 1084801 982944 2336 1147 0 1072228 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4343396 KiB
Current children cumulated memory: 3934848 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.7 s]
# the end of solver process 174353 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002146 s, system=0 s
Sleeping 2 seconds
[startup+3609.74 s]
# the end of solver process 174355 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3579.02 s, system=21.0804 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 175468
/proc/meminfo: memFree=111444992/131249996 swapFree=33010160/33010684
[pid=174353] ppid=174350 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/174353/stat : 174353 (run-dec.sh) S 174350 174353 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237422458 4292608 768 18446744073709551615 94399193403392 94399194297925 140722937433216 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94399194536976 94399194584720 94399213010944 140722937436523 140722937436646 140722937436646 140722937442250 0
/proc/174353/statm: 1048 768 704 219 0 110 0
[pid=174355] ppid=174353 vsize=4339204 memory=3931776 CPUtime=3600.05 cores=1,3
/proc/174355/stat : 174355 (roundingsat) R 174353 174353 171541 0 -1 4194304 655432 0 0 0 357901 2104 0 0 20 0 1 0 237422459 4443344896 982944 18446744073709551615 4227072 8923433 140725659382112 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140725659388341 140725659388454 140725659388454 140725659394026 0
/proc/174355/statm: 1084801 982944 2336 1147 0 1072228 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4343396 KiB
Current children cumulated memory: 3934848 KiB
Child status: 2
Real time (s): 3609.74
CPU time (s): 3600.1
CPU user time (s): 3579.02
CPU system time (s): 21.0804
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 4343396
Max. memory (cumulated for all children) (KiB): 3934848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.02
system time used= 21.0804
maximum resident set size= 3932160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 655660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 466
involuntary context switches= 3157
# summary of solver processes directly reported to runsolver:
# pid: 174353,174355
# total CPU time (s): 3600.1
# total CPU user time (s): 3579.02
# total CPU system time (s): 21.0804
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01797 second user time and 16.2992 second system time
The end
Begin job on nodeC032 at 2025-07-22 22:50:38
IDJOB=4544179
IDBENCH=174960
IDSOLVER=3349
FILE ID=nodeC032/4544179-1753217438
RUNJOBID= nodeC032-1753211592-171553
SLURM_JOB_ID= 9687796
Free space on /tmp= 432440 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544179-1753217438/watcher-4544179-1753217438 -o /tmp/evaluation-result-4544179-1753217438/solver-4544179-1753217438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171553 --watchdog 3760 run-dec.sh HOME/instance-4544179-1753217438.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9d0f67967ac2bc71f5ce17bb15e814c1
RANDOM SEED=1148172297
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.853
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.69
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 : 3600.259
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.69
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 : 3599.739
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.69
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.756
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.69
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.846
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.850
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.69
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.69
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 : 3572.324
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.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 110765136 kB
MemAvailable: 122939532 kB
Buffers: 2728 kB
Cached: 12853804 kB
SwapCached: 20 kB
Active: 7776304 kB
Inactive: 11723132 kB
Active(anon): 6666020 kB
Inactive(anon): 3124 kB
Active(file): 1110284 kB
Inactive(file): 11720008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7404 kB
Writeback: 24 kB
AnonPages: 6639744 kB
Mapped: 121916 kB
Shmem: 26240 kB
KReclaimable: 366688 kB
Slab: 466196 kB
SReclaimable: 366688 kB
SUnreclaim: 99508 kB
KernelStack: 4364 kB
PageTables: 16424 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 7270956 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5081088 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432524 MiB
End job on nodeC032 at 2025-07-22 23:50:48