0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.05 c #variables 9003 #constraints 7505
155.39/155.88 c #Conflicts: 1000 | #Constraints: 8504
155.39/155.88 c #Conflicts: 2000 | #Constraints: 9504
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 3000 | #Constraints: 9508
155.39/155.88 c #Conflicts: 4000 | #Constraints: 10508
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 5000 | #Constraints: 9918
155.39/155.88 c #Conflicts: 6000 | #Constraints: 10918
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 7000 | #Constraints: 9927
155.39/155.88 c #Conflicts: 8000 | #Constraints: 10927
155.39/155.88 c #Conflicts: 9000 | #Constraints: 11927
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 10000 | #Constraints: 10710
155.39/155.88 c #Conflicts: 11000 | #Constraints: 11710
155.39/155.88 c #Conflicts: 12000 | #Constraints: 12710
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 13000 | #Constraints: 11166
155.39/155.88 c #Conflicts: 14000 | #Constraints: 12166
155.39/155.88 c #Conflicts: 15000 | #Constraints: 13166
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 16000 | #Constraints: 11441
155.39/155.88 c #Conflicts: 17000 | #Constraints: 12441
155.39/155.88 c #Conflicts: 18000 | #Constraints: 13441
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 19000 | #Constraints: 11481
155.39/155.88 c #Conflicts: 20000 | #Constraints: 12481
155.39/155.88 c #Conflicts: 21000 | #Constraints: 13482
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 22000 | #Constraints: 11270
155.39/155.88 c #Conflicts: 23000 | #Constraints: 12270
155.39/155.88 c #Conflicts: 24000 | #Constraints: 13270
155.39/155.88 c #Conflicts: 25000 | #Constraints: 14270
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 26000 | #Constraints: 11890
155.39/155.88 c #Conflicts: 27000 | #Constraints: 12890
155.39/155.88 c #Conflicts: 28000 | #Constraints: 13890
155.39/155.88 c #Conflicts: 29000 | #Constraints: 14890
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 30000 | #Constraints: 12359
155.39/155.88 c #Conflicts: 31000 | #Constraints: 13359
155.39/155.88 c #Conflicts: 32000 | #Constraints: 14359
155.39/155.88 c #Conflicts: 33000 | #Constraints: 15359
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 34000 | #Constraints: 12585
155.39/155.88 c #Conflicts: 35000 | #Constraints: 13585
155.39/155.88 c #Conflicts: 36000 | #Constraints: 14585
155.39/155.88 c #Conflicts: 37000 | #Constraints: 15585
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 38000 | #Constraints: 12607
155.39/155.88 c #Conflicts: 39000 | #Constraints: 13607
155.39/155.88 c #Conflicts: 40000 | #Constraints: 14607
155.39/155.88 c #Conflicts: 41000 | #Constraints: 15607
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 42000 | #Constraints: 12300
155.39/155.88 c #Conflicts: 43000 | #Constraints: 13300
155.39/155.88 c #Conflicts: 44000 | #Constraints: 14300
155.39/155.88 c #Conflicts: 45000 | #Constraints: 15300
155.39/155.88 c #Conflicts: 46000 | #Constraints: 16300
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 47000 | #Constraints: 12845
155.39/155.88 c #Conflicts: 48000 | #Constraints: 13845
155.39/155.88 c #Conflicts: 49000 | #Constraints: 14845
155.39/155.88 c #Conflicts: 50000 | #Constraints: 15845
155.39/155.88 c #Conflicts: 51000 | #Constraints: 16845
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 52000 | #Constraints: 13221
155.39/155.88 c #Conflicts: 53000 | #Constraints: 14222
155.39/155.88 c #Conflicts: 54000 | #Constraints: 15222
155.39/155.88 c #Conflicts: 55000 | #Constraints: 16222
155.39/155.88 c #Conflicts: 56000 | #Constraints: 17222
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 57000 | #Constraints: 13401
155.39/155.88 c #Conflicts: 58000 | #Constraints: 14401
155.39/155.88 c #Conflicts: 59000 | #Constraints: 15401
155.39/155.88 c #Conflicts: 60000 | #Constraints: 16401
155.39/155.88 c #Conflicts: 61000 | #Constraints: 17401
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 62000 | #Constraints: 13396
155.39/155.88 c #Conflicts: 63000 | #Constraints: 14396
155.39/155.88 c #Conflicts: 64000 | #Constraints: 15396
155.39/155.88 c #Conflicts: 65000 | #Constraints: 16396
155.39/155.88 c #Conflicts: 66000 | #Constraints: 17396
155.39/155.88 c INPROCESSING
155.39/155.88 c GARBAGE COLLECT
155.39/155.88 c #Conflicts: 67000 | #Constraints: 13264
155.39/155.88 c #Conflicts: 68000 | #Constraints: 14264
285.16/285.94 c #Conflicts: 69000 | #Constraints: 15264
285.16/285.94 c #Conflicts: 70000 | #Constraints: 16264
285.16/285.94 c #Conflicts: 71000 | #Constraints: 17264
285.16/285.94 c #Conflicts: 72000 | #Constraints: 18264
285.16/285.94 c INPROCESSING
285.16/285.94 c GARBAGE COLLECT
285.16/285.94 c #Conflicts: 73000 | #Constraints: 13884
285.16/285.94 c #Conflicts: 74000 | #Constraints: 14884
285.16/285.94 c #Conflicts: 75000 | #Constraints: 15884
285.16/285.94 c #Conflicts: 76000 | #Constraints: 16884
285.16/285.94 c #Conflicts: 77000 | #Constraints: 17884
285.16/285.94 c #Conflicts: 78000 | #Constraints: 18884
285.16/285.94 c INPROCESSING
285.16/285.94 c GARBAGE COLLECT
285.16/285.94 c #Conflicts: 79000 | #Constraints: 14218
285.16/285.94 c #Conflicts: 80000 | #Constraints: 15218
285.16/285.94 c #Conflicts: 81000 | #Constraints: 16218
285.16/285.94 c #Conflicts: 82000 | #Constraints: 17218
285.16/285.94 c #Conflicts: 83000 | #Constraints: 18218
285.16/285.94 c #Conflicts: 84000 | #Constraints: 19218
285.16/285.94 c INPROCESSING
285.16/285.94 c GARBAGE COLLECT
285.16/285.94 c #Conflicts: 85000 | #Constraints: 14385
285.16/285.94 c #Conflicts: 86000 | #Constraints: 15385
285.16/285.94 c #Conflicts: 87000 | #Constraints: 16386
285.16/285.94 c #Conflicts: 88000 | #Constraints: 17386
285.16/285.94 c #Conflicts: 89000 | #Constraints: 18386
285.16/285.94 c #Conflicts: 90000 | #Constraints: 19386
285.16/285.94 c INPROCESSING
285.16/285.94 c GARBAGE COLLECT
285.16/285.94 c #Conflicts: 91000 | #Constraints: 14374
285.16/285.94 c #Conflicts: 92000 | #Constraints: 15374
285.16/285.94 c #Conflicts: 93000 | #Constraints: 16374
285.16/285.94 c #Conflicts: 94000 | #Constraints: 17375
285.16/285.94 c #Conflicts: 95000 | #Constraints: 18375
285.16/285.94 c #Conflicts: 96000 | #Constraints: 19375
285.16/285.94 c INPROCESSING
285.16/285.94 c GARBAGE COLLECT
285.16/285.94 c #Conflicts: 97000 | #Constraints: 14172
285.16/285.94 c #Conflicts: 98000 | #Constraints: 15173
285.16/285.94 c #Conflicts: 99000 | #Constraints: 16173
285.16/285.94 c #Conflicts: 100000 | #Constraints: 17173
285.16/285.94 c #Conflicts: 101000 | #Constraints: 18173
285.16/285.94 c #Conflicts: 102000 | #Constraints: 19173
285.16/285.94 c #Conflicts: 103000 | #Constraints: 20173
285.16/285.94 c INPROCESSING
285.16/285.94 c GARBAGE COLLECT
285.16/285.94 c #Conflicts: 104000 | #Constraints: 14778
285.16/285.94 c #Conflicts: 105000 | #Constraints: 15778
285.16/285.94 c #Conflicts: 106000 | #Constraints: 16778
285.16/285.94 c #Conflicts: 107000 | #Constraints: 17779
285.16/285.94 c #Conflicts: 108000 | #Constraints: 18779
285.16/285.94 c #Conflicts: 109000 | #Constraints: 19779
285.16/285.94 c #Conflicts: 110000 | #Constraints: 20779
285.16/285.94 c INPROCESSING
285.16/285.94 c GARBAGE COLLECT
285.16/285.94 c #Conflicts: 111000 | #Constraints: 15181
285.16/285.94 c #Conflicts: 112000 | #Constraints: 16181
285.16/285.94 c #Conflicts: 113000 | #Constraints: 17181
285.16/285.94 c #Conflicts: 114000 | #Constraints: 18181
285.16/285.94 c #Conflicts: 115000 | #Constraints: 19182
285.16/285.94 c #Conflicts: 116000 | #Constraints: 20182
285.16/285.94 c #Conflicts: 117000 | #Constraints: 21182
285.16/285.94 c INPROCESSING
285.16/285.94 c GARBAGE COLLECT
285.16/285.94 c #Conflicts: 118000 | #Constraints: 15380
285.16/285.94 c #Conflicts: 119000 | #Constraints: 16381
285.16/285.94 c #Conflicts: 120000 | #Constraints: 17381
285.16/285.94 c #Conflicts: 121000 | #Constraints: 18381
285.16/285.94 c #Conflicts: 122000 | #Constraints: 19381
285.16/285.94 c #Conflicts: 123000 | #Constraints: 20381
285.16/285.94 c #Conflicts: 124000 | #Constraints: 21381
285.16/285.94 c INPROCESSING
285.16/285.94 c GARBAGE COLLECT
285.16/285.94 c #Conflicts: 125000 | #Constraints: 15392
285.16/285.94 c #Conflicts: 126000 | #Constraints: 16393
285.16/285.94 c #Conflicts: 127000 | #Constraints: 17393
285.16/285.94 c #Conflicts: 128000 | #Constraints: 18393
285.16/285.94 c #Conflicts: 129000 | #Constraints: 19393
285.16/285.94 c #Conflicts: 130000 | #Constraints: 20393
285.16/285.94 c #Conflicts: 131000 | #Constraints: 21393
285.16/285.94 c INPROCESSING
285.16/285.94 c GARBAGE COLLECT
285.16/285.94 c rational objective 4501.5
481.83/483.12 c #Conflicts: 132000 | #Constraints: 15203
481.83/483.12 c #Conflicts: 133000 | #Constraints: 16203
481.83/483.12 c #Conflicts: 134000 | #Constraints: 17204
481.83/483.12 c #Conflicts: 135000 | #Constraints: 18204
481.83/483.12 c #Conflicts: 136000 | #Constraints: 19204
481.83/483.12 c #Conflicts: 137000 | #Constraints: 20204
481.83/483.12 c #Conflicts: 138000 | #Constraints: 21204
481.83/483.12 c #Conflicts: 139000 | #Constraints: 22204
481.83/483.12 c INPROCESSING
481.83/483.12 c GARBAGE COLLECT
481.83/483.12 c #Conflicts: 140000 | #Constraints: 15774
481.83/483.12 c #Conflicts: 141000 | #Constraints: 16774
481.83/483.12 c #Conflicts: 142000 | #Constraints: 17775
481.83/483.12 c #Conflicts: 143000 | #Constraints: 18775
481.83/483.12 c #Conflicts: 144000 | #Constraints: 19775
481.83/483.12 c #Conflicts: 145000 | #Constraints: 20775
481.83/483.12 c #Conflicts: 146000 | #Constraints: 21775
481.83/483.12 c #Conflicts: 147000 | #Constraints: 22775
481.83/483.12 c INPROCESSING
481.83/483.12 c GARBAGE COLLECT
481.83/483.12 c #Conflicts: 148000 | #Constraints: 16258
481.83/483.12 c #Conflicts: 149000 | #Constraints: 17258
481.83/483.12 c #Conflicts: 150000 | #Constraints: 18258
481.83/483.12 c #Conflicts: 151000 | #Constraints: 19259
481.83/483.12 c #Conflicts: 152000 | #Constraints: 20259
481.83/483.12 c #Conflicts: 153000 | #Constraints: 21259
481.83/483.12 c #Conflicts: 154000 | #Constraints: 22259
481.83/483.12 c #Conflicts: 155000 | #Constraints: 23259
481.83/483.12 c INPROCESSING
481.83/483.12 c GARBAGE COLLECT
481.83/483.12 c #Conflicts: 156000 | #Constraints: 16477
481.83/483.12 c #Conflicts: 157000 | #Constraints: 17477
481.83/483.12 c #Conflicts: 158000 | #Constraints: 18477
481.83/483.12 c #Conflicts: 159000 | #Constraints: 19477
481.83/483.12 c #Conflicts: 160000 | #Constraints: 20477
481.83/483.12 c #Conflicts: 161000 | #Constraints: 21477
481.83/483.12 c #Conflicts: 162000 | #Constraints: 22477
481.83/483.12 c #Conflicts: 163000 | #Constraints: 23477
481.83/483.12 c INPROCESSING
481.83/483.12 c GARBAGE COLLECT
481.83/483.12 c #Conflicts: 164000 | #Constraints: 16475
481.83/483.12 c #Conflicts: 165000 | #Constraints: 17475
481.83/483.12 c #Conflicts: 166000 | #Constraints: 18475
481.83/483.12 c #Conflicts: 167000 | #Constraints: 19475
481.83/483.12 c #Conflicts: 168000 | #Constraints: 20475
481.83/483.12 c #Conflicts: 169000 | #Constraints: 21475
481.83/483.12 c #Conflicts: 170000 | #Constraints: 22475
481.83/483.12 c #Conflicts: 171000 | #Constraints: 23475
481.83/483.12 c INPROCESSING
481.83/483.12 c GARBAGE COLLECT
481.83/483.12 c #Conflicts: 172000 | #Constraints: 16269
481.83/483.12 c #Conflicts: 173000 | #Constraints: 17269
481.83/483.12 c #Conflicts: 174000 | #Constraints: 18269
481.83/483.12 c #Conflicts: 175000 | #Constraints: 19269
481.83/483.12 c #Conflicts: 176000 | #Constraints: 20270
481.83/483.12 c #Conflicts: 177000 | #Constraints: 21270
481.83/483.12 c #Conflicts: 178000 | #Constraints: 22270
481.83/483.12 c #Conflicts: 179000 | #Constraints: 23270
481.83/483.12 c #Conflicts: 180000 | #Constraints: 24270
481.83/483.12 c INPROCESSING
481.83/483.12 c GARBAGE COLLECT
481.83/483.12 c #Conflicts: 181000 | #Constraints: 16861
481.83/483.12 c #Conflicts: 182000 | #Constraints: 17861
481.83/483.12 c #Conflicts: 183000 | #Constraints: 18861
481.83/483.12 c #Conflicts: 184000 | #Constraints: 19862
481.83/483.12 c #Conflicts: 185000 | #Constraints: 20862
481.83/483.12 c #Conflicts: 186000 | #Constraints: 21862
481.83/483.12 c #Conflicts: 187000 | #Constraints: 22862
481.83/483.12 c #Conflicts: 188000 | #Constraints: 23862
481.83/483.12 c #Conflicts: 189000 | #Constraints: 24862
481.83/483.12 c INPROCESSING
481.83/483.12 c GARBAGE COLLECT
481.83/483.12 c #Conflicts: 190000 | #Constraints: 17250
481.83/483.12 c #Conflicts: 191000 | #Constraints: 18250
481.83/483.12 c #Conflicts: 192000 | #Constraints: 19250
481.83/483.12 c #Conflicts: 193000 | #Constraints: 20250
481.83/483.12 c #Conflicts: 194000 | #Constraints: 21250
481.83/483.12 c #Conflicts: 195000 | #Constraints: 22251
481.83/483.12 c #Conflicts: 196000 | #Constraints: 23251
481.83/483.12 c #Conflicts: 197000 | #Constraints: 24251
481.83/483.12 c #Conflicts: 198000 | #Constraints: 25251
481.83/483.12 c INPROCESSING
481.83/483.12 c GARBAGE COLLECT
481.83/483.12 c #Conflicts: 199000 | #Constraints: 17445
481.83/483.12 c #Conflicts: 200000 | #Constraints: 18445
481.83/483.12 c #Conflicts: 201000 | #Constraints: 19445
481.83/483.12 c #Conflicts: 202000 | #Constraints: 20445
481.83/483.12 c #Conflicts: 203000 | #Constraints: 21445
481.83/483.12 c #Conflicts: 204000 | #Constraints: 22445
481.83/483.12 c #Conflicts: 205000 | #Constraints: 23446
526.30/527.75 c #Conflicts: 206000 | #Constraints: 24446
526.30/527.75 c #Conflicts: 207000 | #Constraints: 25446
526.30/527.75 c INPROCESSING
526.30/527.75 c GARBAGE COLLECT
526.30/527.75 c #Conflicts: 208000 | #Constraints: 17449
526.30/527.75 c #Conflicts: 209000 | #Constraints: 18449
526.30/527.75 c #Conflicts: 210000 | #Constraints: 19449
526.30/527.75 c #Conflicts: 211000 | #Constraints: 20449
526.30/527.75 c #Conflicts: 212000 | #Constraints: 21449
526.30/527.75 c #Conflicts: 213000 | #Constraints: 22450
526.30/527.75 c #Conflicts: 214000 | #Constraints: 23450
526.30/527.75 c #Conflicts: 215000 | #Constraints: 24450
526.30/527.75 c #Conflicts: 216000 | #Constraints: 25450
526.30/527.75 c INPROCESSING
526.30/527.75 c GARBAGE COLLECT
526.30/527.75 c #Conflicts: 217000 | #Constraints: 17271
526.30/527.75 c #Conflicts: 218000 | #Constraints: 18271
526.30/527.75 c #Conflicts: 219000 | #Constraints: 19271
526.30/527.75 c #Conflicts: 220000 | #Constraints: 20271
526.30/527.75 c #Conflicts: 221000 | #Constraints: 21271
526.30/527.75 c #Conflicts: 222000 | #Constraints: 22271
526.30/527.75 c #Conflicts: 223000 | #Constraints: 23271
526.30/527.75 c #Conflicts: 224000 | #Constraints: 24271
526.30/527.75 c #Conflicts: 225000 | #Constraints: 25271
526.30/527.75 c #Conflicts: 226000 | #Constraints: 26271
526.30/527.75 c INPROCESSING
526.30/527.75 c GARBAGE COLLECT
526.30/527.75 c #Conflicts: 227000 | #Constraints: 17892
526.30/527.75 c #Conflicts: 228000 | #Constraints: 18892
526.30/527.75 c #Conflicts: 229000 | #Constraints: 19892
526.30/527.75 c #Conflicts: 230000 | #Constraints: 20892
526.30/527.75 c #Conflicts: 231000 | #Constraints: 21892
526.30/527.75 c #Conflicts: 232000 | #Constraints: 22892
526.30/527.75 c #Conflicts: 233000 | #Constraints: 23892
526.30/527.75 c #Conflicts: 234000 | #Constraints: 24893
526.30/527.75 c #Conflicts: 235000 | #Constraints: 25893
526.30/527.75 c #Conflicts: 236000 | #Constraints: 26893
526.30/527.75 c INPROCESSING
526.30/527.75 c GARBAGE COLLECT
526.30/527.75 c #Conflicts: 237000 | #Constraints: 18303
526.30/527.75 c #Conflicts: 238000 | #Constraints: 19303
526.30/527.75 c #Conflicts: 239000 | #Constraints: 20304
526.30/527.75 c #Conflicts: 240000 | #Constraints: 21304
526.30/527.75 c #Conflicts: 241000 | #Constraints: 22304
526.30/527.75 c #Conflicts: 242000 | #Constraints: 23304
526.30/527.75 c #Conflicts: 243000 | #Constraints: 24304
526.30/527.75 c #Conflicts: 244000 | #Constraints: 25304
526.30/527.75 c #Conflicts: 245000 | #Constraints: 26305
526.30/527.75 c #Conflicts: 246000 | #Constraints: 27305
526.30/527.75 c INPROCESSING
526.30/527.75 c GARBAGE COLLECT
526.30/527.75 c #Conflicts: 247000 | #Constraints: 18560
526.30/527.75 c #Conflicts: 248000 | #Constraints: 19560
526.30/527.75 c #Conflicts: 249000 | #Constraints: 20560
526.30/527.75 c #Conflicts: 250000 | #Constraints: 21560
526.30/527.75 c #Conflicts: 251000 | #Constraints: 22561
526.30/527.75 c #Conflicts: 252000 | #Constraints: 23561
526.30/527.75 c #Conflicts: 253000 | #Constraints: 24561
526.30/527.75 c #Conflicts: 254000 | #Constraints: 25561
526.30/527.75 c #Conflicts: 255000 | #Constraints: 26561
526.30/527.75 c #Conflicts: 256000 | #Constraints: 27561
526.30/527.75 c INPROCESSING
526.30/527.75 c GARBAGE COLLECT
526.30/527.75 c rational objective 4501.5
702.73/704.66 c #Conflicts: 257000 | #Constraints: 18627
702.73/704.66 c #Conflicts: 258000 | #Constraints: 19627
702.73/704.66 c #Conflicts: 259000 | #Constraints: 20627
702.73/704.66 c #Conflicts: 260000 | #Constraints: 21627
702.73/704.66 c #Conflicts: 261000 | #Constraints: 22627
702.73/704.66 c #Conflicts: 262000 | #Constraints: 23627
702.73/704.66 c #Conflicts: 263000 | #Constraints: 24627
702.73/704.66 c #Conflicts: 264000 | #Constraints: 25627
702.73/704.66 c #Conflicts: 265000 | #Constraints: 26627
702.73/704.66 c #Conflicts: 266000 | #Constraints: 27627
702.73/704.66 c INPROCESSING
702.73/704.66 c GARBAGE COLLECT
702.73/704.66 c #Conflicts: 267000 | #Constraints: 18288
702.73/704.66 c #Conflicts: 268000 | #Constraints: 19288
702.73/704.66 c #Conflicts: 269000 | #Constraints: 20289
702.73/704.66 c #Conflicts: 270000 | #Constraints: 21290
702.73/704.66 c #Conflicts: 271000 | #Constraints: 22290
702.73/704.66 c #Conflicts: 272000 | #Constraints: 23290
702.73/704.66 c #Conflicts: 273000 | #Constraints: 24290
702.73/704.66 c #Conflicts: 274000 | #Constraints: 25290
702.73/704.66 c #Conflicts: 275000 | #Constraints: 26290
702.73/704.66 c #Conflicts: 276000 | #Constraints: 27290
702.73/704.66 c #Conflicts: 277000 | #Constraints: 28290
702.73/704.66 c INPROCESSING
702.73/704.66 c GARBAGE COLLECT
702.73/704.66 c #Conflicts: 278000 | #Constraints: 18829
702.73/704.66 c #Conflicts: 279000 | #Constraints: 19829
702.73/704.66 c #Conflicts: 280000 | #Constraints: 20829
702.73/704.66 c #Conflicts: 281000 | #Constraints: 21830
702.73/704.66 c #Conflicts: 282000 | #Constraints: 22830
702.73/704.66 c #Conflicts: 283000 | #Constraints: 23830
702.73/704.66 c #Conflicts: 284000 | #Constraints: 24830
702.73/704.66 c #Conflicts: 285000 | #Constraints: 25830
702.73/704.66 c #Conflicts: 286000 | #Constraints: 26830
702.73/704.66 c #Conflicts: 287000 | #Constraints: 27830
702.73/704.66 c #Conflicts: 288000 | #Constraints: 28830
702.73/704.66 c INPROCESSING
702.73/704.66 c GARBAGE COLLECT
702.73/704.66 c #Conflicts: 289000 | #Constraints: 19224
702.73/704.66 c #Conflicts: 290000 | #Constraints: 20225
702.73/704.66 c #Conflicts: 291000 | #Constraints: 21225
702.73/704.66 c #Conflicts: 292000 | #Constraints: 22225
702.73/704.66 c #Conflicts: 293000 | #Constraints: 23225
702.73/704.66 c #Conflicts: 294000 | #Constraints: 24225
702.73/704.66 c #Conflicts: 295000 | #Constraints: 25225
702.73/704.66 c #Conflicts: 296000 | #Constraints: 26225
702.73/704.66 c #Conflicts: 297000 | #Constraints: 27225
702.73/704.66 c #Conflicts: 298000 | #Constraints: 28225
702.73/704.66 c #Conflicts: 299000 | #Constraints: 29225
702.73/704.66 c INPROCESSING
702.73/704.66 c GARBAGE COLLECT
702.73/704.66 c #Conflicts: 300000 | #Constraints: 19462
702.73/704.66 c #Conflicts: 301000 | #Constraints: 20462
702.73/704.66 c #Conflicts: 302000 | #Constraints: 21463
702.73/704.66 c #Conflicts: 303000 | #Constraints: 22463
702.73/704.66 c #Conflicts: 304000 | #Constraints: 23463
702.73/704.66 c #Conflicts: 305000 | #Constraints: 24463
702.73/704.66 c #Conflicts: 306000 | #Constraints: 25464
702.73/704.66 c #Conflicts: 307000 | #Constraints: 26464
702.73/704.66 c #Conflicts: 308000 | #Constraints: 27464
702.73/704.66 c #Conflicts: 309000 | #Constraints: 28464
702.73/704.66 c #Conflicts: 310000 | #Constraints: 29464
702.73/704.66 c INPROCESSING
702.73/704.66 c GARBAGE COLLECT
702.73/704.66 c rational objective 4501.5
841.62/843.90 c #Conflicts: 311000 | #Constraints: 19468
841.62/843.90 c #Conflicts: 312000 | #Constraints: 20469
841.62/843.90 c #Conflicts: 313000 | #Constraints: 21469
841.62/843.90 c #Conflicts: 314000 | #Constraints: 22469
841.62/843.90 c #Conflicts: 315000 | #Constraints: 23470
841.62/843.90 c #Conflicts: 316000 | #Constraints: 24470
841.62/843.90 c #Conflicts: 317000 | #Constraints: 25470
841.62/843.90 c #Conflicts: 318000 | #Constraints: 26470
841.62/843.90 c #Conflicts: 319000 | #Constraints: 27471
841.62/843.90 c #Conflicts: 320000 | #Constraints: 28471
841.62/843.90 c #Conflicts: 321000 | #Constraints: 29471
841.62/843.90 c INPROCESSING
841.62/843.90 c GARBAGE COLLECT
841.62/843.90 c #Conflicts: 322000 | #Constraints: 19206
841.62/843.90 c #Conflicts: 323000 | #Constraints: 20206
841.62/843.90 c #Conflicts: 324000 | #Constraints: 21206
841.62/843.90 c #Conflicts: 325000 | #Constraints: 22206
841.62/843.90 c #Conflicts: 326000 | #Constraints: 23206
841.62/843.90 c #Conflicts: 327000 | #Constraints: 24206
841.62/843.90 c #Conflicts: 328000 | #Constraints: 25206
841.62/843.90 c #Conflicts: 329000 | #Constraints: 26207
841.62/843.90 c #Conflicts: 330000 | #Constraints: 27207
841.62/843.90 c #Conflicts: 331000 | #Constraints: 28207
841.62/843.90 c #Conflicts: 332000 | #Constraints: 29207
841.62/843.90 c #Conflicts: 333000 | #Constraints: 30207
841.62/843.90 c INPROCESSING
841.62/843.90 c GARBAGE COLLECT
841.62/843.90 c #Conflicts: 334000 | #Constraints: 19789
841.62/843.90 c #Conflicts: 335000 | #Constraints: 20790
841.62/843.90 c #Conflicts: 336000 | #Constraints: 21790
841.62/843.90 c #Conflicts: 337000 | #Constraints: 22791
841.62/843.90 c #Conflicts: 338000 | #Constraints: 23791
841.62/843.90 c #Conflicts: 339000 | #Constraints: 24791
841.62/843.90 c #Conflicts: 340000 | #Constraints: 25791
841.62/843.90 c #Conflicts: 341000 | #Constraints: 26791
841.62/843.90 c #Conflicts: 342000 | #Constraints: 27792
841.62/843.90 c #Conflicts: 343000 | #Constraints: 28792
841.62/843.90 c #Conflicts: 344000 | #Constraints: 29792
841.62/843.90 c #Conflicts: 345000 | #Constraints: 30792
841.62/843.90 c INPROCESSING
841.62/843.90 c GARBAGE COLLECT
841.62/843.90 c #Conflicts: 346000 | #Constraints: 20212
841.62/843.90 c #Conflicts: 347000 | #Constraints: 21212
841.62/843.90 c #Conflicts: 348000 | #Constraints: 22212
841.62/843.90 c #Conflicts: 349000 | #Constraints: 23212
841.62/843.90 c #Conflicts: 350000 | #Constraints: 24212
841.62/843.90 c #Conflicts: 351000 | #Constraints: 25213
841.62/843.90 c #Conflicts: 352000 | #Constraints: 26213
841.62/843.90 c #Conflicts: 353000 | #Constraints: 27213
841.62/843.90 c #Conflicts: 354000 | #Constraints: 28213
841.62/843.90 c #Conflicts: 355000 | #Constraints: 29213
841.62/843.90 c #Conflicts: 356000 | #Constraints: 30213
841.62/843.90 c #Conflicts: 357000 | #Constraints: 31213
841.62/843.90 c INPROCESSING
841.62/843.90 c GARBAGE COLLECT
841.62/843.90 c #Conflicts: 358000 | #Constraints: 20434
841.62/843.90 c #Conflicts: 359000 | #Constraints: 21434
841.62/843.90 c #Conflicts: 360000 | #Constraints: 22434
841.62/843.90 c #Conflicts: 361000 | #Constraints: 23434
841.62/843.90 c #Conflicts: 362000 | #Constraints: 24434
841.62/843.90 c #Conflicts: 363000 | #Constraints: 25434
841.62/843.90 c #Conflicts: 364000 | #Constraints: 26434
841.62/843.90 c #Conflicts: 365000 | #Constraints: 27434
841.62/843.90 c #Conflicts: 366000 | #Constraints: 28435
841.62/843.90 c #Conflicts: 367000 | #Constraints: 29435
841.62/843.90 c #Conflicts: 368000 | #Constraints: 30435
841.62/843.90 c #Conflicts: 369000 | #Constraints: 31436
841.62/843.90 c INPROCESSING
841.62/843.90 c GARBAGE COLLECT
841.62/843.90 c #Conflicts: 370000 | #Constraints: 20410
841.62/843.90 c #Conflicts: 371000 | #Constraints: 21410
841.62/843.90 c #Conflicts: 372000 | #Constraints: 22410
841.62/843.90 c #Conflicts: 373000 | #Constraints: 23410
841.62/843.90 c #Conflicts: 374000 | #Constraints: 24410
841.62/843.90 c #Conflicts: 375000 | #Constraints: 25410
841.62/843.90 c #Conflicts: 376000 | #Constraints: 26410
841.62/843.90 c #Conflicts: 377000 | #Constraints: 27411
841.62/843.90 c #Conflicts: 378000 | #Constraints: 28411
841.62/843.90 c #Conflicts: 379000 | #Constraints: 29411
841.62/843.90 c #Conflicts: 380000 | #Constraints: 30412
841.62/843.90 c #Conflicts: 381000 | #Constraints: 31412
841.62/843.90 c INPROCESSING
841.62/843.90 c GARBAGE COLLECT
841.62/843.90 c rational objective 4501.5
1001.55/1004.31 c #Conflicts: 382000 | #Constraints: 20228
1001.55/1004.31 c #Conflicts: 383000 | #Constraints: 21228
1001.55/1004.31 c #Conflicts: 384000 | #Constraints: 22228
1001.55/1004.31 c #Conflicts: 385000 | #Constraints: 23230
1001.55/1004.31 c #Conflicts: 386000 | #Constraints: 24230
1001.55/1004.31 c #Conflicts: 387000 | #Constraints: 25231
1001.55/1004.31 c #Conflicts: 388000 | #Constraints: 26231
1001.55/1004.31 c #Conflicts: 389000 | #Constraints: 27231
1001.55/1004.31 c #Conflicts: 390000 | #Constraints: 28231
1001.55/1004.31 c #Conflicts: 391000 | #Constraints: 29231
1001.55/1004.31 c #Conflicts: 392000 | #Constraints: 30231
1001.55/1004.31 c #Conflicts: 393000 | #Constraints: 31231
1001.55/1004.31 c #Conflicts: 394000 | #Constraints: 32231
1001.55/1004.31 c INPROCESSING
1001.55/1004.31 c GARBAGE COLLECT
1001.55/1004.31 c #Conflicts: 395000 | #Constraints: 20802
1001.55/1004.31 c #Conflicts: 396000 | #Constraints: 21802
1001.55/1004.31 c #Conflicts: 397000 | #Constraints: 22802
1001.55/1004.31 c #Conflicts: 398000 | #Constraints: 23802
1001.55/1004.31 c #Conflicts: 399000 | #Constraints: 24803
1001.55/1004.31 c #Conflicts: 400000 | #Constraints: 25803
1001.55/1004.31 c #Conflicts: 401000 | #Constraints: 26803
1001.55/1004.31 c #Conflicts: 402000 | #Constraints: 27803
1001.55/1004.31 c #Conflicts: 403000 | #Constraints: 28804
1001.55/1004.31 c #Conflicts: 404000 | #Constraints: 29804
1001.55/1004.31 c #Conflicts: 405000 | #Constraints: 30804
1001.55/1004.31 c #Conflicts: 406000 | #Constraints: 31805
1001.55/1004.31 c #Conflicts: 407000 | #Constraints: 32805
1001.55/1004.31 c INPROCESSING
1001.55/1004.31 c GARBAGE COLLECT
1001.55/1004.31 c #Conflicts: 408000 | #Constraints: 21190
1001.55/1004.31 c #Conflicts: 409000 | #Constraints: 22190
1001.55/1004.31 c #Conflicts: 410000 | #Constraints: 23190
1001.55/1004.31 c #Conflicts: 411000 | #Constraints: 24190
1001.55/1004.31 c #Conflicts: 412000 | #Constraints: 25190
1001.55/1004.31 c #Conflicts: 413000 | #Constraints: 26190
1001.55/1004.31 c #Conflicts: 414000 | #Constraints: 27191
1001.55/1004.31 c #Conflicts: 415000 | #Constraints: 28191
1001.55/1004.31 c #Conflicts: 416000 | #Constraints: 29191
1001.55/1004.31 c #Conflicts: 417000 | #Constraints: 30191
1001.55/1004.31 c #Conflicts: 418000 | #Constraints: 31191
1001.55/1004.31 c #Conflicts: 419000 | #Constraints: 32191
1001.55/1004.31 c #Conflicts: 420000 | #Constraints: 33191
1001.55/1004.31 c INPROCESSING
1001.55/1004.31 c GARBAGE COLLECT
1001.55/1004.31 c #Conflicts: 421000 | #Constraints: 21534
1001.55/1004.31 c #Conflicts: 422000 | #Constraints: 22534
1001.55/1004.31 c #Conflicts: 423000 | #Constraints: 23534
1001.55/1004.31 c #Conflicts: 424000 | #Constraints: 24534
1001.55/1004.31 c #Conflicts: 425000 | #Constraints: 25534
1001.55/1004.31 c #Conflicts: 426000 | #Constraints: 26534
1001.55/1004.31 c #Conflicts: 427000 | #Constraints: 27534
1001.55/1004.31 c #Conflicts: 428000 | #Constraints: 28534
1001.55/1004.31 c #Conflicts: 429000 | #Constraints: 29534
1001.55/1004.31 c #Conflicts: 430000 | #Constraints: 30534
1001.55/1004.31 c #Conflicts: 431000 | #Constraints: 31534
1001.55/1004.31 c #Conflicts: 432000 | #Constraints: 32534
1001.55/1004.31 c #Conflicts: 433000 | #Constraints: 33534
1001.55/1004.31 c INPROCESSING
1001.55/1004.31 c GARBAGE COLLECT
1001.55/1004.31 c #Conflicts: 434000 | #Constraints: 21563
1001.55/1004.31 c #Conflicts: 435000 | #Constraints: 22563
1001.55/1004.31 c #Conflicts: 436000 | #Constraints: 23563
1001.55/1004.31 c #Conflicts: 437000 | #Constraints: 24563
1001.55/1004.31 c #Conflicts: 438000 | #Constraints: 25564
1001.55/1004.31 c #Conflicts: 439000 | #Constraints: 26564
1001.55/1004.31 c #Conflicts: 440000 | #Constraints: 27564
1001.55/1004.31 c #Conflicts: 441000 | #Constraints: 28564
1001.55/1004.31 c #Conflicts: 442000 | #Constraints: 29564
1001.55/1004.31 c #Conflicts: 443000 | #Constraints: 30564
1001.55/1004.31 c #Conflicts: 444000 | #Constraints: 31564
1001.55/1004.31 c #Conflicts: 445000 | #Constraints: 32564
1001.55/1004.31 c #Conflicts: 446000 | #Constraints: 33564
1001.55/1004.31 c INPROCESSING
1001.55/1004.31 c GARBAGE COLLECT
1001.55/1004.31 c rational objective 4501.5
1118.00/1121.15 c #Conflicts: 447000 | #Constraints: 21382
1118.00/1121.15 c #Conflicts: 448000 | #Constraints: 22382
1118.00/1121.15 c #Conflicts: 449000 | #Constraints: 23382
1118.00/1121.15 c #Conflicts: 450000 | #Constraints: 24384
1118.00/1121.15 c #Conflicts: 451000 | #Constraints: 25385
1118.00/1121.15 c #Conflicts: 452000 | #Constraints: 26385
1118.00/1121.15 c #Conflicts: 453000 | #Constraints: 27385
1118.00/1121.15 c #Conflicts: 454000 | #Constraints: 28386
1118.00/1121.15 c #Conflicts: 455000 | #Constraints: 29386
1118.00/1121.15 c #Conflicts: 456000 | #Constraints: 30387
1118.00/1121.15 c #Conflicts: 457000 | #Constraints: 31387
1118.00/1121.15 c #Conflicts: 458000 | #Constraints: 32387
1118.00/1121.15 c #Conflicts: 459000 | #Constraints: 33387
1118.00/1121.15 c #Conflicts: 460000 | #Constraints: 34387
1118.00/1121.15 c INPROCESSING
1118.00/1121.15 c GARBAGE COLLECT
1118.00/1121.15 c #Conflicts: 461000 | #Constraints: 21899
1118.00/1121.15 c #Conflicts: 462000 | #Constraints: 22899
1118.00/1121.15 c #Conflicts: 463000 | #Constraints: 23900
1118.00/1121.15 c #Conflicts: 464000 | #Constraints: 24900
1118.00/1121.15 c #Conflicts: 465000 | #Constraints: 25900
1118.00/1121.15 c #Conflicts: 466000 | #Constraints: 26901
1118.00/1121.15 c #Conflicts: 467000 | #Constraints: 27902
1118.00/1121.15 c #Conflicts: 468000 | #Constraints: 28902
1118.00/1121.15 c #Conflicts: 469000 | #Constraints: 29902
1118.00/1121.15 c #Conflicts: 470000 | #Constraints: 30902
1118.00/1121.15 c #Conflicts: 471000 | #Constraints: 31902
1118.00/1121.15 c #Conflicts: 472000 | #Constraints: 32902
1118.00/1121.15 c #Conflicts: 473000 | #Constraints: 33902
1118.00/1121.15 c #Conflicts: 474000 | #Constraints: 34902
1118.00/1121.15 c INPROCESSING
1118.00/1121.15 c GARBAGE COLLECT
1118.00/1121.15 c #Conflicts: 475000 | #Constraints: 22261
1118.00/1121.15 c #Conflicts: 476000 | #Constraints: 23261
1118.00/1121.15 c #Conflicts: 477000 | #Constraints: 24261
1118.00/1121.15 c #Conflicts: 478000 | #Constraints: 25262
1118.00/1121.15 c #Conflicts: 479000 | #Constraints: 26262
1118.00/1121.15 c #Conflicts: 480000 | #Constraints: 27262
1118.00/1121.15 c #Conflicts: 481000 | #Constraints: 28262
1118.00/1121.15 c #Conflicts: 482000 | #Constraints: 29262
1118.00/1121.15 c #Conflicts: 483000 | #Constraints: 30262
1118.00/1121.15 c #Conflicts: 484000 | #Constraints: 31263
1118.00/1121.15 c #Conflicts: 485000 | #Constraints: 32263
1118.00/1121.15 c #Conflicts: 486000 | #Constraints: 33263
1118.00/1121.15 c #Conflicts: 487000 | #Constraints: 34263
1118.00/1121.15 c #Conflicts: 488000 | #Constraints: 35264
1118.00/1121.15 c INPROCESSING
1118.00/1121.15 c GARBAGE COLLECT
1118.00/1121.15 c #Conflicts: 489000 | #Constraints: 22442
1118.00/1121.15 c #Conflicts: 490000 | #Constraints: 23442
1118.00/1121.15 c #Conflicts: 491000 | #Constraints: 24442
1118.00/1121.15 c #Conflicts: 492000 | #Constraints: 25443
1118.00/1121.15 c #Conflicts: 493000 | #Constraints: 26443
1118.00/1121.15 c #Conflicts: 494000 | #Constraints: 27443
1118.00/1121.15 c #Conflicts: 495000 | #Constraints: 28443
1118.00/1121.15 c #Conflicts: 496000 | #Constraints: 29443
1118.00/1121.15 c #Conflicts: 497000 | #Constraints: 30443
1118.00/1121.15 c #Conflicts: 498000 | #Constraints: 31443
1118.00/1121.15 c #Conflicts: 499000 | #Constraints: 32443
1118.00/1121.15 c #Conflicts: 500000 | #Constraints: 33443
1118.00/1121.15 c #Conflicts: 501000 | #Constraints: 34443
1118.00/1121.15 c #Conflicts: 502000 | #Constraints: 35443
1118.00/1121.15 c INPROCESSING
1118.00/1121.15 c GARBAGE COLLECT
1118.00/1121.15 c #Conflicts: 503000 | #Constraints: 22455
1118.00/1121.15 c #Conflicts: 504000 | #Constraints: 23455
1118.00/1121.15 c #Conflicts: 505000 | #Constraints: 24455
1118.00/1121.15 c #Conflicts: 506000 | #Constraints: 25455
1118.00/1121.15 c #Conflicts: 507000 | #Constraints: 26455
1118.00/1121.15 c #Conflicts: 508000 | #Constraints: 27455
1118.00/1121.15 c #Conflicts: 509000 | #Constraints: 28456
1118.00/1121.15 c #Conflicts: 510000 | #Constraints: 29456
1118.00/1121.15 c #Conflicts: 511000 | #Constraints: 30456
1118.00/1121.15 c #Conflicts: 512000 | #Constraints: 31456
1118.00/1121.15 c #Conflicts: 513000 | #Constraints: 32456
1118.00/1121.15 c #Conflicts: 514000 | #Constraints: 33456
1118.00/1121.15 c #Conflicts: 515000 | #Constraints: 34456
1118.00/1121.15 c #Conflicts: 516000 | #Constraints: 35456
1118.00/1121.15 c INPROCESSING
1118.00/1121.15 c GARBAGE COLLECT
1118.00/1121.15 c #Conflicts: 517000 | #Constraints: 22281
1118.00/1121.15 c #Conflicts: 518000 | #Constraints: 23281
1118.00/1121.15 c #Conflicts: 519000 | #Constraints: 24281
1118.00/1121.15 c #Conflicts: 520000 | #Constraints: 25281
1118.00/1121.15 c #Conflicts: 521000 | #Constraints: 26281
1118.00/1121.15 c #Conflicts: 522000 | #Constraints: 27282
1152.98/1156.27 c #Conflicts: 523000 | #Constraints: 28282
1152.98/1156.27 c #Conflicts: 524000 | #Constraints: 29282
1152.98/1156.27 c #Conflicts: 525000 | #Constraints: 30282
1152.98/1156.27 c #Conflicts: 526000 | #Constraints: 31282
1152.98/1156.27 c #Conflicts: 527000 | #Constraints: 32282
1152.98/1156.27 c #Conflicts: 528000 | #Constraints: 33282
1152.98/1156.27 c #Conflicts: 529000 | #Constraints: 34282
1152.98/1156.27 c #Conflicts: 530000 | #Constraints: 35282
1152.98/1156.27 c #Conflicts: 531000 | #Constraints: 36282
1152.98/1156.27 c INPROCESSING
1152.98/1156.27 c GARBAGE COLLECT
1152.98/1156.27 c #Conflicts: 532000 | #Constraints: 22875
1152.98/1156.27 c #Conflicts: 533000 | #Constraints: 23875
1152.98/1156.27 c #Conflicts: 534000 | #Constraints: 24875
1152.98/1156.27 c #Conflicts: 535000 | #Constraints: 25875
1152.98/1156.27 c #Conflicts: 536000 | #Constraints: 26875
1152.98/1156.27 c #Conflicts: 537000 | #Constraints: 27875
1152.98/1156.27 c #Conflicts: 538000 | #Constraints: 28875
1152.98/1156.27 c #Conflicts: 539000 | #Constraints: 29875
1152.98/1156.27 c #Conflicts: 540000 | #Constraints: 30875
1152.98/1156.27 c #Conflicts: 541000 | #Constraints: 31876
1152.98/1156.27 c #Conflicts: 542000 | #Constraints: 32876
1152.98/1156.27 c #Conflicts: 543000 | #Constraints: 33876
1152.98/1156.27 c #Conflicts: 544000 | #Constraints: 34877
1152.98/1156.27 c #Conflicts: 545000 | #Constraints: 35877
1152.98/1156.27 c #Conflicts: 546000 | #Constraints: 36877
1152.98/1156.27 c INPROCESSING
1152.98/1156.27 c GARBAGE COLLECT
1152.98/1156.27 c #Conflicts: 547000 | #Constraints: 23288
1152.98/1156.27 c #Conflicts: 548000 | #Constraints: 24288
1152.98/1156.27 c #Conflicts: 549000 | #Constraints: 25288
1152.98/1156.27 c #Conflicts: 550000 | #Constraints: 26288
1152.98/1156.27 c #Conflicts: 551000 | #Constraints: 27288
1152.98/1156.27 c #Conflicts: 552000 | #Constraints: 28288
1152.98/1156.27 c #Conflicts: 553000 | #Constraints: 29288
1152.98/1156.27 c #Conflicts: 554000 | #Constraints: 30289
1152.98/1156.27 c #Conflicts: 555000 | #Constraints: 31289
1152.98/1156.27 c #Conflicts: 556000 | #Constraints: 32289
1152.98/1156.27 c #Conflicts: 557000 | #Constraints: 33289
1152.98/1156.27 c #Conflicts: 558000 | #Constraints: 34289
1152.98/1156.27 c #Conflicts: 559000 | #Constraints: 35289
1152.98/1156.27 c #Conflicts: 560000 | #Constraints: 36289
1152.98/1156.27 c #Conflicts: 561000 | #Constraints: 37289
1152.98/1156.27 c INPROCESSING
1152.98/1156.27 c GARBAGE COLLECT
1152.98/1156.27 c rational objective 4501.5
1241.22/1244.78 c #Conflicts: 562000 | #Constraints: 23463
1241.22/1244.78 c #Conflicts: 563000 | #Constraints: 24463
1241.22/1244.78 c #Conflicts: 564000 | #Constraints: 25463
1241.22/1244.78 c #Conflicts: 565000 | #Constraints: 26463
1241.22/1244.78 c #Conflicts: 566000 | #Constraints: 27463
1241.22/1244.78 c #Conflicts: 567000 | #Constraints: 28463
1241.22/1244.78 c #Conflicts: 568000 | #Constraints: 29463
1241.22/1244.78 c #Conflicts: 569000 | #Constraints: 30463
1241.22/1244.78 c #Conflicts: 570000 | #Constraints: 31465
1241.22/1244.78 c #Conflicts: 571000 | #Constraints: 32465
1241.22/1244.78 c #Conflicts: 572000 | #Constraints: 33465
1241.22/1244.78 c #Conflicts: 573000 | #Constraints: 34465
1241.22/1244.78 c #Conflicts: 574000 | #Constraints: 35465
1241.22/1244.78 c #Conflicts: 575000 | #Constraints: 36465
1241.22/1244.78 c #Conflicts: 576000 | #Constraints: 37465
1241.22/1244.78 c INPROCESSING
1241.22/1244.78 c GARBAGE COLLECT
1241.22/1244.78 c #Conflicts: 577000 | #Constraints: 23412
1241.22/1244.78 c #Conflicts: 578000 | #Constraints: 24412
1241.22/1244.78 c #Conflicts: 579000 | #Constraints: 25412
1241.22/1244.78 c #Conflicts: 580000 | #Constraints: 26412
1241.22/1244.78 c #Conflicts: 581000 | #Constraints: 27412
1241.22/1244.78 c #Conflicts: 582000 | #Constraints: 28413
1241.22/1244.78 c #Conflicts: 583000 | #Constraints: 29413
1241.22/1244.78 c #Conflicts: 584000 | #Constraints: 30413
1241.22/1244.78 c #Conflicts: 585000 | #Constraints: 31413
1241.22/1244.78 c #Conflicts: 586000 | #Constraints: 32413
1241.22/1244.78 c #Conflicts: 587000 | #Constraints: 33413
1241.22/1244.78 c #Conflicts: 588000 | #Constraints: 34413
1241.22/1244.78 c #Conflicts: 589000 | #Constraints: 35414
1241.22/1244.78 c #Conflicts: 590000 | #Constraints: 36414
1241.22/1244.78 c #Conflicts: 591000 | #Constraints: 37414
1241.22/1244.78 c INPROCESSING
1241.22/1244.78 c GARBAGE COLLECT
1241.22/1244.78 c rational objective 4501.5
1362.93/1366.86 c #Conflicts: 592000 | #Constraints: 23238
1362.93/1366.86 c #Conflicts: 593000 | #Constraints: 24238
1362.93/1366.86 c #Conflicts: 594000 | #Constraints: 25238
1362.93/1366.86 c #Conflicts: 595000 | #Constraints: 26238
1362.93/1366.86 c #Conflicts: 596000 | #Constraints: 27238
1362.93/1366.86 c #Conflicts: 597000 | #Constraints: 28238
1362.93/1366.86 c #Conflicts: 598000 | #Constraints: 29239
1362.93/1366.86 c #Conflicts: 599000 | #Constraints: 30240
1362.93/1366.86 c #Conflicts: 600000 | #Constraints: 31240
1362.93/1366.86 c #Conflicts: 601000 | #Constraints: 32240
1362.93/1366.86 c #Conflicts: 602000 | #Constraints: 33240
1362.93/1366.86 c #Conflicts: 603000 | #Constraints: 34241
1362.93/1366.86 c #Conflicts: 604000 | #Constraints: 35241
1362.93/1366.86 c #Conflicts: 605000 | #Constraints: 36242
1362.93/1366.86 c #Conflicts: 606000 | #Constraints: 37242
1362.93/1366.86 c #Conflicts: 607000 | #Constraints: 38243
1362.93/1366.86 c INPROCESSING
1362.93/1366.86 c GARBAGE COLLECT
1362.93/1366.86 c #Conflicts: 608000 | #Constraints: 23798
1362.93/1366.86 c #Conflicts: 609000 | #Constraints: 24798
1362.93/1366.86 c #Conflicts: 610000 | #Constraints: 25798
1362.93/1366.86 c #Conflicts: 611000 | #Constraints: 26798
1362.93/1366.86 c #Conflicts: 612000 | #Constraints: 27798
1362.93/1366.86 c #Conflicts: 613000 | #Constraints: 28799
1362.93/1366.86 c #Conflicts: 614000 | #Constraints: 29799
1362.93/1366.86 c #Conflicts: 615000 | #Constraints: 30799
1362.93/1366.86 c #Conflicts: 616000 | #Constraints: 31799
1362.93/1366.86 c #Conflicts: 617000 | #Constraints: 32799
1362.93/1366.86 c #Conflicts: 618000 | #Constraints: 33799
1362.93/1366.86 c #Conflicts: 619000 | #Constraints: 34799
1362.93/1366.86 c #Conflicts: 620000 | #Constraints: 35799
1362.93/1366.86 c #Conflicts: 621000 | #Constraints: 36800
1362.93/1366.86 c #Conflicts: 622000 | #Constraints: 37800
1362.93/1366.86 c #Conflicts: 623000 | #Constraints: 38800
1362.93/1366.86 c INPROCESSING
1362.93/1366.86 c GARBAGE COLLECT
1362.93/1366.86 c #Conflicts: 624000 | #Constraints: 24187
1362.93/1366.86 c #Conflicts: 625000 | #Constraints: 25187
1362.93/1366.86 c #Conflicts: 626000 | #Constraints: 26187
1362.93/1366.86 c #Conflicts: 627000 | #Constraints: 27187
1362.93/1366.86 c #Conflicts: 628000 | #Constraints: 28188
1362.93/1366.86 c #Conflicts: 629000 | #Constraints: 29188
1362.93/1366.86 c #Conflicts: 630000 | #Constraints: 30188
1362.93/1366.86 c #Conflicts: 631000 | #Constraints: 31189
1362.93/1366.86 c #Conflicts: 632000 | #Constraints: 32189
1362.93/1366.86 c #Conflicts: 633000 | #Constraints: 33189
1362.93/1366.86 c #Conflicts: 634000 | #Constraints: 34189
1362.93/1366.86 c #Conflicts: 635000 | #Constraints: 35189
1362.93/1366.86 c #Conflicts: 636000 | #Constraints: 36190
1362.93/1366.86 c #Conflicts: 637000 | #Constraints: 37190
1362.93/1366.86 c #Conflicts: 638000 | #Constraints: 38190
1362.93/1366.86 c #Conflicts: 639000 | #Constraints: 39190
1362.93/1366.86 c INPROCESSING
1362.93/1366.86 c GARBAGE COLLECT
1362.93/1366.86 c #Conflicts: 640000 | #Constraints: 24418
1362.93/1366.86 c #Conflicts: 641000 | #Constraints: 25418
1362.93/1366.86 c #Conflicts: 642000 | #Constraints: 26418
1362.93/1366.86 c #Conflicts: 643000 | #Constraints: 27418
1362.93/1366.86 c #Conflicts: 644000 | #Constraints: 28418
1362.93/1366.86 c #Conflicts: 645000 | #Constraints: 29418
1362.93/1366.86 c #Conflicts: 646000 | #Constraints: 30418
1362.93/1366.86 c #Conflicts: 647000 | #Constraints: 31419
1362.93/1366.86 c #Conflicts: 648000 | #Constraints: 32419
1362.93/1366.86 c #Conflicts: 649000 | #Constraints: 33419
1362.93/1366.86 c #Conflicts: 650000 | #Constraints: 34419
1362.93/1366.86 c #Conflicts: 651000 | #Constraints: 35420
1362.93/1366.86 c #Conflicts: 652000 | #Constraints: 36420
1362.93/1366.86 c #Conflicts: 653000 | #Constraints: 37420
1362.93/1366.86 c #Conflicts: 654000 | #Constraints: 38420
1362.93/1366.86 c #Conflicts: 655000 | #Constraints: 39420
1362.93/1366.86 c INPROCESSING
1362.93/1366.86 c GARBAGE COLLECT
1362.93/1366.86 c #Conflicts: 656000 | #Constraints: 24423
1362.93/1366.86 c #Conflicts: 657000 | #Constraints: 25423
1362.93/1366.86 c #Conflicts: 658000 | #Constraints: 26423
1362.93/1366.86 c #Conflicts: 659000 | #Constraints: 27424
1362.93/1366.86 c #Conflicts: 660000 | #Constraints: 28424
1362.93/1366.86 c #Conflicts: 661000 | #Constraints: 29424
1362.93/1366.86 c #Conflicts: 662000 | #Constraints: 30424
1362.93/1366.86 c #Conflicts: 663000 | #Constraints: 31424
1362.93/1366.86 c #Conflicts: 664000 | #Constraints: 32424
1362.93/1366.86 c #Conflicts: 665000 | #Constraints: 33424
1362.93/1366.86 c #Conflicts: 666000 | #Constraints: 34424
1362.93/1366.86 c #Conflicts: 667000 | #Constraints: 35424
1362.93/1366.86 c #Conflicts: 668000 | #Constraints: 36424
1366.82/1370.74 c #Conflicts: 669000 | #Constraints: 37424
1366.82/1370.74 c #Conflicts: 670000 | #Constraints: 38424
1366.82/1370.74 c #Conflicts: 671000 | #Constraints: 39424
1366.82/1370.74 c INPROCESSING
1366.82/1370.74 c GARBAGE COLLECT
1366.82/1370.74 c rational objective 4501.5
1450.67/1454.84 c #Conflicts: 672000 | #Constraints: 24256
1450.67/1454.84 c #Conflicts: 673000 | #Constraints: 25256
1450.67/1454.84 c #Conflicts: 674000 | #Constraints: 26256
1450.67/1454.84 c #Conflicts: 675000 | #Constraints: 27256
1450.67/1454.84 c #Conflicts: 676000 | #Constraints: 28256
1450.67/1454.84 c #Conflicts: 677000 | #Constraints: 29256
1450.67/1454.84 c #Conflicts: 678000 | #Constraints: 30256
1450.67/1454.84 c #Conflicts: 679000 | #Constraints: 31256
1450.67/1454.84 c #Conflicts: 680000 | #Constraints: 32256
1450.67/1454.84 c #Conflicts: 681000 | #Constraints: 33256
1450.67/1454.84 c #Conflicts: 682000 | #Constraints: 34256
1450.67/1454.84 c #Conflicts: 683000 | #Constraints: 35256
1450.67/1454.84 c #Conflicts: 684000 | #Constraints: 36256
1450.67/1454.84 c #Conflicts: 685000 | #Constraints: 37256
1450.67/1454.84 c #Conflicts: 686000 | #Constraints: 38258
1450.67/1454.84 c #Conflicts: 687000 | #Constraints: 39259
1450.67/1454.84 c #Conflicts: 688000 | #Constraints: 40259
1450.67/1454.84 c INPROCESSING
1450.67/1454.84 c GARBAGE COLLECT
1450.67/1454.84 c #Conflicts: 689000 | #Constraints: 24810
1450.67/1454.84 c #Conflicts: 690000 | #Constraints: 25811
1450.67/1454.84 c #Conflicts: 691000 | #Constraints: 26811
1450.67/1454.84 c #Conflicts: 692000 | #Constraints: 27811
1450.67/1454.84 c #Conflicts: 693000 | #Constraints: 28811
1450.67/1454.84 c #Conflicts: 694000 | #Constraints: 29812
1450.67/1454.84 c #Conflicts: 695000 | #Constraints: 30812
1450.67/1454.84 c #Conflicts: 696000 | #Constraints: 31812
1450.67/1454.84 c #Conflicts: 697000 | #Constraints: 32812
1450.67/1454.84 c #Conflicts: 698000 | #Constraints: 33812
1450.67/1454.84 c #Conflicts: 699000 | #Constraints: 34812
1450.67/1454.84 c #Conflicts: 700000 | #Constraints: 35812
1450.67/1454.84 c #Conflicts: 701000 | #Constraints: 36812
1450.67/1454.84 c #Conflicts: 702000 | #Constraints: 37812
1450.67/1454.84 c #Conflicts: 703000 | #Constraints: 38812
1450.67/1454.84 c #Conflicts: 704000 | #Constraints: 39812
1450.67/1454.84 c #Conflicts: 705000 | #Constraints: 40812
1450.67/1454.84 c INPROCESSING
1450.67/1454.84 c GARBAGE COLLECT
1450.67/1454.84 c rational objective 4501.5
1499.01/1503.37 c #Conflicts: 706000 | #Constraints: 25414
1499.01/1503.37 c #Conflicts: 707000 | #Constraints: 26414
1499.01/1503.37 c #Conflicts: 708000 | #Constraints: 27414
1499.01/1503.37 c #Conflicts: 709000 | #Constraints: 28414
1499.01/1503.37 c #Conflicts: 710000 | #Constraints: 29414
1499.01/1503.37 c #Conflicts: 711000 | #Constraints: 30414
1499.01/1503.37 c #Conflicts: 712000 | #Constraints: 31414
1499.01/1503.37 c #Conflicts: 713000 | #Constraints: 32414
1499.01/1503.37 c #Conflicts: 714000 | #Constraints: 33416
1499.01/1503.37 c #Conflicts: 715000 | #Constraints: 34416
1499.01/1503.37 c #Conflicts: 716000 | #Constraints: 35417
1499.01/1503.37 c #Conflicts: 717000 | #Constraints: 36417
1499.01/1503.37 c #Conflicts: 718000 | #Constraints: 37417
1499.01/1503.37 c #Conflicts: 719000 | #Constraints: 38418
1499.01/1503.37 c #Conflicts: 720000 | #Constraints: 39418
1499.01/1503.37 c #Conflicts: 721000 | #Constraints: 40418
1499.01/1503.37 c #Conflicts: 722000 | #Constraints: 41418
1499.01/1503.37 c INPROCESSING
1499.01/1503.37 c GARBAGE COLLECT
1499.01/1503.37 c rational objective 4501.5
1523.53/1527.93 c #Conflicts: 723000 | #Constraints: 25524
1523.53/1527.93 c #Conflicts: 724000 | #Constraints: 26525
1523.53/1527.93 c #Conflicts: 725000 | #Constraints: 27526
1523.53/1527.93 c #Conflicts: 726000 | #Constraints: 28526
1523.53/1527.93 c #Conflicts: 727000 | #Constraints: 29526
1523.53/1527.93 c #Conflicts: 728000 | #Constraints: 30528
1523.53/1527.93 c #Conflicts: 729000 | #Constraints: 31528
1523.53/1527.93 c #Conflicts: 730000 | #Constraints: 32528
1523.53/1527.93 c #Conflicts: 731000 | #Constraints: 33529
1523.53/1527.93 c #Conflicts: 732000 | #Constraints: 34529
1523.53/1527.93 c #Conflicts: 733000 | #Constraints: 35530
1523.53/1527.93 c #Conflicts: 734000 | #Constraints: 36530
1523.53/1527.93 c #Conflicts: 735000 | #Constraints: 37530
1523.53/1527.93 c #Conflicts: 736000 | #Constraints: 38530
1523.53/1527.93 c #Conflicts: 737000 | #Constraints: 39530
1523.53/1527.93 c #Conflicts: 738000 | #Constraints: 40531
1523.53/1527.93 c #Conflicts: 739000 | #Constraints: 41532
1523.53/1527.93 c INPROCESSING
1523.53/1527.93 c GARBAGE COLLECT
1523.53/1527.93 c #Conflicts: 740000 | #Constraints: 25469
1523.53/1527.93 c #Conflicts: 741000 | #Constraints: 26469
1523.53/1527.93 c #Conflicts: 742000 | #Constraints: 27469
1523.53/1527.93 c #Conflicts: 743000 | #Constraints: 28469
1523.53/1527.93 c #Conflicts: 744000 | #Constraints: 29469
1523.53/1527.93 c #Conflicts: 745000 | #Constraints: 30469
1523.53/1527.93 c #Conflicts: 746000 | #Constraints: 31469
1523.53/1527.93 c #Conflicts: 747000 | #Constraints: 32469
1523.53/1527.93 c #Conflicts: 748000 | #Constraints: 33471
1523.53/1527.93 c #Conflicts: 749000 | #Constraints: 34472
1523.53/1527.93 c #Conflicts: 750000 | #Constraints: 35472
1523.53/1527.93 c #Conflicts: 751000 | #Constraints: 36472
1523.53/1527.93 c #Conflicts: 752000 | #Constraints: 37472
1523.53/1527.93 c #Conflicts: 753000 | #Constraints: 38472
1523.53/1527.93 c #Conflicts: 754000 | #Constraints: 39472
1523.53/1527.93 c #Conflicts: 755000 | #Constraints: 40472
1523.53/1527.93 c #Conflicts: 756000 | #Constraints: 41472
1523.53/1527.93 c INPROCESSING
1523.53/1527.93 c GARBAGE COLLECT
1523.53/1527.93 c #Conflicts: 757000 | #Constraints: 25240
1523.53/1527.93 c #Conflicts: 758000 | #Constraints: 26241
1523.53/1527.93 c #Conflicts: 759000 | #Constraints: 27241
1523.53/1527.93 c #Conflicts: 760000 | #Constraints: 28241
1523.53/1527.93 c #Conflicts: 761000 | #Constraints: 29241
1523.53/1527.93 c #Conflicts: 762000 | #Constraints: 30242
1523.53/1527.93 c #Conflicts: 763000 | #Constraints: 31242
1523.53/1527.93 c #Conflicts: 764000 | #Constraints: 32242
1523.53/1527.93 c #Conflicts: 765000 | #Constraints: 33242
1523.53/1527.93 c #Conflicts: 766000 | #Constraints: 34242
1523.53/1527.93 c #Conflicts: 767000 | #Constraints: 35242
1523.53/1527.93 c #Conflicts: 768000 | #Constraints: 36242
1523.53/1527.93 c #Conflicts: 769000 | #Constraints: 37242
1523.53/1527.93 c #Conflicts: 770000 | #Constraints: 38242
1523.53/1527.93 c #Conflicts: 771000 | #Constraints: 39242
1523.53/1527.93 c #Conflicts: 772000 | #Constraints: 40243
1523.53/1527.93 c #Conflicts: 773000 | #Constraints: 41243
1523.53/1527.93 c #Conflicts: 774000 | #Constraints: 42243
1523.53/1527.93 c INPROCESSING
1523.53/1527.93 c GARBAGE COLLECT
1523.53/1527.93 c rational objective 4501.5
1534.40/1538.85 c #Conflicts: 775000 | #Constraints: 25828
1534.40/1538.85 c #Conflicts: 776000 | #Constraints: 26828
1534.40/1538.85 c #Conflicts: 777000 | #Constraints: 27829
1534.40/1538.85 c #Conflicts: 778000 | #Constraints: 28829
1534.40/1538.85 c #Conflicts: 779000 | #Constraints: 29829
1534.40/1538.85 c #Conflicts: 780000 | #Constraints: 30829
1534.40/1538.85 c #Conflicts: 781000 | #Constraints: 31829
1534.40/1538.85 c #Conflicts: 782000 | #Constraints: 32829
1534.40/1538.85 c #Conflicts: 783000 | #Constraints: 33829
1534.40/1538.85 c #Conflicts: 784000 | #Constraints: 34829
1534.40/1538.85 c #Conflicts: 785000 | #Constraints: 35829
1534.40/1538.85 c #Conflicts: 786000 | #Constraints: 36829
1534.40/1538.85 c #Conflicts: 787000 | #Constraints: 37830
1534.40/1538.85 c #Conflicts: 788000 | #Constraints: 38830
1534.40/1538.85 c #Conflicts: 789000 | #Constraints: 39830
1534.40/1538.85 c #Conflicts: 790000 | #Constraints: 40830
1534.40/1538.85 c #Conflicts: 791000 | #Constraints: 41830
1534.40/1538.85 c #Conflicts: 792000 | #Constraints: 42830
1534.40/1538.85 c INPROCESSING
1534.40/1538.85 c GARBAGE COLLECT
1534.40/1538.85 c rational objective 4501.5
1553.84/1558.38 c #Conflicts: 793000 | #Constraints: 26213
1553.84/1558.38 c #Conflicts: 794000 | #Constraints: 27213
1553.84/1558.38 c #Conflicts: 795000 | #Constraints: 28213
1553.84/1558.38 c #Conflicts: 796000 | #Constraints: 29213
1553.84/1558.38 c #Conflicts: 797000 | #Constraints: 30213
1553.84/1558.38 c #Conflicts: 798000 | #Constraints: 31213
1553.84/1558.38 c #Conflicts: 799000 | #Constraints: 32215
1553.84/1558.38 c #Conflicts: 800000 | #Constraints: 33215
1553.84/1558.38 c #Conflicts: 801000 | #Constraints: 34215
1553.84/1558.38 c #Conflicts: 802000 | #Constraints: 35216
1553.84/1558.38 c #Conflicts: 803000 | #Constraints: 36216
1553.84/1558.38 c #Conflicts: 804000 | #Constraints: 37216
1553.84/1558.38 c #Conflicts: 805000 | #Constraints: 38216
1553.84/1558.38 c #Conflicts: 806000 | #Constraints: 39216
1553.84/1558.38 c #Conflicts: 807000 | #Constraints: 40216
1553.84/1558.38 c #Conflicts: 808000 | #Constraints: 41216
1553.84/1558.38 c #Conflicts: 809000 | #Constraints: 42216
1553.84/1558.38 c #Conflicts: 810000 | #Constraints: 43216
1553.84/1558.38 c INPROCESSING
1553.84/1558.38 c GARBAGE COLLECT
1553.84/1558.38 c rational objective 4501.5
1598.80/1603.40 c #Conflicts: 811000 | #Constraints: 26394
1598.80/1603.40 c #Conflicts: 812000 | #Constraints: 27394
1598.80/1603.40 c #Conflicts: 813000 | #Constraints: 28395
1598.80/1603.40 c #Conflicts: 814000 | #Constraints: 29395
1598.80/1603.40 c #Conflicts: 815000 | #Constraints: 30395
1598.80/1603.40 c #Conflicts: 816000 | #Constraints: 31395
1598.80/1603.40 c #Conflicts: 817000 | #Constraints: 32395
1598.80/1603.40 c #Conflicts: 818000 | #Constraints: 33395
1598.80/1603.40 c #Conflicts: 819000 | #Constraints: 34395
1598.80/1603.40 c #Conflicts: 820000 | #Constraints: 35396
1598.80/1603.40 c #Conflicts: 821000 | #Constraints: 36396
1598.80/1603.40 c #Conflicts: 822000 | #Constraints: 37396
1598.80/1603.40 c #Conflicts: 823000 | #Constraints: 38396
1598.80/1603.40 c #Conflicts: 824000 | #Constraints: 39396
1598.80/1603.40 c #Conflicts: 825000 | #Constraints: 40396
1598.80/1603.40 c #Conflicts: 826000 | #Constraints: 41396
1598.80/1603.40 c #Conflicts: 827000 | #Constraints: 42396
1598.80/1603.40 c #Conflicts: 828000 | #Constraints: 43396
1598.80/1603.40 c INPROCESSING
1598.80/1603.40 c GARBAGE COLLECT
1598.80/1603.40 c rational objective 4501.5
1659.11/1663.91 c #Conflicts: 829000 | #Constraints: 26393
1659.11/1663.91 c #Conflicts: 830000 | #Constraints: 27393
1659.11/1663.91 c #Conflicts: 831000 | #Constraints: 28393
1659.11/1663.91 c #Conflicts: 832000 | #Constraints: 29393
1659.11/1663.91 c #Conflicts: 833000 | #Constraints: 30393
1659.11/1663.91 c #Conflicts: 834000 | #Constraints: 31393
1659.11/1663.91 c #Conflicts: 835000 | #Constraints: 32394
1659.11/1663.91 c #Conflicts: 836000 | #Constraints: 33394
1659.11/1663.91 c #Conflicts: 837000 | #Constraints: 34394
1659.11/1663.91 c #Conflicts: 838000 | #Constraints: 35395
1659.11/1663.91 c #Conflicts: 839000 | #Constraints: 36395
1659.11/1663.91 c #Conflicts: 840000 | #Constraints: 37395
1659.11/1663.91 c #Conflicts: 841000 | #Constraints: 38395
1659.11/1663.91 c #Conflicts: 842000 | #Constraints: 39396
1659.11/1663.91 c #Conflicts: 843000 | #Constraints: 40396
1659.11/1663.91 c #Conflicts: 844000 | #Constraints: 41397
1659.11/1663.91 c #Conflicts: 845000 | #Constraints: 42397
1659.11/1663.91 c #Conflicts: 846000 | #Constraints: 43397
1659.11/1663.91 c INPROCESSING
1659.11/1663.91 c GARBAGE COLLECT
1659.11/1663.91 c rational objective 4501.5
1744.23/1749.33 c #Conflicts: 847000 | #Constraints: 26198
1744.23/1749.33 c #Conflicts: 848000 | #Constraints: 27198
1744.23/1749.33 c #Conflicts: 849000 | #Constraints: 28198
1744.23/1749.33 c #Conflicts: 850000 | #Constraints: 29198
1744.23/1749.33 c #Conflicts: 851000 | #Constraints: 30198
1744.23/1749.33 c #Conflicts: 852000 | #Constraints: 31198
1744.23/1749.33 c #Conflicts: 853000 | #Constraints: 32198
1744.23/1749.33 c #Conflicts: 854000 | #Constraints: 33200
1744.23/1749.33 c #Conflicts: 855000 | #Constraints: 34201
1744.23/1749.33 c #Conflicts: 856000 | #Constraints: 35201
1744.23/1749.33 c #Conflicts: 857000 | #Constraints: 36201
1744.23/1749.33 c #Conflicts: 858000 | #Constraints: 37201
1744.23/1749.33 c #Conflicts: 859000 | #Constraints: 38201
1744.23/1749.33 c #Conflicts: 860000 | #Constraints: 39202
1744.23/1749.33 c #Conflicts: 861000 | #Constraints: 40202
1744.23/1749.33 c #Conflicts: 862000 | #Constraints: 41202
1744.23/1749.33 c #Conflicts: 863000 | #Constraints: 42202
1744.23/1749.33 c #Conflicts: 864000 | #Constraints: 43202
1744.23/1749.33 c #Conflicts: 865000 | #Constraints: 44202
1744.23/1749.33 c INPROCESSING
1744.23/1749.33 c GARBAGE COLLECT
1744.23/1749.33 c #Conflicts: 866000 | #Constraints: 26926
1744.23/1749.33 c #Conflicts: 867000 | #Constraints: 27926
1744.23/1749.33 c #Conflicts: 868000 | #Constraints: 28926
1744.23/1749.33 c #Conflicts: 869000 | #Constraints: 29926
1744.23/1749.33 c #Conflicts: 870000 | #Constraints: 30926
1744.23/1749.33 c #Conflicts: 871000 | #Constraints: 31926
1744.23/1749.33 c #Conflicts: 872000 | #Constraints: 32926
1744.23/1749.33 c #Conflicts: 873000 | #Constraints: 33926
1744.23/1749.33 c #Conflicts: 874000 | #Constraints: 34926
1744.23/1749.33 c #Conflicts: 875000 | #Constraints: 35927
1744.23/1749.33 c #Conflicts: 876000 | #Constraints: 36927
1744.23/1749.33 c #Conflicts: 877000 | #Constraints: 37927
1744.23/1749.33 c #Conflicts: 878000 | #Constraints: 38927
1744.23/1749.33 c #Conflicts: 879000 | #Constraints: 39927
1744.23/1749.33 c #Conflicts: 880000 | #Constraints: 40928
1744.23/1749.33 c #Conflicts: 881000 | #Constraints: 41928
1744.23/1749.33 c #Conflicts: 882000 | #Constraints: 42928
1744.23/1749.33 c #Conflicts: 883000 | #Constraints: 43928
1744.23/1749.33 c #Conflicts: 884000 | #Constraints: 44929
1744.23/1749.33 c INPROCESSING
1744.23/1749.33 c GARBAGE COLLECT
1744.23/1749.33 c rational objective 4501.5
1877.47/1882.91 c #Conflicts: 885000 | #Constraints: 27382
1877.47/1882.91 c #Conflicts: 886000 | #Constraints: 28382
1877.47/1882.91 c #Conflicts: 887000 | #Constraints: 29382
1877.47/1882.91 c #Conflicts: 888000 | #Constraints: 30384
1877.47/1882.91 c #Conflicts: 889000 | #Constraints: 31384
1877.47/1882.91 c #Conflicts: 890000 | #Constraints: 32384
1877.47/1882.91 c #Conflicts: 891000 | #Constraints: 33384
1877.47/1882.91 c #Conflicts: 892000 | #Constraints: 34384
1877.47/1882.91 c #Conflicts: 893000 | #Constraints: 35384
1877.47/1882.91 c #Conflicts: 894000 | #Constraints: 36384
1877.47/1882.91 c #Conflicts: 895000 | #Constraints: 37384
1877.47/1882.91 c #Conflicts: 896000 | #Constraints: 38384
1877.47/1882.91 c #Conflicts: 897000 | #Constraints: 39384
1877.47/1882.91 c #Conflicts: 898000 | #Constraints: 40385
1877.47/1882.91 c #Conflicts: 899000 | #Constraints: 41385
1877.47/1882.91 c #Conflicts: 900000 | #Constraints: 42385
1877.47/1882.91 c #Conflicts: 901000 | #Constraints: 43385
1877.47/1882.91 c #Conflicts: 902000 | #Constraints: 44386
1877.47/1882.91 c #Conflicts: 903000 | #Constraints: 45386
1877.47/1882.91 c INPROCESSING
1877.47/1882.91 c GARBAGE COLLECT
1877.47/1882.91 c #Conflicts: 904000 | #Constraints: 27492
1877.47/1882.91 c #Conflicts: 905000 | #Constraints: 28492
1877.47/1882.91 c #Conflicts: 906000 | #Constraints: 29492
1877.47/1882.91 c #Conflicts: 907000 | #Constraints: 30492
1877.47/1882.91 c #Conflicts: 908000 | #Constraints: 31492
1877.47/1882.91 c #Conflicts: 909000 | #Constraints: 32492
1877.47/1882.91 c #Conflicts: 910000 | #Constraints: 33492
1877.47/1882.91 c #Conflicts: 911000 | #Constraints: 34492
1877.47/1882.91 c #Conflicts: 912000 | #Constraints: 35493
1877.47/1882.91 c #Conflicts: 913000 | #Constraints: 36493
1877.47/1882.91 c #Conflicts: 914000 | #Constraints: 37493
1877.47/1882.91 c #Conflicts: 915000 | #Constraints: 38493
1877.47/1882.91 c #Conflicts: 916000 | #Constraints: 39493
1877.47/1882.91 c #Conflicts: 917000 | #Constraints: 40493
1877.47/1882.91 c #Conflicts: 918000 | #Constraints: 41493
1877.47/1882.91 c #Conflicts: 919000 | #Constraints: 42494
1877.47/1882.91 c #Conflicts: 920000 | #Constraints: 43494
1877.47/1882.91 c #Conflicts: 921000 | #Constraints: 44494
1877.47/1882.91 c #Conflicts: 922000 | #Constraints: 45494
1877.47/1882.91 c INPROCESSING
1877.47/1882.91 c GARBAGE COLLECT
1877.47/1882.91 c #Conflicts: 923000 | #Constraints: 27477
1877.47/1882.91 c #Conflicts: 924000 | #Constraints: 28478
1877.47/1882.91 c #Conflicts: 925000 | #Constraints: 29478
1877.47/1882.91 c #Conflicts: 926000 | #Constraints: 30478
1877.47/1882.91 c #Conflicts: 927000 | #Constraints: 31478
1877.47/1882.91 c #Conflicts: 928000 | #Constraints: 32479
1877.47/1882.91 c #Conflicts: 929000 | #Constraints: 33479
1877.47/1882.91 c #Conflicts: 930000 | #Constraints: 34479
1877.47/1882.91 c #Conflicts: 931000 | #Constraints: 35479
1877.47/1882.91 c #Conflicts: 932000 | #Constraints: 36479
1877.47/1882.91 c #Conflicts: 933000 | #Constraints: 37480
1877.47/1882.91 c #Conflicts: 934000 | #Constraints: 38480
1877.47/1882.91 c #Conflicts: 935000 | #Constraints: 39480
1877.47/1882.91 c #Conflicts: 936000 | #Constraints: 40480
1877.47/1882.91 c #Conflicts: 937000 | #Constraints: 41480
1877.47/1882.91 c #Conflicts: 938000 | #Constraints: 42480
1877.47/1882.91 c #Conflicts: 939000 | #Constraints: 43480
1877.47/1882.91 c #Conflicts: 940000 | #Constraints: 44480
1877.47/1882.91 c #Conflicts: 941000 | #Constraints: 45480
1877.47/1882.91 c INPROCESSING
1877.47/1882.91 c GARBAGE COLLECT
1877.47/1882.91 c rational objective 4501.5
1976.98/1982.70 c #Conflicts: 942000 | #Constraints: 27324
1976.98/1982.70 c #Conflicts: 943000 | #Constraints: 28324
1976.98/1982.70 c #Conflicts: 944000 | #Constraints: 29324
1976.98/1982.70 c #Conflicts: 945000 | #Constraints: 30324
1976.98/1982.70 c #Conflicts: 946000 | #Constraints: 31324
1976.98/1982.70 c #Conflicts: 947000 | #Constraints: 32324
1976.98/1982.70 c #Conflicts: 948000 | #Constraints: 33327
1976.98/1982.70 c #Conflicts: 949000 | #Constraints: 34328
1976.98/1982.70 c #Conflicts: 950000 | #Constraints: 35328
1976.98/1982.70 c #Conflicts: 951000 | #Constraints: 36328
1976.98/1982.70 c #Conflicts: 952000 | #Constraints: 37329
1976.98/1982.70 c #Conflicts: 953000 | #Constraints: 38330
1976.98/1982.70 c #Conflicts: 954000 | #Constraints: 39330
1976.98/1982.70 c #Conflicts: 955000 | #Constraints: 40330
1976.98/1982.70 c #Conflicts: 956000 | #Constraints: 41331
1976.98/1982.70 c #Conflicts: 957000 | #Constraints: 42331
1976.98/1982.70 c #Conflicts: 958000 | #Constraints: 43331
1976.98/1982.70 c #Conflicts: 959000 | #Constraints: 44331
1976.98/1982.70 c #Conflicts: 960000 | #Constraints: 45331
1976.98/1982.70 c #Conflicts: 961000 | #Constraints: 46332
1976.98/1982.70 c INPROCESSING
1976.98/1982.70 c GARBAGE COLLECT
1976.98/1982.70 c #Conflicts: 962000 | #Constraints: 27887
1976.98/1982.70 c #Conflicts: 963000 | #Constraints: 28887
1976.98/1982.70 c #Conflicts: 964000 | #Constraints: 29887
1976.98/1982.70 c #Conflicts: 965000 | #Constraints: 30888
1976.98/1982.70 c #Conflicts: 966000 | #Constraints: 31888
1976.98/1982.70 c #Conflicts: 967000 | #Constraints: 32889
1976.98/1982.70 c #Conflicts: 968000 | #Constraints: 33889
1976.98/1982.70 c #Conflicts: 969000 | #Constraints: 34889
1976.98/1982.70 c #Conflicts: 970000 | #Constraints: 35889
1976.98/1982.70 c #Conflicts: 971000 | #Constraints: 36889
1976.98/1982.70 c #Conflicts: 972000 | #Constraints: 37889
1976.98/1982.70 c #Conflicts: 973000 | #Constraints: 38889
1976.98/1982.70 c #Conflicts: 974000 | #Constraints: 39889
1976.98/1982.70 c #Conflicts: 975000 | #Constraints: 40890
1976.98/1982.70 c #Conflicts: 976000 | #Constraints: 41890
1976.98/1982.70 c #Conflicts: 977000 | #Constraints: 42890
1976.98/1982.70 c #Conflicts: 978000 | #Constraints: 43890
1976.98/1982.70 c #Conflicts: 979000 | #Constraints: 44890
1976.98/1982.70 c #Conflicts: 980000 | #Constraints: 45890
1976.98/1982.70 c #Conflicts: 981000 | #Constraints: 46890
1976.98/1982.70 c INPROCESSING
1976.98/1982.70 c GARBAGE COLLECT
1976.98/1982.70 c #Conflicts: 982000 | #Constraints: 28305
1976.98/1982.70 c #Conflicts: 983000 | #Constraints: 29305
1976.98/1982.70 c #Conflicts: 984000 | #Constraints: 30305
1976.98/1982.70 c #Conflicts: 985000 | #Constraints: 31305
1976.98/1982.70 c #Conflicts: 986000 | #Constraints: 32305
1976.98/1982.70 c #Conflicts: 987000 | #Constraints: 33305
1976.98/1982.70 c #Conflicts: 988000 | #Constraints: 34306
1976.98/1982.70 c #Conflicts: 989000 | #Constraints: 35306
1976.98/1982.70 c #Conflicts: 990000 | #Constraints: 36306
1976.98/1982.70 c #Conflicts: 991000 | #Constraints: 37306
1976.98/1982.70 c #Conflicts: 992000 | #Constraints: 38306
1976.98/1982.70 c #Conflicts: 993000 | #Constraints: 39306
1976.98/1982.70 c #Conflicts: 994000 | #Constraints: 40306
1976.98/1982.70 c #Conflicts: 995000 | #Constraints: 41307
1976.98/1982.70 c #Conflicts: 996000 | #Constraints: 42307
1976.98/1982.70 c #Conflicts: 997000 | #Constraints: 43307
1976.98/1982.70 c #Conflicts: 998000 | #Constraints: 44307
1976.98/1982.70 c #Conflicts: 999000 | #Constraints: 45307
1976.98/1982.70 c #Conflicts: 1000000 | #Constraints: 46307
1976.98/1982.70 c #Conflicts: 1001000 | #Constraints: 47307
1976.98/1982.70 c INPROCESSING
1976.98/1982.70 c GARBAGE COLLECT
1976.98/1982.70 c #Conflicts: 1002000 | #Constraints: 28540
1976.98/1982.70 c #Conflicts: 1003000 | #Constraints: 29540
1976.98/1982.70 c #Conflicts: 1004000 | #Constraints: 30540
1976.98/1982.70 c #Conflicts: 1005000 | #Constraints: 31540
1976.98/1982.70 c #Conflicts: 1006000 | #Constraints: 32540
1976.98/1982.70 c #Conflicts: 1007000 | #Constraints: 33540
1976.98/1982.70 c #Conflicts: 1008000 | #Constraints: 34540
1976.98/1982.70 c #Conflicts: 1009000 | #Constraints: 35540
1976.98/1982.70 c #Conflicts: 1010000 | #Constraints: 36541
1976.98/1982.70 c #Conflicts: 1011000 | #Constraints: 37541
1976.98/1982.70 c #Conflicts: 1012000 | #Constraints: 38541
1976.98/1982.70 c #Conflicts: 1013000 | #Constraints: 39541
1976.98/1982.70 c #Conflicts: 1014000 | #Constraints: 40541
1976.98/1982.70 c #Conflicts: 1015000 | #Constraints: 41541
1976.98/1982.70 c #Conflicts: 1016000 | #Constraints: 42541
1976.98/1982.70 c #Conflicts: 1017000 | #Constraints: 43541
1976.98/1982.70 c #Conflicts: 1018000 | #Constraints: 44541
2020.76/2026.60 c #Conflicts: 1019000 | #Constraints: 45541
2020.76/2026.60 c #Conflicts: 1020000 | #Constraints: 46541
2020.76/2026.60 c #Conflicts: 1021000 | #Constraints: 47541
2020.76/2026.60 c INPROCESSING
2020.76/2026.60 c GARBAGE COLLECT
2020.76/2026.60 c #Conflicts: 1022000 | #Constraints: 28567
2020.76/2026.60 c #Conflicts: 1023000 | #Constraints: 29567
2020.76/2026.60 c #Conflicts: 1024000 | #Constraints: 30567
2020.76/2026.60 c #Conflicts: 1025000 | #Constraints: 31567
2020.76/2026.60 c #Conflicts: 1026000 | #Constraints: 32567
2020.76/2026.60 c #Conflicts: 1027000 | #Constraints: 33567
2020.76/2026.60 c #Conflicts: 1028000 | #Constraints: 34567
2020.76/2026.60 c #Conflicts: 1029000 | #Constraints: 35567
2020.76/2026.60 c #Conflicts: 1030000 | #Constraints: 36567
2020.76/2026.60 c #Conflicts: 1031000 | #Constraints: 37567
2020.76/2026.60 c #Conflicts: 1032000 | #Constraints: 38567
2020.76/2026.60 c #Conflicts: 1033000 | #Constraints: 39567
2020.76/2026.60 c #Conflicts: 1034000 | #Constraints: 40567
2020.76/2026.60 c #Conflicts: 1035000 | #Constraints: 41567
2020.76/2026.60 c #Conflicts: 1036000 | #Constraints: 42567
2020.76/2026.60 c #Conflicts: 1037000 | #Constraints: 43567
2020.76/2026.60 c #Conflicts: 1038000 | #Constraints: 44567
2020.76/2026.60 c #Conflicts: 1039000 | #Constraints: 45567
2020.76/2026.60 c #Conflicts: 1040000 | #Constraints: 46568
2020.76/2026.60 c #Conflicts: 1041000 | #Constraints: 47568
2020.76/2026.60 c INPROCESSING
2020.76/2026.60 c GARBAGE COLLECT
2020.76/2026.60 c rational objective 4501.5
2043.99/2049.96 c #Conflicts: 1042000 | #Constraints: 28384
2043.99/2049.96 c #Conflicts: 1043000 | #Constraints: 29384
2043.99/2049.96 c #Conflicts: 1044000 | #Constraints: 30387
2043.99/2049.96 c #Conflicts: 1045000 | #Constraints: 31387
2043.99/2049.96 c #Conflicts: 1046000 | #Constraints: 32387
2043.99/2049.96 c #Conflicts: 1047000 | #Constraints: 33387
2043.99/2049.96 c #Conflicts: 1048000 | #Constraints: 34387
2043.99/2049.96 c #Conflicts: 1049000 | #Constraints: 35388
2043.99/2049.96 c #Conflicts: 1050000 | #Constraints: 36388
2043.99/2049.96 c #Conflicts: 1051000 | #Constraints: 37389
2043.99/2049.96 c #Conflicts: 1052000 | #Constraints: 38389
2043.99/2049.96 c #Conflicts: 1053000 | #Constraints: 39390
2043.99/2049.96 c #Conflicts: 1054000 | #Constraints: 40390
2043.99/2049.96 c #Conflicts: 1055000 | #Constraints: 41391
2043.99/2049.96 c #Conflicts: 1056000 | #Constraints: 42392
2043.99/2049.96 c #Conflicts: 1057000 | #Constraints: 43392
2043.99/2049.96 c #Conflicts: 1058000 | #Constraints: 44393
2043.99/2049.96 c #Conflicts: 1059000 | #Constraints: 45393
2043.99/2049.96 c #Conflicts: 1060000 | #Constraints: 46393
2043.99/2049.96 c #Conflicts: 1061000 | #Constraints: 47393
2043.99/2049.96 c #Conflicts: 1062000 | #Constraints: 48393
2043.99/2049.96 c INPROCESSING
2043.99/2049.96 c GARBAGE COLLECT
2043.99/2049.96 c rational objective 4501.5
2055.17/2061.17 c #Conflicts: 1063000 | #Constraints: 28931
2055.17/2061.17 c #Conflicts: 1064000 | #Constraints: 29932
2055.17/2061.17 c #Conflicts: 1065000 | #Constraints: 30933
2055.17/2061.17 c #Conflicts: 1066000 | #Constraints: 31934
2055.17/2061.17 c #Conflicts: 1067000 | #Constraints: 32934
2055.17/2061.17 c #Conflicts: 1068000 | #Constraints: 33934
2055.17/2061.17 c #Conflicts: 1069000 | #Constraints: 34935
2055.17/2061.17 c #Conflicts: 1070000 | #Constraints: 35935
2055.17/2061.17 c #Conflicts: 1071000 | #Constraints: 36935
2055.17/2061.17 c #Conflicts: 1072000 | #Constraints: 37935
2055.17/2061.17 c #Conflicts: 1073000 | #Constraints: 38935
2055.17/2061.17 c #Conflicts: 1074000 | #Constraints: 39935
2055.17/2061.17 c #Conflicts: 1075000 | #Constraints: 40936
2055.17/2061.17 c #Conflicts: 1076000 | #Constraints: 41936
2055.17/2061.17 c #Conflicts: 1077000 | #Constraints: 42937
2055.17/2061.17 c #Conflicts: 1078000 | #Constraints: 43937
2055.17/2061.17 c #Conflicts: 1079000 | #Constraints: 44938
2055.17/2061.17 c #Conflicts: 1080000 | #Constraints: 45938
2055.17/2061.17 c #Conflicts: 1081000 | #Constraints: 46938
2055.17/2061.17 c #Conflicts: 1082000 | #Constraints: 47939
2055.17/2061.17 c #Conflicts: 1083000 | #Constraints: 48939
2055.17/2061.17 c INPROCESSING
2055.17/2061.17 c GARBAGE COLLECT
2055.17/2061.17 c rational objective 4501.5
2065.84/2071.82 c #Conflicts: 1084000 | #Constraints: 29283
2065.84/2071.82 c #Conflicts: 1085000 | #Constraints: 30283
2065.84/2071.82 c #Conflicts: 1086000 | #Constraints: 31284
2065.84/2071.82 c #Conflicts: 1087000 | #Constraints: 32286
2065.84/2071.82 c #Conflicts: 1088000 | #Constraints: 33286
2065.84/2071.82 c #Conflicts: 1089000 | #Constraints: 34287
2065.84/2071.82 c #Conflicts: 1090000 | #Constraints: 35287
2065.84/2071.82 c #Conflicts: 1091000 | #Constraints: 36287
2065.84/2071.82 c #Conflicts: 1092000 | #Constraints: 37287
2065.84/2071.82 c #Conflicts: 1093000 | #Constraints: 38287
2065.84/2071.82 c #Conflicts: 1094000 | #Constraints: 39287
2065.84/2071.82 c #Conflicts: 1095000 | #Constraints: 40287
2065.84/2071.82 c #Conflicts: 1096000 | #Constraints: 41287
2065.84/2071.82 c #Conflicts: 1097000 | #Constraints: 42287
2065.84/2071.82 c #Conflicts: 1098000 | #Constraints: 43288
2065.84/2071.82 c #Conflicts: 1099000 | #Constraints: 44288
2065.84/2071.82 c #Conflicts: 1100000 | #Constraints: 45288
2065.84/2071.82 c #Conflicts: 1101000 | #Constraints: 46289
2065.84/2071.82 c #Conflicts: 1102000 | #Constraints: 47289
2065.84/2071.82 c #Conflicts: 1103000 | #Constraints: 48290
2065.84/2071.82 c #Conflicts: 1104000 | #Constraints: 49290
2065.84/2071.82 c INPROCESSING
2065.84/2071.82 c GARBAGE COLLECT
2065.84/2071.82 c rational objective 4501.5
2083.99/2090.01 c #Conflicts: 1105000 | #Constraints: 29474
2083.99/2090.01 c #Conflicts: 1106000 | #Constraints: 30474
2083.99/2090.01 c #Conflicts: 1107000 | #Constraints: 31474
2083.99/2090.01 c #Conflicts: 1108000 | #Constraints: 32474
2083.99/2090.01 c #Conflicts: 1109000 | #Constraints: 33474
2083.99/2090.01 c #Conflicts: 1110000 | #Constraints: 34475
2083.99/2090.01 c #Conflicts: 1111000 | #Constraints: 35476
2083.99/2090.01 c #Conflicts: 1112000 | #Constraints: 36476
2083.99/2090.01 c #Conflicts: 1113000 | #Constraints: 37476
2083.99/2090.01 c #Conflicts: 1114000 | #Constraints: 38477
2083.99/2090.01 c #Conflicts: 1115000 | #Constraints: 39478
2083.99/2090.01 c #Conflicts: 1116000 | #Constraints: 40479
2083.99/2090.01 c #Conflicts: 1117000 | #Constraints: 41480
2083.99/2090.01 c #Conflicts: 1118000 | #Constraints: 42481
2083.99/2090.01 c #Conflicts: 1119000 | #Constraints: 43481
2083.99/2090.01 c #Conflicts: 1120000 | #Constraints: 44482
2083.99/2090.01 c #Conflicts: 1121000 | #Constraints: 45482
2083.99/2090.01 c #Conflicts: 1122000 | #Constraints: 46482
2083.99/2090.01 c #Conflicts: 1123000 | #Constraints: 47484
2083.99/2090.01 c #Conflicts: 1124000 | #Constraints: 48484
2083.99/2090.01 c #Conflicts: 1125000 | #Constraints: 49484
2083.99/2090.01 c INPROCESSING
2083.99/2090.01 c GARBAGE COLLECT
2083.99/2090.01 c rational objective 4501.5
2091.97/2098.10 c #Conflicts: 1126000 | #Constraints: 29468
2091.97/2098.10 c #Conflicts: 1127000 | #Constraints: 30468
2091.97/2098.10 c #Conflicts: 1128000 | #Constraints: 31468
2091.97/2098.10 c #Conflicts: 1129000 | #Constraints: 32468
2091.97/2098.10 c #Conflicts: 1130000 | #Constraints: 33468
2091.97/2098.10 c #Conflicts: 1131000 | #Constraints: 34468
2091.97/2098.10 c #Conflicts: 1132000 | #Constraints: 35470
2091.97/2098.10 c #Conflicts: 1133000 | #Constraints: 36472
2091.97/2098.10 c #Conflicts: 1134000 | #Constraints: 37472
2091.97/2098.10 c #Conflicts: 1135000 | #Constraints: 38473
2091.97/2098.10 c #Conflicts: 1136000 | #Constraints: 39473
2091.97/2098.10 c #Conflicts: 1137000 | #Constraints: 40473
2091.97/2098.10 c #Conflicts: 1138000 | #Constraints: 41473
2091.97/2098.10 c #Conflicts: 1139000 | #Constraints: 42473
2091.97/2098.10 c #Conflicts: 1140000 | #Constraints: 43473
2091.97/2098.10 c #Conflicts: 1141000 | #Constraints: 44474
2091.97/2098.10 c #Conflicts: 1142000 | #Constraints: 45474
2091.97/2098.10 c #Conflicts: 1143000 | #Constraints: 46475
2091.97/2098.10 c #Conflicts: 1144000 | #Constraints: 47475
2091.97/2098.10 c #Conflicts: 1145000 | #Constraints: 48476
2091.97/2098.10 c #Conflicts: 1146000 | #Constraints: 49476
2091.97/2098.10 c INPROCESSING
2091.97/2098.10 c GARBAGE COLLECT
2091.97/2098.10 c rational objective 4501.5
2126.57/2132.71 c #Conflicts: 1147000 | #Constraints: 29239
2126.57/2132.71 c #Conflicts: 1148000 | #Constraints: 30239
2126.57/2132.71 c #Conflicts: 1149000 | #Constraints: 31239
2126.57/2132.71 c #Conflicts: 1150000 | #Constraints: 32239
2126.57/2132.71 c #Conflicts: 1151000 | #Constraints: 33239
2126.57/2132.71 c #Conflicts: 1152000 | #Constraints: 34239
2126.57/2132.71 c #Conflicts: 1153000 | #Constraints: 35239
2126.57/2132.71 c #Conflicts: 1154000 | #Constraints: 36241
2126.57/2132.71 c #Conflicts: 1155000 | #Constraints: 37241
2126.57/2132.71 c #Conflicts: 1156000 | #Constraints: 38242
2126.57/2132.71 c #Conflicts: 1157000 | #Constraints: 39242
2126.57/2132.71 c #Conflicts: 1158000 | #Constraints: 40242
2126.57/2132.71 c #Conflicts: 1159000 | #Constraints: 41242
2126.57/2132.71 c #Conflicts: 1160000 | #Constraints: 42242
2126.57/2132.71 c #Conflicts: 1161000 | #Constraints: 43242
2126.57/2132.71 c #Conflicts: 1162000 | #Constraints: 44242
2126.57/2132.71 c #Conflicts: 1163000 | #Constraints: 45242
2126.57/2132.71 c #Conflicts: 1164000 | #Constraints: 46242
2126.57/2132.71 c #Conflicts: 1165000 | #Constraints: 47242
2126.57/2132.71 c #Conflicts: 1166000 | #Constraints: 48242
2126.57/2132.71 c #Conflicts: 1167000 | #Constraints: 49242
2126.57/2132.71 c #Conflicts: 1168000 | #Constraints: 50242
2126.57/2132.71 c INPROCESSING
2126.57/2132.71 c GARBAGE COLLECT
2126.57/2132.71 c rational objective 4501.5
2148.81/2155.05 c #Conflicts: 1169000 | #Constraints: 29843
2148.81/2155.05 c #Conflicts: 1170000 | #Constraints: 30843
2148.81/2155.05 c #Conflicts: 1171000 | #Constraints: 31843
2148.81/2155.05 c #Conflicts: 1172000 | #Constraints: 32843
2148.81/2155.05 c #Conflicts: 1173000 | #Constraints: 33843
2148.81/2155.05 c #Conflicts: 1174000 | #Constraints: 34844
2148.81/2155.05 c #Conflicts: 1175000 | #Constraints: 35844
2148.81/2155.05 c #Conflicts: 1176000 | #Constraints: 36844
2148.81/2155.05 c #Conflicts: 1177000 | #Constraints: 37844
2148.81/2155.05 c #Conflicts: 1178000 | #Constraints: 38844
2148.81/2155.05 c #Conflicts: 1179000 | #Constraints: 39844
2148.81/2155.05 c #Conflicts: 1180000 | #Constraints: 40844
2148.81/2155.05 c #Conflicts: 1181000 | #Constraints: 41844
2148.81/2155.05 c #Conflicts: 1182000 | #Constraints: 42844
2148.81/2155.05 c #Conflicts: 1183000 | #Constraints: 43844
2148.81/2155.05 c #Conflicts: 1184000 | #Constraints: 44844
2148.81/2155.05 c #Conflicts: 1185000 | #Constraints: 45844
2148.81/2155.05 c #Conflicts: 1186000 | #Constraints: 46844
2148.81/2155.05 c #Conflicts: 1187000 | #Constraints: 47844
2148.81/2155.05 c #Conflicts: 1188000 | #Constraints: 48845
2148.81/2155.05 c #Conflicts: 1189000 | #Constraints: 49845
2148.81/2155.05 c #Conflicts: 1190000 | #Constraints: 50845
2148.81/2155.05 c INPROCESSING
2148.81/2155.05 c GARBAGE COLLECT
2148.81/2155.05 c rational objective 4501.5
2203.27/2209.64 c #Conflicts: 1191000 | #Constraints: 30217
2203.27/2209.64 c #Conflicts: 1192000 | #Constraints: 31217
2203.27/2209.64 c #Conflicts: 1193000 | #Constraints: 32217
2203.27/2209.64 c #Conflicts: 1194000 | #Constraints: 33217
2203.27/2209.64 c #Conflicts: 1195000 | #Constraints: 34217
2203.27/2209.64 c #Conflicts: 1196000 | #Constraints: 35217
2203.27/2209.64 c #Conflicts: 1197000 | #Constraints: 36217
2203.27/2209.64 c #Conflicts: 1198000 | #Constraints: 37217
2203.27/2209.64 c #Conflicts: 1199000 | #Constraints: 38217
2203.27/2209.64 c #Conflicts: 1200000 | #Constraints: 39217
2203.27/2209.64 c #Conflicts: 1201000 | #Constraints: 40217
2203.27/2209.64 c #Conflicts: 1202000 | #Constraints: 41217
2203.27/2209.64 c #Conflicts: 1203000 | #Constraints: 42217
2203.27/2209.64 c #Conflicts: 1204000 | #Constraints: 43217
2203.27/2209.64 c #Conflicts: 1205000 | #Constraints: 44217
2203.27/2209.64 c #Conflicts: 1206000 | #Constraints: 45217
2203.27/2209.64 c #Conflicts: 1207000 | #Constraints: 46217
2203.27/2209.64 c #Conflicts: 1208000 | #Constraints: 47217
2203.27/2209.64 c #Conflicts: 1209000 | #Constraints: 48217
2203.27/2209.64 c #Conflicts: 1210000 | #Constraints: 49217
2203.27/2209.64 c #Conflicts: 1211000 | #Constraints: 50217
2203.27/2209.64 c #Conflicts: 1212000 | #Constraints: 51217
2203.27/2209.64 c INPROCESSING
2203.27/2209.64 c GARBAGE COLLECT
2203.27/2209.64 c rational objective 4501.5
2319.45/2326.17 c #Conflicts: 1213000 | #Constraints: 30425
2319.45/2326.17 c #Conflicts: 1214000 | #Constraints: 31425
2319.45/2326.17 c #Conflicts: 1215000 | #Constraints: 32426
2319.45/2326.17 c #Conflicts: 1216000 | #Constraints: 33426
2319.45/2326.17 c #Conflicts: 1217000 | #Constraints: 34426
2319.45/2326.17 c #Conflicts: 1218000 | #Constraints: 35426
2319.45/2326.17 c #Conflicts: 1219000 | #Constraints: 36426
2319.45/2326.17 c #Conflicts: 1220000 | #Constraints: 37426
2319.45/2326.17 c #Conflicts: 1221000 | #Constraints: 38426
2319.45/2326.17 c #Conflicts: 1222000 | #Constraints: 39426
2319.45/2326.17 c #Conflicts: 1223000 | #Constraints: 40426
2319.45/2326.17 c #Conflicts: 1224000 | #Constraints: 41426
2319.45/2326.17 c #Conflicts: 1225000 | #Constraints: 42426
2319.45/2326.17 c #Conflicts: 1226000 | #Constraints: 43426
2319.45/2326.17 c #Conflicts: 1227000 | #Constraints: 44426
2319.45/2326.17 c #Conflicts: 1228000 | #Constraints: 45426
2319.45/2326.17 c #Conflicts: 1229000 | #Constraints: 46426
2319.45/2326.17 c #Conflicts: 1230000 | #Constraints: 47426
2319.45/2326.17 c #Conflicts: 1231000 | #Constraints: 48427
2319.45/2326.17 c #Conflicts: 1232000 | #Constraints: 49427
2319.45/2326.17 c #Conflicts: 1233000 | #Constraints: 50427
2319.45/2326.17 c #Conflicts: 1234000 | #Constraints: 51427
2319.45/2326.17 c INPROCESSING
2319.45/2326.17 c GARBAGE COLLECT
2319.45/2326.17 c rational objective 4501.5
2430.22/2437.25 c #Conflicts: 1235000 | #Constraints: 30410
2430.22/2437.25 c #Conflicts: 1236000 | #Constraints: 31410
2430.22/2437.25 c #Conflicts: 1237000 | #Constraints: 32410
2430.22/2437.25 c #Conflicts: 1238000 | #Constraints: 33410
2430.22/2437.25 c #Conflicts: 1239000 | #Constraints: 34410
2430.22/2437.25 c #Conflicts: 1240000 | #Constraints: 35410
2430.22/2437.25 c #Conflicts: 1241000 | #Constraints: 36410
2430.22/2437.25 c #Conflicts: 1242000 | #Constraints: 37410
2430.22/2437.25 c #Conflicts: 1243000 | #Constraints: 38411
2430.22/2437.25 c #Conflicts: 1244000 | #Constraints: 39411
2430.22/2437.25 c #Conflicts: 1245000 | #Constraints: 40411
2430.22/2437.25 c #Conflicts: 1246000 | #Constraints: 41411
2430.22/2437.25 c #Conflicts: 1247000 | #Constraints: 42411
2430.22/2437.25 c #Conflicts: 1248000 | #Constraints: 43411
2430.22/2437.25 c #Conflicts: 1249000 | #Constraints: 44411
2430.22/2437.25 c #Conflicts: 1250000 | #Constraints: 45411
2430.22/2437.25 c #Conflicts: 1251000 | #Constraints: 46411
2430.22/2437.25 c #Conflicts: 1252000 | #Constraints: 47411
2430.22/2437.25 c #Conflicts: 1253000 | #Constraints: 48411
2430.22/2437.25 c #Conflicts: 1254000 | #Constraints: 49411
2430.22/2437.25 c #Conflicts: 1255000 | #Constraints: 50411
2430.22/2437.25 c #Conflicts: 1256000 | #Constraints: 51411
2430.22/2437.25 c INPROCESSING
2430.22/2437.25 c GARBAGE COLLECT
2430.22/2437.25 c #Conflicts: 1257000 | #Constraints: 30213
2430.22/2437.25 c #Conflicts: 1258000 | #Constraints: 31213
2430.22/2437.25 c #Conflicts: 1259000 | #Constraints: 32213
2430.22/2437.25 c #Conflicts: 1260000 | #Constraints: 33213
2430.22/2437.25 c #Conflicts: 1261000 | #Constraints: 34213
2430.22/2437.25 c #Conflicts: 1262000 | #Constraints: 35213
2430.22/2437.25 c #Conflicts: 1263000 | #Constraints: 36213
2430.22/2437.25 c #Conflicts: 1264000 | #Constraints: 37213
2430.22/2437.25 c #Conflicts: 1265000 | #Constraints: 38213
2430.22/2437.25 c #Conflicts: 1266000 | #Constraints: 39213
2430.22/2437.25 c #Conflicts: 1267000 | #Constraints: 40213
2430.22/2437.25 c #Conflicts: 1268000 | #Constraints: 41213
2430.22/2437.25 c #Conflicts: 1269000 | #Constraints: 42213
2430.22/2437.25 c #Conflicts: 1270000 | #Constraints: 43213
2430.22/2437.25 c #Conflicts: 1271000 | #Constraints: 44213
2430.22/2437.25 c #Conflicts: 1272000 | #Constraints: 45213
2430.22/2437.25 c #Conflicts: 1273000 | #Constraints: 46213
2430.22/2437.25 c #Conflicts: 1274000 | #Constraints: 47213
2430.22/2437.25 c #Conflicts: 1275000 | #Constraints: 48213
2430.22/2437.25 c #Conflicts: 1276000 | #Constraints: 49213
2430.22/2437.25 c #Conflicts: 1277000 | #Constraints: 50213
2430.22/2437.25 c #Conflicts: 1278000 | #Constraints: 51213
2430.22/2437.25 c #Conflicts: 1279000 | #Constraints: 52213
2430.22/2437.25 c INPROCESSING
2430.22/2437.25 c GARBAGE COLLECT
2430.22/2437.25 c #Conflicts: 1280000 | #Constraints: 30807
2430.22/2437.25 c #Conflicts: 1281000 | #Constraints: 31807
2430.22/2437.25 c #Conflicts: 1282000 | #Constraints: 32807
2430.22/2437.25 c #Conflicts: 1283000 | #Constraints: 33807
2430.22/2437.25 c #Conflicts: 1284000 | #Constraints: 34807
2430.22/2437.25 c #Conflicts: 1285000 | #Constraints: 35807
2430.22/2437.25 c #Conflicts: 1286000 | #Constraints: 36807
2430.22/2437.25 c #Conflicts: 1287000 | #Constraints: 37807
2430.22/2437.25 c #Conflicts: 1288000 | #Constraints: 38807
2430.22/2437.25 c #Conflicts: 1289000 | #Constraints: 39807
2430.22/2437.25 c #Conflicts: 1290000 | #Constraints: 40809
2430.22/2437.25 c #Conflicts: 1291000 | #Constraints: 41809
2430.22/2437.25 c #Conflicts: 1292000 | #Constraints: 42809
2430.22/2437.25 c #Conflicts: 1293000 | #Constraints: 43809
2430.22/2437.25 c #Conflicts: 1294000 | #Constraints: 44809
2430.22/2437.25 c #Conflicts: 1295000 | #Constraints: 45810
2430.22/2437.25 c #Conflicts: 1296000 | #Constraints: 46810
2430.22/2437.25 c #Conflicts: 1297000 | #Constraints: 47810
2430.22/2437.25 c #Conflicts: 1298000 | #Constraints: 48810
2430.22/2437.25 c #Conflicts: 1299000 | #Constraints: 49810
2430.22/2437.25 c #Conflicts: 1300000 | #Constraints: 50810
2430.22/2437.25 c #Conflicts: 1301000 | #Constraints: 51810
2430.22/2437.25 c #Conflicts: 1302000 | #Constraints: 52811
2430.22/2437.25 c INPROCESSING
2430.22/2437.25 c GARBAGE COLLECT
2430.22/2437.25 c #Conflicts: 1303000 | #Constraints: 31288
2430.22/2437.25 c #Conflicts: 1304000 | #Constraints: 32288
2430.22/2437.25 c #Conflicts: 1305000 | #Constraints: 33288
2430.22/2437.25 c #Conflicts: 1306000 | #Constraints: 34288
2430.22/2437.25 c #Conflicts: 1307000 | #Constraints: 35289
2430.22/2437.25 c #Conflicts: 1308000 | #Constraints: 36289
2430.22/2437.25 c #Conflicts: 1309000 | #Constraints: 37289
2430.22/2437.25 c #Conflicts: 1310000 | #Constraints: 38289
2430.22/2437.25 c #Conflicts: 1311000 | #Constraints: 39289
2450.67/2457.72 c #Conflicts: 1312000 | #Constraints: 40289
2450.67/2457.72 c #Conflicts: 1313000 | #Constraints: 41289
2450.67/2457.72 c #Conflicts: 1314000 | #Constraints: 42289
2450.67/2457.72 c #Conflicts: 1315000 | #Constraints: 43289
2450.67/2457.72 c #Conflicts: 1316000 | #Constraints: 44289
2450.67/2457.72 c #Conflicts: 1317000 | #Constraints: 45289
2450.67/2457.72 c #Conflicts: 1318000 | #Constraints: 46289
2450.67/2457.72 c #Conflicts: 1319000 | #Constraints: 47290
2450.67/2457.72 c #Conflicts: 1320000 | #Constraints: 48290
2450.67/2457.72 c #Conflicts: 1321000 | #Constraints: 49290
2450.67/2457.72 c #Conflicts: 1322000 | #Constraints: 50290
2450.67/2457.72 c #Conflicts: 1323000 | #Constraints: 51290
2450.67/2457.72 c #Conflicts: 1324000 | #Constraints: 52290
2450.67/2457.72 c #Conflicts: 1325000 | #Constraints: 53290
2450.67/2457.72 c INPROCESSING
2450.67/2457.72 c GARBAGE COLLECT
2450.67/2457.72 c #Conflicts: 1326000 | #Constraints: 31560
2450.67/2457.72 c #Conflicts: 1327000 | #Constraints: 32560
2450.67/2457.72 c #Conflicts: 1328000 | #Constraints: 33560
2450.67/2457.72 c #Conflicts: 1329000 | #Constraints: 34560
2450.67/2457.72 c #Conflicts: 1330000 | #Constraints: 35560
2450.67/2457.72 c #Conflicts: 1331000 | #Constraints: 36560
2450.67/2457.72 c #Conflicts: 1332000 | #Constraints: 37560
2450.67/2457.72 c #Conflicts: 1333000 | #Constraints: 38560
2450.67/2457.72 c #Conflicts: 1334000 | #Constraints: 39560
2450.67/2457.72 c #Conflicts: 1335000 | #Constraints: 40560
2450.67/2457.72 c #Conflicts: 1336000 | #Constraints: 41560
2450.67/2457.72 c #Conflicts: 1337000 | #Constraints: 42560
2450.67/2457.72 c #Conflicts: 1338000 | #Constraints: 43560
2450.67/2457.72 c #Conflicts: 1339000 | #Constraints: 44560
2450.67/2457.72 c #Conflicts: 1340000 | #Constraints: 45560
2450.67/2457.72 c #Conflicts: 1341000 | #Constraints: 46561
2450.67/2457.72 c #Conflicts: 1342000 | #Constraints: 47561
2450.67/2457.72 c #Conflicts: 1343000 | #Constraints: 48562
2450.67/2457.72 c #Conflicts: 1344000 | #Constraints: 49562
2450.67/2457.72 c #Conflicts: 1345000 | #Constraints: 50562
2450.67/2457.72 c #Conflicts: 1346000 | #Constraints: 51562
2450.67/2457.72 c #Conflicts: 1347000 | #Constraints: 52562
2450.67/2457.72 c #Conflicts: 1348000 | #Constraints: 53563
2450.67/2457.72 c INPROCESSING
2450.67/2457.72 c GARBAGE COLLECT
2450.67/2457.72 c rational objective 4501.5
2497.33/2504.50 c #Conflicts: 1349000 | #Constraints: 31630
2497.33/2504.50 c #Conflicts: 1350000 | #Constraints: 32630
2497.33/2504.50 c #Conflicts: 1351000 | #Constraints: 33633
2497.33/2504.50 c #Conflicts: 1352000 | #Constraints: 34634
2497.33/2504.50 c #Conflicts: 1353000 | #Constraints: 35634
2497.33/2504.50 c #Conflicts: 1354000 | #Constraints: 36635
2497.33/2504.50 c #Conflicts: 1355000 | #Constraints: 37635
2497.33/2504.50 c #Conflicts: 1356000 | #Constraints: 38635
2497.33/2504.50 c #Conflicts: 1357000 | #Constraints: 39635
2497.33/2504.50 c #Conflicts: 1358000 | #Constraints: 40635
2497.33/2504.50 c #Conflicts: 1359000 | #Constraints: 41635
2497.33/2504.50 c #Conflicts: 1360000 | #Constraints: 42635
2497.33/2504.50 c #Conflicts: 1361000 | #Constraints: 43635
2497.33/2504.50 c #Conflicts: 1362000 | #Constraints: 44635
2497.33/2504.50 c #Conflicts: 1363000 | #Constraints: 45635
2497.33/2504.50 c #Conflicts: 1364000 | #Constraints: 46635
2497.33/2504.50 c #Conflicts: 1365000 | #Constraints: 47635
2497.33/2504.50 c #Conflicts: 1366000 | #Constraints: 48635
2497.33/2504.50 c #Conflicts: 1367000 | #Constraints: 49636
2497.33/2504.50 c #Conflicts: 1368000 | #Constraints: 50636
2497.33/2504.50 c #Conflicts: 1369000 | #Constraints: 51636
2497.33/2504.50 c #Conflicts: 1370000 | #Constraints: 52636
2497.33/2504.50 c #Conflicts: 1371000 | #Constraints: 53636
2497.33/2504.50 c INPROCESSING
2497.33/2504.50 c GARBAGE COLLECT
2497.33/2504.50 c #Conflicts: 1372000 | #Constraints: 31319
2497.33/2504.50 c #Conflicts: 1373000 | #Constraints: 32320
2497.33/2504.50 c #Conflicts: 1374000 | #Constraints: 33320
2497.33/2504.50 c #Conflicts: 1375000 | #Constraints: 34320
2497.33/2504.50 c #Conflicts: 1376000 | #Constraints: 35320
2497.33/2504.50 c #Conflicts: 1377000 | #Constraints: 36320
2497.33/2504.50 c #Conflicts: 1378000 | #Constraints: 37320
2497.33/2504.50 c #Conflicts: 1379000 | #Constraints: 38320
2497.33/2504.50 c #Conflicts: 1380000 | #Constraints: 39320
2497.33/2504.50 c #Conflicts: 1381000 | #Constraints: 40320
2497.33/2504.50 c #Conflicts: 1382000 | #Constraints: 41320
2497.33/2504.50 c #Conflicts: 1383000 | #Constraints: 42320
2497.33/2504.50 c #Conflicts: 1384000 | #Constraints: 43320
2497.33/2504.50 c #Conflicts: 1385000 | #Constraints: 44320
2497.33/2504.50 c #Conflicts: 1386000 | #Constraints: 45320
2497.33/2504.50 c #Conflicts: 1387000 | #Constraints: 46320
2497.33/2504.50 c #Conflicts: 1388000 | #Constraints: 47320
2497.33/2504.50 c #Conflicts: 1389000 | #Constraints: 48320
2497.33/2504.50 c #Conflicts: 1390000 | #Constraints: 49320
2497.33/2504.50 c #Conflicts: 1391000 | #Constraints: 50320
2497.33/2504.50 c #Conflicts: 1392000 | #Constraints: 51320
2497.33/2504.50 c #Conflicts: 1393000 | #Constraints: 52320
2497.33/2504.50 c #Conflicts: 1394000 | #Constraints: 53320
2497.33/2504.50 c #Conflicts: 1395000 | #Constraints: 54320
2497.33/2504.50 c INPROCESSING
2497.33/2504.50 c GARBAGE COLLECT
2497.33/2504.50 c rational objective 4501.5
2546.88/2554.22 c #Conflicts: 1396000 | #Constraints: 31863
2546.88/2554.22 c #Conflicts: 1397000 | #Constraints: 32863
2546.88/2554.22 c #Conflicts: 1398000 | #Constraints: 33864
2546.88/2554.22 c #Conflicts: 1399000 | #Constraints: 34864
2546.88/2554.22 c #Conflicts: 1400000 | #Constraints: 35864
2546.88/2554.22 c #Conflicts: 1401000 | #Constraints: 36864
2546.88/2554.22 c #Conflicts: 1402000 | #Constraints: 37864
2546.88/2554.22 c #Conflicts: 1403000 | #Constraints: 38864
2546.88/2554.22 c #Conflicts: 1404000 | #Constraints: 39864
2546.88/2554.22 c #Conflicts: 1405000 | #Constraints: 40864
2546.88/2554.22 c #Conflicts: 1406000 | #Constraints: 41864
2546.88/2554.22 c #Conflicts: 1407000 | #Constraints: 42865
2546.88/2554.22 c #Conflicts: 1408000 | #Constraints: 43865
2546.88/2554.22 c #Conflicts: 1409000 | #Constraints: 44865
2546.88/2554.22 c #Conflicts: 1410000 | #Constraints: 45865
2546.88/2554.22 c #Conflicts: 1411000 | #Constraints: 46865
2546.88/2554.22 c #Conflicts: 1412000 | #Constraints: 47865
2546.88/2554.22 c #Conflicts: 1413000 | #Constraints: 48865
2546.88/2554.22 c #Conflicts: 1414000 | #Constraints: 49865
2546.88/2554.22 c #Conflicts: 1415000 | #Constraints: 50865
2546.88/2554.22 c #Conflicts: 1416000 | #Constraints: 51865
2546.88/2554.22 c #Conflicts: 1417000 | #Constraints: 52865
2546.88/2554.22 c #Conflicts: 1418000 | #Constraints: 53865
2546.88/2554.22 c #Conflicts: 1419000 | #Constraints: 54865
2546.88/2554.22 c INPROCESSING
2546.88/2554.22 c GARBAGE COLLECT
2546.88/2554.22 c rational objective 4501.5
2627.57/2635.16 c #Conflicts: 1420000 | #Constraints: 32393
2627.57/2635.16 c #Conflicts: 1421000 | #Constraints: 33393
2627.57/2635.16 c #Conflicts: 1422000 | #Constraints: 34393
2627.57/2635.16 c #Conflicts: 1423000 | #Constraints: 35393
2627.57/2635.16 c #Conflicts: 1424000 | #Constraints: 36393
2627.57/2635.16 c #Conflicts: 1425000 | #Constraints: 37393
2627.57/2635.16 c #Conflicts: 1426000 | #Constraints: 38393
2627.57/2635.16 c #Conflicts: 1427000 | #Constraints: 39393
2627.57/2635.16 c #Conflicts: 1428000 | #Constraints: 40393
2627.57/2635.16 c #Conflicts: 1429000 | #Constraints: 41393
2627.57/2635.16 c #Conflicts: 1430000 | #Constraints: 42393
2627.57/2635.16 c #Conflicts: 1431000 | #Constraints: 43393
2627.57/2635.16 c #Conflicts: 1432000 | #Constraints: 44393
2627.57/2635.16 c #Conflicts: 1433000 | #Constraints: 45393
2627.57/2635.16 c #Conflicts: 1434000 | #Constraints: 46393
2627.57/2635.16 c #Conflicts: 1435000 | #Constraints: 47393
2627.57/2635.16 c #Conflicts: 1436000 | #Constraints: 48393
2627.57/2635.16 c #Conflicts: 1437000 | #Constraints: 49393
2627.57/2635.16 c #Conflicts: 1438000 | #Constraints: 50393
2627.57/2635.16 c #Conflicts: 1439000 | #Constraints: 51393
2627.57/2635.16 c #Conflicts: 1440000 | #Constraints: 52393
2627.57/2635.16 c #Conflicts: 1441000 | #Constraints: 53393
2627.57/2635.16 c #Conflicts: 1442000 | #Constraints: 54393
2627.57/2635.16 c #Conflicts: 1443000 | #Constraints: 55393
2627.57/2635.16 c INPROCESSING
2627.57/2635.16 c GARBAGE COLLECT
2627.57/2635.16 c rational objective 4501.5
2954.39/2962.98 c #Conflicts: 1444000 | #Constraints: 32498
2954.39/2962.98 c #Conflicts: 1445000 | #Constraints: 33498
2954.39/2962.98 c #Conflicts: 1446000 | #Constraints: 34498
2954.39/2962.98 c #Conflicts: 1447000 | #Constraints: 35498
2954.39/2962.98 c #Conflicts: 1448000 | #Constraints: 36498
2954.39/2962.98 c #Conflicts: 1449000 | #Constraints: 37498
2954.39/2962.98 c #Conflicts: 1450000 | #Constraints: 38499
2954.39/2962.98 c #Conflicts: 1451000 | #Constraints: 39499
2954.39/2962.98 c #Conflicts: 1452000 | #Constraints: 40499
2954.39/2962.98 c #Conflicts: 1453000 | #Constraints: 41499
2954.39/2962.98 c #Conflicts: 1454000 | #Constraints: 42499
2954.39/2962.98 c #Conflicts: 1455000 | #Constraints: 43499
2954.39/2962.98 c #Conflicts: 1456000 | #Constraints: 44499
2954.39/2962.98 c #Conflicts: 1457000 | #Constraints: 45499
2954.39/2962.98 c #Conflicts: 1458000 | #Constraints: 46499
2954.39/2962.98 c #Conflicts: 1459000 | #Constraints: 47499
2954.39/2962.98 c #Conflicts: 1460000 | #Constraints: 48499
2954.39/2962.98 c #Conflicts: 1461000 | #Constraints: 49499
2954.39/2962.98 c #Conflicts: 1462000 | #Constraints: 50499
2954.39/2962.98 c #Conflicts: 1463000 | #Constraints: 51499
2954.39/2962.98 c #Conflicts: 1464000 | #Constraints: 52499
2954.39/2962.98 c #Conflicts: 1465000 | #Constraints: 53499
2954.39/2962.98 c #Conflicts: 1466000 | #Constraints: 54499
2954.39/2962.98 c #Conflicts: 1467000 | #Constraints: 55499
2954.39/2962.98 c INPROCESSING
2954.39/2962.98 c GARBAGE COLLECT
2954.39/2962.98 c #Conflicts: 1468000 | #Constraints: 32452
2954.39/2962.98 c #Conflicts: 1469000 | #Constraints: 33453
2954.39/2962.98 c #Conflicts: 1470000 | #Constraints: 34453
2954.39/2962.98 c #Conflicts: 1471000 | #Constraints: 35453
2954.39/2962.98 c #Conflicts: 1472000 | #Constraints: 36453
2954.39/2962.98 c #Conflicts: 1473000 | #Constraints: 37453
2954.39/2962.98 c #Conflicts: 1474000 | #Constraints: 38453
2954.39/2962.98 c #Conflicts: 1475000 | #Constraints: 39453
2954.39/2962.98 c #Conflicts: 1476000 | #Constraints: 40453
2954.39/2962.98 c #Conflicts: 1477000 | #Constraints: 41453
2954.39/2962.98 c #Conflicts: 1478000 | #Constraints: 42453
2954.39/2962.98 c #Conflicts: 1479000 | #Constraints: 43453
2954.39/2962.98 c #Conflicts: 1480000 | #Constraints: 44453
2954.39/2962.98 c #Conflicts: 1481000 | #Constraints: 45453
2954.39/2962.98 c #Conflicts: 1482000 | #Constraints: 46453
2954.39/2962.98 c #Conflicts: 1483000 | #Constraints: 47453
2954.39/2962.98 c #Conflicts: 1484000 | #Constraints: 48453
2954.39/2962.98 c #Conflicts: 1485000 | #Constraints: 49454
2954.39/2962.98 c #Conflicts: 1486000 | #Constraints: 50454
2954.39/2962.98 c #Conflicts: 1487000 | #Constraints: 51454
2954.39/2962.98 c #Conflicts: 1488000 | #Constraints: 52454
2954.39/2962.98 c #Conflicts: 1489000 | #Constraints: 53454
2954.39/2962.98 c #Conflicts: 1490000 | #Constraints: 54454
2954.39/2962.98 c #Conflicts: 1491000 | #Constraints: 55454
2954.39/2962.98 c INPROCESSING
2954.39/2962.98 c GARBAGE COLLECT
2954.39/2962.98 c #Conflicts: 1492000 | #Constraints: 32483
2954.39/2962.98 c #Conflicts: 1493000 | #Constraints: 33483
2954.39/2962.98 c #Conflicts: 1494000 | #Constraints: 34483
2954.39/2962.98 c #Conflicts: 1495000 | #Constraints: 35483
2954.39/2962.98 c #Conflicts: 1496000 | #Constraints: 36483
2954.39/2962.98 c #Conflicts: 1497000 | #Constraints: 37483
2954.39/2962.98 c #Conflicts: 1498000 | #Constraints: 38483
2954.39/2962.98 c #Conflicts: 1499000 | #Constraints: 39483
2954.39/2962.98 c #Conflicts: 1500000 | #Constraints: 40483
2954.39/2962.98 c #Conflicts: 1501000 | #Constraints: 41483
2954.39/2962.98 c #Conflicts: 1502000 | #Constraints: 42483
2954.39/2962.98 c #Conflicts: 1503000 | #Constraints: 43483
2954.39/2962.98 c #Conflicts: 1504000 | #Constraints: 44483
2954.39/2962.98 c #Conflicts: 1505000 | #Constraints: 45483
2954.39/2962.98 c #Conflicts: 1506000 | #Constraints: 46483
2954.39/2962.98 c #Conflicts: 1507000 | #Constraints: 47483
2954.39/2962.98 c #Conflicts: 1508000 | #Constraints: 48483
2954.39/2962.98 c #Conflicts: 1509000 | #Constraints: 49483
2954.39/2962.98 c #Conflicts: 1510000 | #Constraints: 50483
2954.39/2962.98 c #Conflicts: 1511000 | #Constraints: 51483
2954.39/2962.98 c #Conflicts: 1512000 | #Constraints: 52483
2954.39/2962.98 c #Conflicts: 1513000 | #Constraints: 53483
2954.39/2962.98 c #Conflicts: 1514000 | #Constraints: 54483
2954.39/2962.98 c #Conflicts: 1515000 | #Constraints: 55483
2954.39/2962.98 c #Conflicts: 1516000 | #Constraints: 56483
2954.39/2962.98 c INPROCESSING
2954.39/2962.98 c GARBAGE COLLECT
2954.39/2962.98 c #Conflicts: 1517000 | #Constraints: 32978
2954.39/2962.98 c #Conflicts: 1518000 | #Constraints: 33978
2954.39/2962.98 c #Conflicts: 1519000 | #Constraints: 34978
2954.39/2962.98 c #Conflicts: 1520000 | #Constraints: 35978
3026.87/3035.63 c #Conflicts: 1521000 | #Constraints: 36978
3026.87/3035.63 c #Conflicts: 1522000 | #Constraints: 37978
3026.87/3035.63 c #Conflicts: 1523000 | #Constraints: 38978
3026.87/3035.63 c #Conflicts: 1524000 | #Constraints: 39978
3026.87/3035.63 c #Conflicts: 1525000 | #Constraints: 40978
3026.87/3035.63 c #Conflicts: 1526000 | #Constraints: 41978
3026.87/3035.63 c #Conflicts: 1527000 | #Constraints: 42978
3026.87/3035.63 c #Conflicts: 1528000 | #Constraints: 43978
3026.87/3035.63 c #Conflicts: 1529000 | #Constraints: 44978
3026.87/3035.63 c #Conflicts: 1530000 | #Constraints: 45978
3026.87/3035.63 c #Conflicts: 1531000 | #Constraints: 46978
3026.87/3035.63 c #Conflicts: 1532000 | #Constraints: 47978
3026.87/3035.63 c #Conflicts: 1533000 | #Constraints: 48978
3026.87/3035.63 c #Conflicts: 1534000 | #Constraints: 49978
3026.87/3035.63 c #Conflicts: 1535000 | #Constraints: 50978
3026.87/3035.63 c #Conflicts: 1536000 | #Constraints: 51978
3026.87/3035.63 c #Conflicts: 1537000 | #Constraints: 52978
3026.87/3035.63 c #Conflicts: 1538000 | #Constraints: 53978
3026.87/3035.63 c #Conflicts: 1539000 | #Constraints: 54978
3026.87/3035.63 c #Conflicts: 1540000 | #Constraints: 55978
3026.87/3035.63 c #Conflicts: 1541000 | #Constraints: 56978
3026.87/3035.63 c INPROCESSING
3026.87/3035.63 c GARBAGE COLLECT
3026.87/3035.63 c #Conflicts: 1542000 | #Constraints: 33333
3026.87/3035.63 c #Conflicts: 1543000 | #Constraints: 34333
3026.87/3035.63 c #Conflicts: 1544000 | #Constraints: 35333
3026.87/3035.63 c #Conflicts: 1545000 | #Constraints: 36333
3026.87/3035.63 c #Conflicts: 1546000 | #Constraints: 37333
3026.87/3035.63 c #Conflicts: 1547000 | #Constraints: 38333
3026.87/3035.63 c #Conflicts: 1548000 | #Constraints: 39333
3026.87/3035.63 c #Conflicts: 1549000 | #Constraints: 40333
3026.87/3035.63 c #Conflicts: 1550000 | #Constraints: 41333
3026.87/3035.63 c #Conflicts: 1551000 | #Constraints: 42333
3026.87/3035.63 c #Conflicts: 1552000 | #Constraints: 43334
3026.87/3035.63 c #Conflicts: 1553000 | #Constraints: 44334
3026.87/3035.63 c #Conflicts: 1554000 | #Constraints: 45334
3026.87/3035.63 c #Conflicts: 1555000 | #Constraints: 46334
3026.87/3035.63 c #Conflicts: 1556000 | #Constraints: 47334
3026.87/3035.63 c #Conflicts: 1557000 | #Constraints: 48334
3026.87/3035.63 c #Conflicts: 1558000 | #Constraints: 49335
3026.87/3035.63 c #Conflicts: 1559000 | #Constraints: 50335
3026.87/3035.63 c #Conflicts: 1560000 | #Constraints: 51335
3026.87/3035.63 c #Conflicts: 1561000 | #Constraints: 52335
3026.87/3035.63 c #Conflicts: 1562000 | #Constraints: 53335
3026.87/3035.63 c #Conflicts: 1563000 | #Constraints: 54336
3026.87/3035.63 c #Conflicts: 1564000 | #Constraints: 55336
3026.87/3035.63 c #Conflicts: 1565000 | #Constraints: 56336
3026.87/3035.63 c #Conflicts: 1566000 | #Constraints: 57336
3026.87/3035.63 c INPROCESSING
3026.87/3035.63 c GARBAGE COLLECT
3026.87/3035.63 c #Conflicts: 1567000 | #Constraints: 33567
3026.87/3035.63 c #Conflicts: 1568000 | #Constraints: 34567
3026.87/3035.63 c #Conflicts: 1569000 | #Constraints: 35567
3026.87/3035.63 c #Conflicts: 1570000 | #Constraints: 36567
3026.87/3035.63 c #Conflicts: 1571000 | #Constraints: 37567
3026.87/3035.63 c #Conflicts: 1572000 | #Constraints: 38567
3026.87/3035.63 c #Conflicts: 1573000 | #Constraints: 39567
3026.87/3035.63 c #Conflicts: 1574000 | #Constraints: 40567
3026.87/3035.63 c #Conflicts: 1575000 | #Constraints: 41568
3026.87/3035.63 c #Conflicts: 1576000 | #Constraints: 42568
3026.87/3035.63 c #Conflicts: 1577000 | #Constraints: 43569
3026.87/3035.63 c #Conflicts: 1578000 | #Constraints: 44569
3026.87/3035.63 c #Conflicts: 1579000 | #Constraints: 45569
3026.87/3035.63 c #Conflicts: 1580000 | #Constraints: 46569
3026.87/3035.63 c #Conflicts: 1581000 | #Constraints: 47569
3026.87/3035.63 c #Conflicts: 1582000 | #Constraints: 48569
3026.87/3035.63 c #Conflicts: 1583000 | #Constraints: 49569
3026.87/3035.63 c #Conflicts: 1584000 | #Constraints: 50570
3026.87/3035.63 c #Conflicts: 1585000 | #Constraints: 51570
3026.87/3035.63 c #Conflicts: 1586000 | #Constraints: 52570
3026.87/3035.63 c #Conflicts: 1587000 | #Constraints: 53570
3026.87/3035.63 c #Conflicts: 1588000 | #Constraints: 54570
3026.87/3035.63 c #Conflicts: 1589000 | #Constraints: 55570
3026.87/3035.63 c #Conflicts: 1590000 | #Constraints: 56570
3026.87/3035.63 c #Conflicts: 1591000 | #Constraints: 57570
3026.87/3035.63 c INPROCESSING
3026.87/3035.63 c GARBAGE COLLECT
3026.87/3035.63 c rational objective 4501.5
3067.56/3076.49 c #Conflicts: 1592000 | #Constraints: 33576
3067.56/3076.49 c #Conflicts: 1593000 | #Constraints: 34577
3067.56/3076.49 c #Conflicts: 1594000 | #Constraints: 35577
3067.56/3076.49 c #Conflicts: 1595000 | #Constraints: 36578
3067.56/3076.49 c #Conflicts: 1596000 | #Constraints: 37578
3067.56/3076.49 c #Conflicts: 1597000 | #Constraints: 38578
3067.56/3076.49 c #Conflicts: 1598000 | #Constraints: 39579
3067.56/3076.49 c #Conflicts: 1599000 | #Constraints: 40579
3067.56/3076.49 c #Conflicts: 1600000 | #Constraints: 41580
3067.56/3076.49 c #Conflicts: 1601000 | #Constraints: 42583
3067.56/3076.49 c #Conflicts: 1602000 | #Constraints: 43583
3067.56/3076.49 c #Conflicts: 1603000 | #Constraints: 44584
3067.56/3076.49 c #Conflicts: 1604000 | #Constraints: 45584
3067.56/3076.49 c #Conflicts: 1605000 | #Constraints: 46584
3067.56/3076.49 c #Conflicts: 1606000 | #Constraints: 47584
3067.56/3076.49 c #Conflicts: 1607000 | #Constraints: 48585
3067.56/3076.49 c #Conflicts: 1608000 | #Constraints: 49585
3067.56/3076.49 c #Conflicts: 1609000 | #Constraints: 50585
3067.56/3076.49 c #Conflicts: 1610000 | #Constraints: 51585
3067.56/3076.49 c #Conflicts: 1611000 | #Constraints: 52586
3067.56/3076.49 c #Conflicts: 1612000 | #Constraints: 53586
3067.56/3076.49 c #Conflicts: 1613000 | #Constraints: 54586
3067.56/3076.49 c #Conflicts: 1614000 | #Constraints: 55586
3067.56/3076.49 c #Conflicts: 1615000 | #Constraints: 56586
3067.56/3076.49 c #Conflicts: 1616000 | #Constraints: 57586
3067.56/3076.49 c INPROCESSING
3067.56/3076.49 c GARBAGE COLLECT
3067.56/3076.49 c rational objective 4501.5
3133.38/3142.48 c #Conflicts: 1617000 | #Constraints: 33317
3133.38/3142.48 c #Conflicts: 1618000 | #Constraints: 34317
3133.38/3142.48 c #Conflicts: 1619000 | #Constraints: 35317
3133.38/3142.48 c #Conflicts: 1620000 | #Constraints: 36317
3133.38/3142.48 c #Conflicts: 1621000 | #Constraints: 37317
3133.38/3142.48 c #Conflicts: 1622000 | #Constraints: 38317
3133.38/3142.48 c #Conflicts: 1623000 | #Constraints: 39317
3133.38/3142.48 c #Conflicts: 1624000 | #Constraints: 40317
3133.38/3142.48 c #Conflicts: 1625000 | #Constraints: 41319
3133.38/3142.48 c #Conflicts: 1626000 | #Constraints: 42320
3133.38/3142.48 c #Conflicts: 1627000 | #Constraints: 43320
3133.38/3142.48 c #Conflicts: 1628000 | #Constraints: 44321
3133.38/3142.48 c #Conflicts: 1629000 | #Constraints: 45322
3133.38/3142.48 c #Conflicts: 1630000 | #Constraints: 46322
3133.38/3142.48 c #Conflicts: 1631000 | #Constraints: 47322
3133.38/3142.48 c #Conflicts: 1632000 | #Constraints: 48322
3133.38/3142.48 c #Conflicts: 1633000 | #Constraints: 49322
3133.38/3142.48 c #Conflicts: 1634000 | #Constraints: 50322
3133.38/3142.48 c #Conflicts: 1635000 | #Constraints: 51322
3133.38/3142.48 c #Conflicts: 1636000 | #Constraints: 52322
3133.38/3142.48 c #Conflicts: 1637000 | #Constraints: 53323
3133.38/3142.48 c #Conflicts: 1638000 | #Constraints: 54323
3133.38/3142.48 c #Conflicts: 1639000 | #Constraints: 55323
3133.38/3142.48 c #Conflicts: 1640000 | #Constraints: 56323
3133.38/3142.48 c #Conflicts: 1641000 | #Constraints: 57323
3133.38/3142.48 c #Conflicts: 1642000 | #Constraints: 58323
3133.38/3142.48 c INPROCESSING
3133.38/3142.48 c GARBAGE COLLECT
3133.38/3142.48 c #Conflicts: 1643000 | #Constraints: 33901
3133.38/3142.48 c #Conflicts: 1644000 | #Constraints: 34901
3133.38/3142.48 c #Conflicts: 1645000 | #Constraints: 35901
3133.38/3142.48 c #Conflicts: 1646000 | #Constraints: 36901
3133.38/3142.48 c #Conflicts: 1647000 | #Constraints: 37901
3133.38/3142.48 c #Conflicts: 1648000 | #Constraints: 38901
3133.38/3142.48 c #Conflicts: 1649000 | #Constraints: 39901
3133.38/3142.48 c #Conflicts: 1650000 | #Constraints: 40901
3133.38/3142.48 c #Conflicts: 1651000 | #Constraints: 41901
3133.38/3142.48 c #Conflicts: 1652000 | #Constraints: 42901
3133.38/3142.48 c #Conflicts: 1653000 | #Constraints: 43901
3133.38/3142.48 c #Conflicts: 1654000 | #Constraints: 44902
3133.38/3142.48 c #Conflicts: 1655000 | #Constraints: 45902
3133.38/3142.48 c #Conflicts: 1656000 | #Constraints: 46903
3133.38/3142.48 c #Conflicts: 1657000 | #Constraints: 47903
3133.38/3142.48 c #Conflicts: 1658000 | #Constraints: 48903
3133.38/3142.48 c #Conflicts: 1659000 | #Constraints: 49903
3133.38/3142.48 c #Conflicts: 1660000 | #Constraints: 50904
3133.38/3142.48 c #Conflicts: 1661000 | #Constraints: 51904
3133.38/3142.48 c #Conflicts: 1662000 | #Constraints: 52904
3133.38/3142.48 c #Conflicts: 1663000 | #Constraints: 53904
3133.38/3142.48 c #Conflicts: 1664000 | #Constraints: 54904
3133.38/3142.48 c #Conflicts: 1665000 | #Constraints: 55905
3133.38/3142.48 c #Conflicts: 1666000 | #Constraints: 56905
3133.38/3142.48 c #Conflicts: 1667000 | #Constraints: 57905
3133.38/3142.48 c #Conflicts: 1668000 | #Constraints: 58905
3133.38/3142.48 c INPROCESSING
3133.38/3142.48 c GARBAGE COLLECT
3133.38/3142.48 c rational objective 4501.5
3189.83/3199.02 c #Conflicts: 1669000 | #Constraints: 34304
3189.83/3199.02 c #Conflicts: 1670000 | #Constraints: 35304
3189.83/3199.02 c #Conflicts: 1671000 | #Constraints: 36304
3189.83/3199.02 c #Conflicts: 1672000 | #Constraints: 37304
3189.83/3199.02 c #Conflicts: 1673000 | #Constraints: 38304
3189.83/3199.02 c #Conflicts: 1674000 | #Constraints: 39304
3189.83/3199.02 c #Conflicts: 1675000 | #Constraints: 40304
3189.83/3199.02 c #Conflicts: 1676000 | #Constraints: 41304
3189.83/3199.02 c #Conflicts: 1677000 | #Constraints: 42304
3189.83/3199.02 c #Conflicts: 1678000 | #Constraints: 43304
3189.83/3199.02 c #Conflicts: 1679000 | #Constraints: 44304
3189.83/3199.02 c #Conflicts: 1680000 | #Constraints: 45304
3189.83/3199.02 c #Conflicts: 1681000 | #Constraints: 46304
3189.83/3199.02 c #Conflicts: 1682000 | #Constraints: 47305
3189.83/3199.02 c #Conflicts: 1683000 | #Constraints: 48305
3189.83/3199.02 c #Conflicts: 1684000 | #Constraints: 49305
3189.83/3199.02 c #Conflicts: 1685000 | #Constraints: 50305
3189.83/3199.02 c #Conflicts: 1686000 | #Constraints: 51305
3189.83/3199.02 c #Conflicts: 1687000 | #Constraints: 52305
3189.83/3199.02 c #Conflicts: 1688000 | #Constraints: 53305
3189.83/3199.02 c #Conflicts: 1689000 | #Constraints: 54305
3189.83/3199.02 c #Conflicts: 1690000 | #Constraints: 55305
3189.83/3199.02 c #Conflicts: 1691000 | #Constraints: 56305
3189.83/3199.02 c #Conflicts: 1692000 | #Constraints: 57305
3189.83/3199.02 c #Conflicts: 1693000 | #Constraints: 58305
3189.83/3199.02 c #Conflicts: 1694000 | #Constraints: 59305
3189.83/3199.02 c INPROCESSING
3189.83/3199.02 c GARBAGE COLLECT
3189.83/3199.02 c rational objective 4501.5
3373.99/3383.70 c #Conflicts: 1695000 | #Constraints: 34460
3373.99/3383.70 c #Conflicts: 1696000 | #Constraints: 35462
3373.99/3383.70 c #Conflicts: 1697000 | #Constraints: 36462
3373.99/3383.70 c #Conflicts: 1698000 | #Constraints: 37462
3373.99/3383.70 c #Conflicts: 1699000 | #Constraints: 38462
3373.99/3383.70 c #Conflicts: 1700000 | #Constraints: 39462
3373.99/3383.70 c #Conflicts: 1701000 | #Constraints: 40462
3373.99/3383.70 c #Conflicts: 1702000 | #Constraints: 41462
3373.99/3383.70 c #Conflicts: 1703000 | #Constraints: 42463
3373.99/3383.70 c #Conflicts: 1704000 | #Constraints: 43463
3373.99/3383.70 c #Conflicts: 1705000 | #Constraints: 44463
3373.99/3383.70 c #Conflicts: 1706000 | #Constraints: 45463
3373.99/3383.70 c #Conflicts: 1707000 | #Constraints: 46463
3373.99/3383.70 c #Conflicts: 1708000 | #Constraints: 47463
3373.99/3383.70 c #Conflicts: 1709000 | #Constraints: 48463
3373.99/3383.70 c #Conflicts: 1710000 | #Constraints: 49463
3373.99/3383.70 c #Conflicts: 1711000 | #Constraints: 50463
3373.99/3383.70 c #Conflicts: 1712000 | #Constraints: 51463
3373.99/3383.70 c #Conflicts: 1713000 | #Constraints: 52463
3373.99/3383.70 c #Conflicts: 1714000 | #Constraints: 53463
3373.99/3383.70 c #Conflicts: 1715000 | #Constraints: 54464
3373.99/3383.70 c #Conflicts: 1716000 | #Constraints: 55464
3373.99/3383.70 c #Conflicts: 1717000 | #Constraints: 56464
3373.99/3383.70 c #Conflicts: 1718000 | #Constraints: 57464
3373.99/3383.70 c #Conflicts: 1719000 | #Constraints: 58464
3373.99/3383.70 c #Conflicts: 1720000 | #Constraints: 59464
3373.99/3383.70 c INPROCESSING
3373.99/3383.70 c GARBAGE COLLECT
3373.99/3383.70 c #Conflicts: 1721000 | #Constraints: 34609
3373.99/3383.70 c #Conflicts: 1722000 | #Constraints: 35609
3373.99/3383.70 c #Conflicts: 1723000 | #Constraints: 36609
3373.99/3383.70 c #Conflicts: 1724000 | #Constraints: 37609
3373.99/3383.70 c #Conflicts: 1725000 | #Constraints: 38609
3373.99/3383.70 c #Conflicts: 1726000 | #Constraints: 39609
3373.99/3383.70 c #Conflicts: 1727000 | #Constraints: 40609
3373.99/3383.70 c #Conflicts: 1728000 | #Constraints: 41609
3373.99/3383.70 c #Conflicts: 1729000 | #Constraints: 42609
3373.99/3383.70 c #Conflicts: 1730000 | #Constraints: 43609
3373.99/3383.70 c #Conflicts: 1731000 | #Constraints: 44609
3373.99/3383.70 c #Conflicts: 1732000 | #Constraints: 45609
3373.99/3383.70 c #Conflicts: 1733000 | #Constraints: 46609
3373.99/3383.70 c #Conflicts: 1734000 | #Constraints: 47609
3373.99/3383.70 c #Conflicts: 1735000 | #Constraints: 48609
3373.99/3383.70 c #Conflicts: 1736000 | #Constraints: 49609
3373.99/3383.70 c #Conflicts: 1737000 | #Constraints: 50609
3373.99/3383.70 c #Conflicts: 1738000 | #Constraints: 51609
3373.99/3383.70 c #Conflicts: 1739000 | #Constraints: 52609
3373.99/3383.70 c #Conflicts: 1740000 | #Constraints: 53609
3373.99/3383.70 c #Conflicts: 1741000 | #Constraints: 54609
3373.99/3383.70 c #Conflicts: 1742000 | #Constraints: 55609
3373.99/3383.70 c #Conflicts: 1743000 | #Constraints: 56609
3373.99/3383.70 c #Conflicts: 1744000 | #Constraints: 57609
3373.99/3383.70 c #Conflicts: 1745000 | #Constraints: 58609
3373.99/3383.70 c #Conflicts: 1746000 | #Constraints: 59609
3373.99/3383.70 c INPROCESSING
3373.99/3383.70 c GARBAGE COLLECT
3373.99/3383.70 c rational objective 4501.5
3450.48/3460.46 c #Conflicts: 1747000 | #Constraints: 34333
3450.48/3460.46 c #Conflicts: 1748000 | #Constraints: 35333
3450.48/3460.46 c #Conflicts: 1749000 | #Constraints: 36333
3450.48/3460.46 c #Conflicts: 1750000 | #Constraints: 37333
3450.48/3460.46 c #Conflicts: 1751000 | #Constraints: 38333
3450.48/3460.46 c #Conflicts: 1752000 | #Constraints: 39333
3450.48/3460.46 c #Conflicts: 1753000 | #Constraints: 40333
3450.48/3460.46 c #Conflicts: 1754000 | #Constraints: 41333
3450.48/3460.46 c #Conflicts: 1755000 | #Constraints: 42333
3450.48/3460.46 c #Conflicts: 1756000 | #Constraints: 43333
3450.48/3460.46 c #Conflicts: 1757000 | #Constraints: 44335
3450.48/3460.46 c #Conflicts: 1758000 | #Constraints: 45335
3450.48/3460.46 c #Conflicts: 1759000 | #Constraints: 46335
3450.48/3460.46 c #Conflicts: 1760000 | #Constraints: 47335
3450.48/3460.46 c #Conflicts: 1761000 | #Constraints: 48335
3450.48/3460.46 c #Conflicts: 1762000 | #Constraints: 49335
3450.48/3460.46 c #Conflicts: 1763000 | #Constraints: 50335
3450.48/3460.46 c #Conflicts: 1764000 | #Constraints: 51336
3450.48/3460.46 c #Conflicts: 1765000 | #Constraints: 52336
3450.48/3460.46 c #Conflicts: 1766000 | #Constraints: 53336
3450.48/3460.46 c #Conflicts: 1767000 | #Constraints: 54336
3450.48/3460.46 c #Conflicts: 1768000 | #Constraints: 55336
3450.48/3460.46 c #Conflicts: 1769000 | #Constraints: 56336
3450.48/3460.46 c #Conflicts: 1770000 | #Constraints: 57336
3450.48/3460.46 c #Conflicts: 1771000 | #Constraints: 58336
3450.48/3460.46 c #Conflicts: 1772000 | #Constraints: 59336
3450.48/3460.46 c #Conflicts: 1773000 | #Constraints: 60336
3450.48/3460.46 c INPROCESSING
3450.48/3460.46 c GARBAGE COLLECT
3450.48/3460.46 c rational objective 4501.5
3526.58/3536.71 c #Conflicts: 1774000 | #Constraints: 35039
3526.58/3536.71 c #Conflicts: 1775000 | #Constraints: 36039
3526.58/3536.71 c #Conflicts: 1776000 | #Constraints: 37039
3526.58/3536.71 c #Conflicts: 1777000 | #Constraints: 38039
3526.58/3536.71 c #Conflicts: 1778000 | #Constraints: 39039
3526.58/3536.71 c #Conflicts: 1779000 | #Constraints: 40039
3526.58/3536.71 c #Conflicts: 1780000 | #Constraints: 41039
3526.58/3536.71 c #Conflicts: 1781000 | #Constraints: 42039
3526.58/3536.71 c #Conflicts: 1782000 | #Constraints: 43039
3526.58/3536.71 c #Conflicts: 1783000 | #Constraints: 44039
3526.58/3536.71 c #Conflicts: 1784000 | #Constraints: 45039
3526.58/3536.71 c #Conflicts: 1785000 | #Constraints: 46039
3526.58/3536.71 c #Conflicts: 1786000 | #Constraints: 47041
3526.58/3536.71 c #Conflicts: 1787000 | #Constraints: 48042
3526.58/3536.71 c #Conflicts: 1788000 | #Constraints: 49042
3526.58/3536.71 c #Conflicts: 1789000 | #Constraints: 50042
3526.58/3536.71 c #Conflicts: 1790000 | #Constraints: 51043
3526.58/3536.71 c #Conflicts: 1791000 | #Constraints: 52043
3526.58/3536.71 c #Conflicts: 1792000 | #Constraints: 53043
3526.58/3536.71 c #Conflicts: 1793000 | #Constraints: 54043
3526.58/3536.71 c #Conflicts: 1794000 | #Constraints: 55043
3526.58/3536.71 c #Conflicts: 1795000 | #Constraints: 56043
3526.58/3536.71 c #Conflicts: 1796000 | #Constraints: 57043
3526.58/3536.71 c #Conflicts: 1797000 | #Constraints: 58043
3526.58/3536.71 c #Conflicts: 1798000 | #Constraints: 59044
3526.58/3536.71 c #Conflicts: 1799000 | #Constraints: 60044
3526.58/3536.71 c #Conflicts: 1800000 | #Constraints: 61044
3526.58/3536.71 c INPROCESSING
3526.58/3536.71 c GARBAGE COLLECT
3526.58/3536.71 c rational objective 4501.5
3568.27/3578.57 c #Conflicts: 1801000 | #Constraints: 35466
3568.27/3578.57 c #Conflicts: 1802000 | #Constraints: 36466
3568.27/3578.57 c #Conflicts: 1803000 | #Constraints: 37466
3568.27/3578.57 c #Conflicts: 1804000 | #Constraints: 38466
3568.27/3578.57 c #Conflicts: 1805000 | #Constraints: 39466
3568.27/3578.57 c #Conflicts: 1806000 | #Constraints: 40466
3568.27/3578.57 c #Conflicts: 1807000 | #Constraints: 41466
3568.27/3578.57 c #Conflicts: 1808000 | #Constraints: 42466
3568.27/3578.57 c #Conflicts: 1809000 | #Constraints: 43466
3568.27/3578.57 c #Conflicts: 1810000 | #Constraints: 44466
3568.27/3578.57 c #Conflicts: 1811000 | #Constraints: 45466
3568.27/3578.57 c #Conflicts: 1812000 | #Constraints: 46467
3568.27/3578.57 c #Conflicts: 1813000 | #Constraints: 47468
3568.27/3578.57 c #Conflicts: 1814000 | #Constraints: 48470
3568.27/3578.57 c #Conflicts: 1815000 | #Constraints: 49471
3568.27/3578.57 c #Conflicts: 1816000 | #Constraints: 50471
3568.27/3578.57 c #Conflicts: 1817000 | #Constraints: 51472
3568.27/3578.57 c #Conflicts: 1818000 | #Constraints: 52472
3568.27/3578.57 c #Conflicts: 1819000 | #Constraints: 53472
3568.27/3578.57 c #Conflicts: 1820000 | #Constraints: 54472
3568.27/3578.57 c #Conflicts: 1821000 | #Constraints: 55472
3568.27/3578.57 c #Conflicts: 1822000 | #Constraints: 56472
3568.27/3578.57 c #Conflicts: 1823000 | #Constraints: 57472
3568.27/3578.57 c #Conflicts: 1824000 | #Constraints: 58472
3568.27/3578.57 c #Conflicts: 1825000 | #Constraints: 59472
3568.27/3578.57 c #Conflicts: 1826000 | #Constraints: 60473
3568.27/3578.57 c #Conflicts: 1827000 | #Constraints: 61473
3568.27/3578.57 c INPROCESSING
3568.27/3578.57 c GARBAGE COLLECT
3568.27/3578.57 c rational objective 4501.5
3600.09/3610.40 c #Conflicts: 1828000 | #Constraints: 35575
3600.09/3610.40 c #Conflicts: 1829000 | #Constraints: 36575
3600.09/3610.40 c #Conflicts: 1830000 | #Constraints: 37575
3600.09/3610.40 c #Conflicts: 1831000 | #Constraints: 38575
3600.09/3610.40 c #Conflicts: 1832000 | #Constraints: 39575
3600.09/3610.40 c #Conflicts: 1833000 | #Constraints: 40575
3600.09/3610.40 c #Conflicts: 1834000 | #Constraints: 41575
3600.09/3610.40 c #Conflicts: 1835000 | #Constraints: 42575
3600.09/3610.40 c #Conflicts: 1836000 | #Constraints: 43575
3600.09/3610.40 c #Conflicts: 1837000 | #Constraints: 44576
3600.09/3610.40 c #Conflicts: 1838000 | #Constraints: 45576
3600.09/3610.40 c cpu time 3566.09 s
3600.09/3610.40 c deterministic time 594454021876 5.94e+11
3600.09/3610.40 c optimization time 31.3078 s
3600.09/3610.40 c total solve time 3534.75 s
3600.09/3610.40 c core-guided solve time 0 s
3600.09/3610.40 c propagation time 2257.61 s
3600.09/3610.40 c conflict analysis time 1098.83 s
3600.09/3610.40 c propagations 758368184
3600.09/3610.40 c resolve steps 15531965
3600.09/3610.40 c decisions 15180694
3600.09/3610.40 c conflicts 1838896
3600.09/3610.40 c restarts 3578
3600.09/3610.40 c inprocessing phases 126
3600.09/3610.40 c garbage collections 126 ,( 100.00 )
3600.09/3610.40 c input clauses 6004 ,( 80.00 )
3600.09/3610.40 c input cardinalities 1500 ,( 19.99 )
3600.09/3610.40 c input general constraints 1 ,( 0.01 )
3600.09/3610.40 c input average constraint length 4.00
3600.09/3610.40 c input average constraint degree 2.40
3600.09/3610.40 c learned clauses 194897 ,( 10.60 )
3600.09/3610.40 c learned cardinalities 28739 ,( 1.56 )
3600.09/3610.40 c learned general constraints 1615644 ,( 87.84 )
3600.09/3610.40 c learned average constraint length 1776.62
3600.09/3610.40 c learned average constraint degree 1115755163.07
3600.09/3610.40 c watched CF 32, 64, 128, Arb: 1162877 , 0 , 0 , 0
3600.09/3610.40 c counting CF 32, 64, 128, Arb: 452768 , 0 , 0 , 0
3600.09/3610.40 c watched constraints 1162877 ,( 71.98 )
3600.09/3610.40 c counting constraints 452768 ,( 28.02 )
3600.09/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 204889494 , 187142895 , 1663454124 ,( 1116657867 , 546796257 )
3600.09/3610.40 c gcd simplifications 26443
3600.09/3610.40 c detected cardinalities 1757
3600.09/3610.40 c weakened non-implied lits 616011933
3600.09/3610.40 c weakened non-implying lits 138211
3600.09/3610.40 c original variables 9003
3600.09/3610.40 c clausal propagations 193511771
3600.09/3610.40 c cardinality propagations 84880540
3600.09/3610.40 c watched propagations 160854087
3600.09/3610.40 c counting propagations 186302648
3600.09/3610.40 c watch lookups 48782855593
3600.09/3610.40 c watch backjump lookups 0
3600.09/3610.40 c watch checks 364673649198
3600.09/3610.40 c propagation checks 173148766954
3600.09/3610.40 c constraint additions 6299449906
3600.09/3610.40 c trail pops 775382709
3600.09/3610.40 c formula constraints 7505
3600.09/3610.40 c learned constraints 1838605
3600.09/3610.40 c bound constraints 0
3600.09/3610.40 c core-guided constraints 0
3600.09/3610.40 c encountered formula constraints 13965336
3600.09/3610.40 c encountered learned constraints 3336920
3600.09/3610.40 c encountered bound constraints 0
3600.09/3610.40 c encountered core-guided constraints 0
3600.09/3610.40 c LP total time 93.9811 s
3600.09/3610.40 c LP solve time 75.47 s
3600.09/3610.40 c LP constraints added 7598
3600.09/3610.40 c LP constraints removed 90
3600.09/3610.40 c LP pivots internal 184339
3600.09/3610.40 c LP pivots root 184298
3600.09/3610.40 c LP calls 335
3600.09/3610.40 c LP optimalities 39
3600.09/3610.40 c LP no pivot count 0
3600.09/3610.40 c LP infeasibilities 291
3600.09/3610.40 c LP valid Farkas constraints 291
3600.09/3610.40 c LP learned Farkas constraints 291
3600.09/3610.40 c LP basis resets 0
3600.09/3610.40 c LP cycling count 0
3600.09/3610.40 c LP singular count 0
3600.09/3610.40 c LP no primal count 0
3600.09/3610.40 c LP no farkas count 0
3600.09/3610.40 c LP other issue count 0
3600.09/3610.40 c LP Gomory cuts 93
3600.09/3610.40 c LP learned cuts 0
3600.09/3610.40 c LP deleted cuts 90
3600.09/3610.40 c LP encountered Gomory constraints 2
3600.09/3610.40 c LP encountered Farkas constraints 58832
3600.09/3610.40 c LP encountered learned Farkas constraints 9480
3600.09/3610.40 c CG auxiliary variables introduced 0
3600.09/3610.40 c CG solutions found 0
3600.09/3610.40 c CG cores constructed 0
3600.09/3610.40 c CG core cardinality constraints returned 0
3600.09/3610.40 c CG unit cores 0
3600.09/3610.40 c CG single cores 0
3600.09/3610.40 c CG blocks removed during cardinality reduction 0
3600.09/3610.40 c CG first core best 0
3600.09/3610.40 c CG decision core best 0
3600.09/3610.40 c CG core reduction tie 0
3600.09/3610.40 c CG core degree average 0.00
3600.09/3610.40 c CG core slack average 0.00
3600.09/3610.40 c CG core upper bound improvements 0
3600.09/3610.40 c STR number of successful calls 0
3600.09/3610.40 c STR number of unsuccessful calls 0
3600.09/3610.40 c STR number of inconclusive calls 0
3600.09/3610.40 c STR number of successful attempts 0
3600.09/3610.40 c STR number of unsuccessful attempts 0
3600.09/3610.40 c STR number of inconclusive attempts 0
3600.09/3610.40 c STR average degree increase per successful call inf
3600.09/3610.40 c STR average degree increase per successful attempt inf
3600.09/3610.40 c STR total number of conflicts for successful attempts 0
3600.09/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.40 c STR average number of conflicts per successful attempt inf
3600.09/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.40 c AVG.sumWPerc 28.35
3600.09/3610.40 c bigint constraints 0
3600.09/3610.40 s UNKNOWN
3600.09/3610.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61180 MiB free)
memory of node 1: 64465 MiB (60477 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544180-1753206349/watcher-4544180-1753206349 -o /tmp/evaluation-result-4544180-1753206349/solver-4544180-1753206349 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171407 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4544180-1753206349.opb /tmp/proof-4544180-1753206349
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=174187, runsolver pid=174184
[startup+0.100059 s]*
/proc/loadavg: 4.03 4.08 4.08 5/268 174189
/proc/meminfo: memFree=124577572/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=71536 memory=27248 CPUtime=0.09 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 4715 0 0 0 8 1 0 0 20 0 1 0 236314351 73252864 6812 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 17884 6812 2304 1147 0 5311 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75728 KiB
Current children cumulated memory: 30192 KiB
[startup+0.205627 s]*
/proc/loadavg: 4.03 4.08 4.08 5/268 174189
/proc/meminfo: memFree=124577572/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=74016 memory=29552 CPUtime=0.19 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 5306 0 0 0 18 1 0 0 20 0 1 0 236314351 75792384 7388 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 18504 7388 2304 1147 0 5931 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78208 KiB
Current children cumulated memory: 32496 KiB
[startup+0.305475 s]*
/proc/loadavg: 4.03 4.08 4.08 5/268 174189
/proc/meminfo: memFree=124577348/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=75116 memory=30704 CPUtime=0.29 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 5547 0 0 0 27 2 0 0 20 0 1 0 236314351 76918784 7676 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 18779 7676 2336 1147 0 6206 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79308 KiB
Current children cumulated memory: 33648 KiB
[startup+0.700187 s]
/proc/loadavg: 4.03 4.08 4.08 5/268 174189
/proc/meminfo: memFree=124577348/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=80084 memory=36372 CPUtime=0.68 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 6458 0 0 0 66 2 0 0 20 0 1 0 236314351 82006016 9093 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 20021 9093 2336 1147 0 7448 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84276 KiB
Current children cumulated memory: 39316 KiB
[startup+1.5002 s]
/proc/loadavg: 4.03 4.08 4.08 5/268 174189
/proc/meminfo: memFree=124577348/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=88408 memory=45968 CPUtime=1.48 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 7822 0 0 0 145 3 0 0 20 0 1 0 236314351 90529792 11492 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 22102 11492 2336 1147 0 9529 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 92600 KiB
Current children cumulated memory: 48912 KiB
[startup+3.10545 s]
/proc/loadavg: 4.03 4.08 4.08 5/268 174189
/proc/meminfo: memFree=124531168/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=113236 memory=64548 CPUtime=3.07 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 9884 0 0 0 303 4 0 0 20 0 1 0 236314351 115953664 16137 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 28309 16137 2368 1147 0 15736 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 117428 KiB
Current children cumulated memory: 67492 KiB
[startup+6.3002 s]
/proc/loadavg: 4.02 4.08 4.08 5/268 174189
/proc/meminfo: memFree=124440904/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=145760 memory=93392 CPUtime=6.27 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 13524 0 0 0 617 10 0 0 20 0 1 0 236314351 149258240 23348 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 36440 23348 2368 1147 0 23867 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 149952 KiB
Current children cumulated memory: 96336 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 4.08 4.08 5/269 174190
/proc/meminfo: memFree=124317760/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=219532 memory=170404 CPUtime=12.65 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 24115 0 0 0 1248 17 0 0 20 0 1 0 236314351 224800768 42601 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 54883 42601 2368 1147 0 42310 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 223724 KiB
Current children cumulated memory: 173348 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 4.07 4.08 5/269 174190
/proc/meminfo: memFree=124264776/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=273724 memory=187936 CPUtime=25.42 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 25933 0 0 0 2519 23 0 0 20 0 1 0 236314351 280293376 46984 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 68431 46984 2368 1147 0 55858 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 277916 KiB
Current children cumulated memory: 190880 KiB
[startup+51.1053 s]
/proc/loadavg: 4.00 4.06 4.08 5/269 174387
/proc/meminfo: memFree=124497336/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=390552 memory=312848 CPUtime=50.96 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 48493 0 0 0 5050 46 0 0 20 0 1 0 236314351 399925248 78212 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 97638 78212 2368 1147 0 85065 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 394744 KiB
Current children cumulated memory: 315792 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.08 4.09 5/269 174485
/proc/meminfo: memFree=123686332/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=641568 memory=542076 CPUtime=102.04 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 87457 0 0 0 10110 94 0 0 20 0 1 0 236314351 656965632 135519 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 160392 135519 2368 1147 0 147819 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 645760 KiB
Current children cumulated memory: 545020 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.08 4.09 5/270 174537
/proc/meminfo: memFree=123023656/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=1145344 memory=876212 CPUtime=161.87 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 160749 0 0 0 16019 168 0 0 20 0 1 0 236314351 1172832256 219053 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 286336 219053 2368 1147 0 273763 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1149536 KiB
Current children cumulated memory: 879156 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/270 174539
/proc/meminfo: memFree=122488976/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=1252876 memory=1027672 CPUtime=221.72 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 190973 0 0 0 21947 225 0 0 20 0 1 0 236314351 1282945024 256918 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 313219 256918 2368 1147 0 300646 0
################
# More data... #
################
/proc/174189/statm: 986516 790765 2368 1147 0 973943 0
Current children cumulated CPU time: 3033.56 s
Current children cumulated vsize: 3950256 KiB
Current children cumulated memory: 3166004 KiB
[startup+3102.3 s]
/proc/loadavg: 4.24 4.15 4.11 5/268 175221
/proc/meminfo: memFree=110400472/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=3956860 memory=3170996 CPUtime=3093.39 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 616102 0 0 0 306409 2930 0 0 20 0 1 0 236314351 4051824640 792749 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 989215 792749 2368 1147 0 976642 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 3961052 KiB
Current children cumulated memory: 3173940 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/268 175223
/proc/meminfo: memFree=109884364/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=3984828 memory=3192628 CPUtime=3153.23 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 621928 0 0 0 312321 3002 0 0 20 0 1 0 236314351 4080463872 798157 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 996207 798157 2368 1147 0 983634 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 3989020 KiB
Current children cumulated memory: 3195572 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/267 175225
/proc/meminfo: memFree=109551252/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=4030092 memory=3220148 CPUtime=3213.07 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 628979 0 0 0 318227 3080 0 0 20 0 1 0 236314351 4126814208 805037 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 1007523 805037 2368 1147 0 994950 0
Current children cumulated CPU time: 3213.07 s
Current children cumulated vsize: 4034284 KiB
Current children cumulated memory: 3223092 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/268 175228
/proc/meminfo: memFree=109333216/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=4051268 memory=3238452 CPUtime=3272.89 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 633573 0 0 0 324161 3128 0 0 20 0 1 0 236314351 4148498432 809613 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 1012817 809613 2368 1147 0 1000244 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 4055460 KiB
Current children cumulated memory: 3241396 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/268 175231
/proc/meminfo: memFree=108964748/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=4301640 memory=3411604 CPUtime=3332.71 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 674965 0 0 0 330104 3167 0 0 20 0 1 0 236314351 4404879360 852901 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 1075410 852901 2368 1147 0 1062837 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 4305832 KiB
Current children cumulated memory: 3414548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/268 175233
/proc/meminfo: memFree=108613592/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=4342092 memory=3542960 CPUtime=3392.55 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 686318 0 0 0 336057 3198 0 0 20 0 1 0 236314351 4446302208 885740 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 1085523 885740 2368 1147 0 1072950 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 4346284 KiB
Current children cumulated memory: 3545904 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 175235
/proc/meminfo: memFree=108344688/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=4342564 memory=3543472 CPUtime=3452.38 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 686956 0 0 0 341979 3259 0 0 20 0 1 0 236314351 4446785536 885868 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 1085641 885868 2368 1147 0 1073068 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 4346756 KiB
Current children cumulated memory: 3546416 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/268 175237
/proc/meminfo: memFree=108119424/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=4342564 memory=3543472 CPUtime=3512.21 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 686994 0 0 0 347913 3308 0 0 20 0 1 0 236314351 4446785536 885868 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 1085641 885868 2368 1147 0 1073068 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 4346756 KiB
Current children cumulated memory: 3546416 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/267 175240
/proc/meminfo: memFree=107790592/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=4343032 memory=3543984 CPUtime=3572.06 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 687123 0 0 0 353833 3373 0 0 20 0 1 0 236314351 4447264768 885996 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 1085758 885996 2368 1147 0 1073185 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 4347224 KiB
Current children cumulated memory: 3546928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.09 4.12 4.09 5/268 175249
/proc/meminfo: memFree=107637192/131250000 swapFree=33009904/33010684
[pid=174187] ppid=174184 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/174187/stat : 174187 (run-dec-log.sh) S 174184 174187 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 236314351 4292608 736 18446744073709551615 94518894112768 94518895007301 140736944460064 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94518895246352 94518895294096 94518912094208 140736944466245 140736944466402 140736944466402 140736944472006 0
/proc/174187/statm: 1048 736 672 219 0 110 0
[pid=174189] ppid=174187 vsize=4343032 memory=3543984 CPUtime=3600.09 cores=4,6
/proc/174189/stat : 174189 (roundingsat) R 174187 174187 171389 0 -1 4194304 687671 0 0 0 356609 3400 0 0 20 0 1 0 236314351 4447264768 885996 18446744073709551615 4227072 8923433 140722486298800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17326080 140722486307211 140722486307366 140722486307366 140722486312938 0
/proc/174189/statm: 1085758 885996 2368 1147 0 1073185 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 4347224 KiB
Current children cumulated memory: 3546928 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 174187 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001903 s, system=0 s
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 174189 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3566.1 s, system=34.1022 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.5
CPU time (s): 3600.2
CPU user time (s): 3566.1
CPU system time (s): 34.1022
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 4347224
Max. memory (cumulated for all children) (KiB): 3546928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.1
system time used= 34.1022
maximum resident set size= 3544368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 687900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20747328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 259
involuntary context switches= 4852
# summary of solver processes directly reported to runsolver:
# pid: 174187,174189
# total CPU time (s): 3600.2
# total CPU user time (s): 3566.1
# total CPU system time (s): 34.1022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.01822 second user time and 16.1131 second system time
The end
Begin job on nodeC033 at 2025-07-22 19:45:49
IDJOB=4544180
IDBENCH=174960
IDSOLVER=3352
FILE ID=nodeC033/4544180-1753206349
RUNJOBID= nodeC033-1753198973-171407
SLURM_JOB_ID= 9687766
Free space on /tmp= 432480 MiB
SOLVER NAME= roundingsat-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544180-1753206349/watcher-4544180-1753206349 -o /tmp/evaluation-result-4544180-1753206349/solver-4544180-1753206349 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171407 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4544180-1753206349.opb /tmp/proof-4544180-1753206349
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9d0f67967ac2bc71f5ce17bb15e814c1
RANDOM SEED=800293278
nodeC033 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 : 3600.065
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 : 7000.13
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.082
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 : 7000.13
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 : 3596.099
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 : 7000.13
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.319
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 : 7000.13
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 : 3594.896
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 : 7000.13
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.735
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 : 7000.13
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 : 3600.058
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 : 7000.13
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 : 3673.551
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124577572 kB
MemAvailable: 126022636 kB
Buffers: 2128 kB
Cached: 2168508 kB
SwapCached: 64 kB
Active: 4869800 kB
Inactive: 941356 kB
Active(anon): 3661484 kB
Inactive(anon): 5284 kB
Active(file): 1208316 kB
Inactive(file): 936072 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8036 kB
Writeback: 4 kB
AnonPages: 3641108 kB
Mapped: 121840 kB
Shmem: 26228 kB
KReclaimable: 279828 kB
Slab: 377204 kB
SReclaimable: 279828 kB
SUnreclaim: 97376 kB
KernelStack: 4316 kB
PageTables: 10644 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 4130552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2535424 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 415248 MiB
End job on nodeC033 at 2025-07-22 20:46:00