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
326.52/327.47 c #Conflicts: 1000 | #Constraints: 8504
326.52/327.47 c #Conflicts: 2000 | #Constraints: 9504
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 3000 | #Constraints: 9508
326.52/327.47 c #Conflicts: 4000 | #Constraints: 10508
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 5000 | #Constraints: 9918
326.52/327.47 c #Conflicts: 6000 | #Constraints: 10918
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 7000 | #Constraints: 9927
326.52/327.47 c #Conflicts: 8000 | #Constraints: 10927
326.52/327.47 c #Conflicts: 9000 | #Constraints: 11927
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 10000 | #Constraints: 10710
326.52/327.47 c #Conflicts: 11000 | #Constraints: 11710
326.52/327.47 c #Conflicts: 12000 | #Constraints: 12710
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 13000 | #Constraints: 11166
326.52/327.47 c #Conflicts: 14000 | #Constraints: 12166
326.52/327.47 c #Conflicts: 15000 | #Constraints: 13166
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 16000 | #Constraints: 11441
326.52/327.47 c #Conflicts: 17000 | #Constraints: 12441
326.52/327.47 c #Conflicts: 18000 | #Constraints: 13441
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 19000 | #Constraints: 11481
326.52/327.47 c #Conflicts: 20000 | #Constraints: 12481
326.52/327.47 c #Conflicts: 21000 | #Constraints: 13482
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 22000 | #Constraints: 11270
326.52/327.47 c #Conflicts: 23000 | #Constraints: 12270
326.52/327.47 c #Conflicts: 24000 | #Constraints: 13270
326.52/327.47 c #Conflicts: 25000 | #Constraints: 14270
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 26000 | #Constraints: 11890
326.52/327.47 c #Conflicts: 27000 | #Constraints: 12890
326.52/327.47 c #Conflicts: 28000 | #Constraints: 13890
326.52/327.47 c #Conflicts: 29000 | #Constraints: 14890
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 30000 | #Constraints: 12359
326.52/327.47 c #Conflicts: 31000 | #Constraints: 13359
326.52/327.47 c #Conflicts: 32000 | #Constraints: 14359
326.52/327.47 c #Conflicts: 33000 | #Constraints: 15359
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 34000 | #Constraints: 12585
326.52/327.47 c #Conflicts: 35000 | #Constraints: 13585
326.52/327.47 c #Conflicts: 36000 | #Constraints: 14585
326.52/327.47 c #Conflicts: 37000 | #Constraints: 15585
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 38000 | #Constraints: 12607
326.52/327.47 c #Conflicts: 39000 | #Constraints: 13607
326.52/327.47 c #Conflicts: 40000 | #Constraints: 14607
326.52/327.47 c #Conflicts: 41000 | #Constraints: 15607
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 42000 | #Constraints: 12300
326.52/327.47 c #Conflicts: 43000 | #Constraints: 13300
326.52/327.47 c #Conflicts: 44000 | #Constraints: 14300
326.52/327.47 c #Conflicts: 45000 | #Constraints: 15300
326.52/327.47 c #Conflicts: 46000 | #Constraints: 16300
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 47000 | #Constraints: 12845
326.52/327.47 c #Conflicts: 48000 | #Constraints: 13845
326.52/327.47 c #Conflicts: 49000 | #Constraints: 14845
326.52/327.47 c #Conflicts: 50000 | #Constraints: 15845
326.52/327.47 c #Conflicts: 51000 | #Constraints: 16845
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 52000 | #Constraints: 13221
326.52/327.47 c #Conflicts: 53000 | #Constraints: 14222
326.52/327.47 c #Conflicts: 54000 | #Constraints: 15222
326.52/327.47 c #Conflicts: 55000 | #Constraints: 16222
326.52/327.47 c #Conflicts: 56000 | #Constraints: 17222
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 57000 | #Constraints: 13401
326.52/327.47 c #Conflicts: 58000 | #Constraints: 14401
326.52/327.47 c #Conflicts: 59000 | #Constraints: 15401
326.52/327.47 c #Conflicts: 60000 | #Constraints: 16401
326.52/327.47 c #Conflicts: 61000 | #Constraints: 17401
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 62000 | #Constraints: 13396
326.52/327.47 c #Conflicts: 63000 | #Constraints: 14396
326.52/327.47 c #Conflicts: 64000 | #Constraints: 15396
326.52/327.47 c #Conflicts: 65000 | #Constraints: 16396
326.52/327.47 c #Conflicts: 66000 | #Constraints: 17396
326.52/327.47 c INPROCESSING
326.52/327.47 c GARBAGE COLLECT
326.52/327.47 c #Conflicts: 67000 | #Constraints: 13264
326.52/327.47 c #Conflicts: 68000 | #Constraints: 14264
536.57/538.08 c #Conflicts: 69000 | #Constraints: 15264
536.57/538.08 c #Conflicts: 70000 | #Constraints: 16264
536.57/538.08 c #Conflicts: 71000 | #Constraints: 17264
536.57/538.08 c #Conflicts: 72000 | #Constraints: 18264
536.57/538.08 c INPROCESSING
536.57/538.08 c GARBAGE COLLECT
536.57/538.08 c #Conflicts: 73000 | #Constraints: 13884
536.57/538.08 c #Conflicts: 74000 | #Constraints: 14884
536.57/538.08 c #Conflicts: 75000 | #Constraints: 15884
536.57/538.08 c #Conflicts: 76000 | #Constraints: 16884
536.57/538.08 c #Conflicts: 77000 | #Constraints: 17884
536.57/538.08 c #Conflicts: 78000 | #Constraints: 18884
536.57/538.08 c INPROCESSING
536.57/538.08 c GARBAGE COLLECT
536.57/538.08 c #Conflicts: 79000 | #Constraints: 14218
536.57/538.08 c #Conflicts: 80000 | #Constraints: 15218
536.57/538.08 c #Conflicts: 81000 | #Constraints: 16218
536.57/538.08 c #Conflicts: 82000 | #Constraints: 17218
536.57/538.08 c #Conflicts: 83000 | #Constraints: 18218
536.57/538.08 c #Conflicts: 84000 | #Constraints: 19218
536.57/538.08 c INPROCESSING
536.57/538.08 c GARBAGE COLLECT
536.57/538.08 c #Conflicts: 85000 | #Constraints: 14385
536.57/538.08 c #Conflicts: 86000 | #Constraints: 15385
536.57/538.08 c #Conflicts: 87000 | #Constraints: 16386
536.57/538.08 c #Conflicts: 88000 | #Constraints: 17386
536.57/538.08 c #Conflicts: 89000 | #Constraints: 18386
536.57/538.08 c #Conflicts: 90000 | #Constraints: 19386
536.57/538.08 c INPROCESSING
536.57/538.08 c GARBAGE COLLECT
536.57/538.08 c #Conflicts: 91000 | #Constraints: 14374
536.57/538.08 c #Conflicts: 92000 | #Constraints: 15374
536.57/538.08 c #Conflicts: 93000 | #Constraints: 16374
536.57/538.08 c #Conflicts: 94000 | #Constraints: 17375
536.57/538.08 c #Conflicts: 95000 | #Constraints: 18375
536.57/538.08 c #Conflicts: 96000 | #Constraints: 19375
536.57/538.08 c INPROCESSING
536.57/538.08 c GARBAGE COLLECT
536.57/538.08 c #Conflicts: 97000 | #Constraints: 14172
536.57/538.08 c #Conflicts: 98000 | #Constraints: 15173
536.57/538.08 c #Conflicts: 99000 | #Constraints: 16173
536.57/538.08 c #Conflicts: 100000 | #Constraints: 17173
536.57/538.08 c #Conflicts: 101000 | #Constraints: 18173
536.57/538.08 c #Conflicts: 102000 | #Constraints: 19173
536.57/538.08 c #Conflicts: 103000 | #Constraints: 20173
536.57/538.08 c INPROCESSING
536.57/538.08 c GARBAGE COLLECT
536.57/538.08 c #Conflicts: 104000 | #Constraints: 14778
536.57/538.08 c #Conflicts: 105000 | #Constraints: 15778
536.57/538.08 c #Conflicts: 106000 | #Constraints: 16778
536.57/538.08 c #Conflicts: 107000 | #Constraints: 17779
536.57/538.08 c #Conflicts: 108000 | #Constraints: 18779
536.57/538.08 c #Conflicts: 109000 | #Constraints: 19779
536.57/538.08 c #Conflicts: 110000 | #Constraints: 20779
536.57/538.08 c INPROCESSING
536.57/538.08 c GARBAGE COLLECT
536.57/538.08 c #Conflicts: 111000 | #Constraints: 15181
536.57/538.08 c #Conflicts: 112000 | #Constraints: 16181
536.57/538.08 c #Conflicts: 113000 | #Constraints: 17181
536.57/538.08 c #Conflicts: 114000 | #Constraints: 18181
536.57/538.08 c #Conflicts: 115000 | #Constraints: 19182
536.57/538.08 c #Conflicts: 116000 | #Constraints: 20182
536.57/538.08 c #Conflicts: 117000 | #Constraints: 21182
536.57/538.08 c INPROCESSING
536.57/538.08 c GARBAGE COLLECT
536.57/538.08 c #Conflicts: 118000 | #Constraints: 15380
536.57/538.08 c #Conflicts: 119000 | #Constraints: 16381
536.57/538.08 c #Conflicts: 120000 | #Constraints: 17381
536.57/538.08 c #Conflicts: 121000 | #Constraints: 18381
536.57/538.08 c #Conflicts: 122000 | #Constraints: 19381
536.57/538.08 c #Conflicts: 123000 | #Constraints: 20381
536.57/538.08 c #Conflicts: 124000 | #Constraints: 21381
536.57/538.08 c INPROCESSING
536.57/538.08 c GARBAGE COLLECT
536.57/538.08 c #Conflicts: 125000 | #Constraints: 15392
536.57/538.08 c #Conflicts: 126000 | #Constraints: 16393
536.57/538.08 c #Conflicts: 127000 | #Constraints: 17393
536.57/538.08 c #Conflicts: 128000 | #Constraints: 18393
536.57/538.08 c #Conflicts: 129000 | #Constraints: 19393
536.57/538.08 c #Conflicts: 130000 | #Constraints: 20393
536.57/538.08 c #Conflicts: 131000 | #Constraints: 21393
536.57/538.08 c INPROCESSING
536.57/538.08 c GARBAGE COLLECT
536.57/538.08 c rational objective 4501.5
810.43/812.64 c #Conflicts: 132000 | #Constraints: 15203
810.43/812.64 c #Conflicts: 133000 | #Constraints: 16203
810.43/812.64 c #Conflicts: 134000 | #Constraints: 17204
810.43/812.64 c #Conflicts: 135000 | #Constraints: 18204
810.43/812.64 c #Conflicts: 136000 | #Constraints: 19204
810.43/812.64 c #Conflicts: 137000 | #Constraints: 20204
810.43/812.64 c #Conflicts: 138000 | #Constraints: 21204
810.43/812.64 c #Conflicts: 139000 | #Constraints: 22204
810.43/812.64 c INPROCESSING
810.43/812.64 c GARBAGE COLLECT
810.43/812.64 c #Conflicts: 140000 | #Constraints: 15774
810.43/812.64 c #Conflicts: 141000 | #Constraints: 16774
810.43/812.64 c #Conflicts: 142000 | #Constraints: 17775
810.43/812.64 c #Conflicts: 143000 | #Constraints: 18775
810.43/812.64 c #Conflicts: 144000 | #Constraints: 19775
810.43/812.64 c #Conflicts: 145000 | #Constraints: 20775
810.43/812.64 c #Conflicts: 146000 | #Constraints: 21775
810.43/812.64 c #Conflicts: 147000 | #Constraints: 22775
810.43/812.64 c INPROCESSING
810.43/812.64 c GARBAGE COLLECT
810.43/812.64 c #Conflicts: 148000 | #Constraints: 16258
810.43/812.64 c #Conflicts: 149000 | #Constraints: 17258
810.43/812.64 c #Conflicts: 150000 | #Constraints: 18258
810.43/812.64 c #Conflicts: 151000 | #Constraints: 19259
810.43/812.64 c #Conflicts: 152000 | #Constraints: 20259
810.43/812.64 c #Conflicts: 153000 | #Constraints: 21259
810.43/812.64 c #Conflicts: 154000 | #Constraints: 22259
810.43/812.64 c #Conflicts: 155000 | #Constraints: 23259
810.43/812.64 c INPROCESSING
810.43/812.64 c GARBAGE COLLECT
810.43/812.64 c #Conflicts: 156000 | #Constraints: 16477
810.43/812.64 c #Conflicts: 157000 | #Constraints: 17477
810.43/812.64 c #Conflicts: 158000 | #Constraints: 18477
810.43/812.64 c #Conflicts: 159000 | #Constraints: 19477
810.43/812.64 c #Conflicts: 160000 | #Constraints: 20477
810.43/812.64 c #Conflicts: 161000 | #Constraints: 21477
810.43/812.64 c #Conflicts: 162000 | #Constraints: 22477
810.43/812.64 c #Conflicts: 163000 | #Constraints: 23477
810.43/812.64 c INPROCESSING
810.43/812.64 c GARBAGE COLLECT
810.43/812.64 c #Conflicts: 164000 | #Constraints: 16475
810.43/812.64 c #Conflicts: 165000 | #Constraints: 17475
810.43/812.64 c #Conflicts: 166000 | #Constraints: 18475
810.43/812.64 c #Conflicts: 167000 | #Constraints: 19475
810.43/812.64 c #Conflicts: 168000 | #Constraints: 20475
810.43/812.64 c #Conflicts: 169000 | #Constraints: 21475
810.43/812.64 c #Conflicts: 170000 | #Constraints: 22475
810.43/812.64 c #Conflicts: 171000 | #Constraints: 23475
810.43/812.64 c INPROCESSING
810.43/812.64 c GARBAGE COLLECT
810.43/812.64 c #Conflicts: 172000 | #Constraints: 16269
810.43/812.64 c #Conflicts: 173000 | #Constraints: 17269
810.43/812.64 c #Conflicts: 174000 | #Constraints: 18269
810.43/812.64 c #Conflicts: 175000 | #Constraints: 19269
810.43/812.64 c #Conflicts: 176000 | #Constraints: 20270
810.43/812.64 c #Conflicts: 177000 | #Constraints: 21270
810.43/812.64 c #Conflicts: 178000 | #Constraints: 22270
810.43/812.64 c #Conflicts: 179000 | #Constraints: 23270
810.43/812.64 c #Conflicts: 180000 | #Constraints: 24270
810.43/812.64 c INPROCESSING
810.43/812.64 c GARBAGE COLLECT
810.43/812.64 c #Conflicts: 181000 | #Constraints: 16861
810.43/812.64 c #Conflicts: 182000 | #Constraints: 17861
810.43/812.64 c #Conflicts: 183000 | #Constraints: 18861
810.43/812.64 c #Conflicts: 184000 | #Constraints: 19862
810.43/812.64 c #Conflicts: 185000 | #Constraints: 20862
810.43/812.64 c #Conflicts: 186000 | #Constraints: 21862
810.43/812.64 c #Conflicts: 187000 | #Constraints: 22862
810.43/812.64 c #Conflicts: 188000 | #Constraints: 23862
810.43/812.64 c #Conflicts: 189000 | #Constraints: 24862
810.43/812.64 c INPROCESSING
810.43/812.64 c GARBAGE COLLECT
810.43/812.64 c #Conflicts: 190000 | #Constraints: 17250
810.43/812.64 c #Conflicts: 191000 | #Constraints: 18250
810.43/812.64 c #Conflicts: 192000 | #Constraints: 19250
810.43/812.64 c #Conflicts: 193000 | #Constraints: 20250
810.43/812.64 c #Conflicts: 194000 | #Constraints: 21250
810.43/812.64 c #Conflicts: 195000 | #Constraints: 22251
810.43/812.64 c #Conflicts: 196000 | #Constraints: 23251
810.43/812.64 c #Conflicts: 197000 | #Constraints: 24251
810.43/812.64 c #Conflicts: 198000 | #Constraints: 25251
810.43/812.64 c INPROCESSING
810.43/812.64 c GARBAGE COLLECT
810.43/812.64 c #Conflicts: 199000 | #Constraints: 17445
810.43/812.64 c #Conflicts: 200000 | #Constraints: 18445
810.43/812.64 c #Conflicts: 201000 | #Constraints: 19445
810.43/812.64 c #Conflicts: 202000 | #Constraints: 20445
810.43/812.64 c #Conflicts: 203000 | #Constraints: 21445
810.43/812.64 c #Conflicts: 204000 | #Constraints: 22445
810.43/812.64 c #Conflicts: 205000 | #Constraints: 23446
900.09/902.54 c #Conflicts: 206000 | #Constraints: 24446
900.09/902.54 c #Conflicts: 207000 | #Constraints: 25446
900.09/902.54 c INPROCESSING
900.09/902.54 c GARBAGE COLLECT
900.09/902.54 c #Conflicts: 208000 | #Constraints: 17449
900.09/902.54 c #Conflicts: 209000 | #Constraints: 18449
900.09/902.54 c #Conflicts: 210000 | #Constraints: 19449
900.09/902.54 c #Conflicts: 211000 | #Constraints: 20449
900.09/902.54 c #Conflicts: 212000 | #Constraints: 21449
900.09/902.54 c #Conflicts: 213000 | #Constraints: 22450
900.09/902.54 c #Conflicts: 214000 | #Constraints: 23450
900.09/902.54 c #Conflicts: 215000 | #Constraints: 24450
900.09/902.54 c #Conflicts: 216000 | #Constraints: 25450
900.09/902.54 c INPROCESSING
900.09/902.54 c GARBAGE COLLECT
900.09/902.54 c #Conflicts: 217000 | #Constraints: 17271
900.09/902.54 c #Conflicts: 218000 | #Constraints: 18271
900.09/902.54 c #Conflicts: 219000 | #Constraints: 19271
900.09/902.54 c #Conflicts: 220000 | #Constraints: 20271
900.09/902.54 c #Conflicts: 221000 | #Constraints: 21271
900.09/902.54 c #Conflicts: 222000 | #Constraints: 22271
900.09/902.54 c #Conflicts: 223000 | #Constraints: 23271
900.09/902.54 c #Conflicts: 224000 | #Constraints: 24271
900.09/902.54 c #Conflicts: 225000 | #Constraints: 25271
900.09/902.54 c #Conflicts: 226000 | #Constraints: 26271
900.09/902.54 c INPROCESSING
900.09/902.54 c GARBAGE COLLECT
900.09/902.54 c #Conflicts: 227000 | #Constraints: 17892
900.09/902.54 c #Conflicts: 228000 | #Constraints: 18892
900.09/902.54 c #Conflicts: 229000 | #Constraints: 19892
900.09/902.54 c #Conflicts: 230000 | #Constraints: 20892
900.09/902.54 c #Conflicts: 231000 | #Constraints: 21892
900.09/902.54 c #Conflicts: 232000 | #Constraints: 22892
900.09/902.54 c #Conflicts: 233000 | #Constraints: 23892
900.09/902.54 c #Conflicts: 234000 | #Constraints: 24893
900.09/902.54 c #Conflicts: 235000 | #Constraints: 25893
900.09/902.54 c #Conflicts: 236000 | #Constraints: 26893
900.09/902.54 c INPROCESSING
900.09/902.54 c GARBAGE COLLECT
900.09/902.54 c #Conflicts: 237000 | #Constraints: 18303
900.09/902.54 c #Conflicts: 238000 | #Constraints: 19303
900.09/902.54 c #Conflicts: 239000 | #Constraints: 20304
900.09/902.54 c #Conflicts: 240000 | #Constraints: 21304
900.09/902.54 c #Conflicts: 241000 | #Constraints: 22304
900.09/902.54 c #Conflicts: 242000 | #Constraints: 23304
900.09/902.54 c #Conflicts: 243000 | #Constraints: 24304
900.09/902.54 c #Conflicts: 244000 | #Constraints: 25304
900.09/902.54 c #Conflicts: 245000 | #Constraints: 26305
900.09/902.54 c #Conflicts: 246000 | #Constraints: 27305
900.09/902.54 c INPROCESSING
900.09/902.54 c GARBAGE COLLECT
900.09/902.54 c #Conflicts: 247000 | #Constraints: 18560
900.09/902.54 c #Conflicts: 248000 | #Constraints: 19560
900.09/902.54 c #Conflicts: 249000 | #Constraints: 20560
900.09/902.54 c #Conflicts: 250000 | #Constraints: 21560
900.09/902.54 c #Conflicts: 251000 | #Constraints: 22561
900.09/902.54 c #Conflicts: 252000 | #Constraints: 23561
900.09/902.54 c #Conflicts: 253000 | #Constraints: 24561
900.09/902.54 c #Conflicts: 254000 | #Constraints: 25561
900.09/902.54 c #Conflicts: 255000 | #Constraints: 26561
900.09/902.54 c #Conflicts: 256000 | #Constraints: 27561
900.09/902.54 c INPROCESSING
900.09/902.54 c GARBAGE COLLECT
900.09/902.54 c rational objective 4501.5
1115.02/1118.08 c #Conflicts: 257000 | #Constraints: 18627
1115.02/1118.08 c #Conflicts: 258000 | #Constraints: 19627
1115.02/1118.08 c #Conflicts: 259000 | #Constraints: 20627
1115.02/1118.08 c #Conflicts: 260000 | #Constraints: 21627
1115.02/1118.08 c #Conflicts: 261000 | #Constraints: 22627
1115.02/1118.08 c #Conflicts: 262000 | #Constraints: 23627
1115.02/1118.08 c #Conflicts: 263000 | #Constraints: 24627
1115.02/1118.08 c #Conflicts: 264000 | #Constraints: 25627
1115.02/1118.08 c #Conflicts: 265000 | #Constraints: 26627
1115.02/1118.08 c #Conflicts: 266000 | #Constraints: 27627
1115.02/1118.08 c INPROCESSING
1115.02/1118.08 c GARBAGE COLLECT
1115.02/1118.08 c #Conflicts: 267000 | #Constraints: 18288
1115.02/1118.08 c #Conflicts: 268000 | #Constraints: 19288
1115.02/1118.08 c #Conflicts: 269000 | #Constraints: 20289
1115.02/1118.08 c #Conflicts: 270000 | #Constraints: 21290
1115.02/1118.08 c #Conflicts: 271000 | #Constraints: 22290
1115.02/1118.08 c #Conflicts: 272000 | #Constraints: 23290
1115.02/1118.08 c #Conflicts: 273000 | #Constraints: 24290
1115.02/1118.08 c #Conflicts: 274000 | #Constraints: 25290
1115.02/1118.08 c #Conflicts: 275000 | #Constraints: 26290
1115.02/1118.08 c #Conflicts: 276000 | #Constraints: 27290
1115.02/1118.08 c #Conflicts: 277000 | #Constraints: 28290
1115.02/1118.08 c INPROCESSING
1115.02/1118.08 c GARBAGE COLLECT
1115.02/1118.08 c #Conflicts: 278000 | #Constraints: 18829
1115.02/1118.08 c #Conflicts: 279000 | #Constraints: 19829
1115.02/1118.08 c #Conflicts: 280000 | #Constraints: 20829
1115.02/1118.08 c #Conflicts: 281000 | #Constraints: 21830
1115.02/1118.08 c #Conflicts: 282000 | #Constraints: 22830
1115.02/1118.08 c #Conflicts: 283000 | #Constraints: 23830
1115.02/1118.08 c #Conflicts: 284000 | #Constraints: 24830
1115.02/1118.08 c #Conflicts: 285000 | #Constraints: 25830
1115.02/1118.08 c #Conflicts: 286000 | #Constraints: 26830
1115.02/1118.08 c #Conflicts: 287000 | #Constraints: 27830
1115.02/1118.08 c #Conflicts: 288000 | #Constraints: 28830
1115.02/1118.08 c INPROCESSING
1115.02/1118.08 c GARBAGE COLLECT
1115.02/1118.08 c #Conflicts: 289000 | #Constraints: 19224
1115.02/1118.08 c #Conflicts: 290000 | #Constraints: 20225
1115.02/1118.08 c #Conflicts: 291000 | #Constraints: 21225
1115.02/1118.08 c #Conflicts: 292000 | #Constraints: 22225
1115.02/1118.08 c #Conflicts: 293000 | #Constraints: 23225
1115.02/1118.08 c #Conflicts: 294000 | #Constraints: 24225
1115.02/1118.08 c #Conflicts: 295000 | #Constraints: 25225
1115.02/1118.08 c #Conflicts: 296000 | #Constraints: 26225
1115.02/1118.08 c #Conflicts: 297000 | #Constraints: 27225
1115.02/1118.08 c #Conflicts: 298000 | #Constraints: 28225
1115.02/1118.08 c #Conflicts: 299000 | #Constraints: 29225
1115.02/1118.08 c INPROCESSING
1115.02/1118.08 c GARBAGE COLLECT
1115.02/1118.08 c #Conflicts: 300000 | #Constraints: 19462
1115.02/1118.08 c #Conflicts: 301000 | #Constraints: 20462
1115.02/1118.08 c #Conflicts: 302000 | #Constraints: 21463
1115.02/1118.08 c #Conflicts: 303000 | #Constraints: 22463
1115.02/1118.08 c #Conflicts: 304000 | #Constraints: 23463
1115.02/1118.08 c #Conflicts: 305000 | #Constraints: 24463
1115.02/1118.08 c #Conflicts: 306000 | #Constraints: 25464
1115.02/1118.08 c #Conflicts: 307000 | #Constraints: 26464
1115.02/1118.08 c #Conflicts: 308000 | #Constraints: 27464
1115.02/1118.08 c #Conflicts: 309000 | #Constraints: 28464
1115.02/1118.08 c #Conflicts: 310000 | #Constraints: 29464
1115.02/1118.08 c INPROCESSING
1115.02/1118.08 c GARBAGE COLLECT
1115.02/1118.08 c rational objective 4501.5
1303.99/1307.56 c #Conflicts: 311000 | #Constraints: 19468
1303.99/1307.56 c #Conflicts: 312000 | #Constraints: 20469
1303.99/1307.56 c #Conflicts: 313000 | #Constraints: 21469
1303.99/1307.56 c #Conflicts: 314000 | #Constraints: 22469
1303.99/1307.56 c #Conflicts: 315000 | #Constraints: 23470
1303.99/1307.56 c #Conflicts: 316000 | #Constraints: 24470
1303.99/1307.56 c #Conflicts: 317000 | #Constraints: 25470
1303.99/1307.56 c #Conflicts: 318000 | #Constraints: 26470
1303.99/1307.56 c #Conflicts: 319000 | #Constraints: 27471
1303.99/1307.56 c #Conflicts: 320000 | #Constraints: 28471
1303.99/1307.56 c #Conflicts: 321000 | #Constraints: 29471
1303.99/1307.56 c INPROCESSING
1303.99/1307.56 c GARBAGE COLLECT
1303.99/1307.56 c #Conflicts: 322000 | #Constraints: 19206
1303.99/1307.56 c #Conflicts: 323000 | #Constraints: 20206
1303.99/1307.56 c #Conflicts: 324000 | #Constraints: 21206
1303.99/1307.56 c #Conflicts: 325000 | #Constraints: 22206
1303.99/1307.56 c #Conflicts: 326000 | #Constraints: 23206
1303.99/1307.56 c #Conflicts: 327000 | #Constraints: 24206
1303.99/1307.56 c #Conflicts: 328000 | #Constraints: 25206
1303.99/1307.56 c #Conflicts: 329000 | #Constraints: 26207
1303.99/1307.56 c #Conflicts: 330000 | #Constraints: 27207
1303.99/1307.56 c #Conflicts: 331000 | #Constraints: 28207
1303.99/1307.56 c #Conflicts: 332000 | #Constraints: 29207
1303.99/1307.56 c #Conflicts: 333000 | #Constraints: 30207
1303.99/1307.56 c INPROCESSING
1303.99/1307.56 c GARBAGE COLLECT
1303.99/1307.56 c #Conflicts: 334000 | #Constraints: 19789
1303.99/1307.56 c #Conflicts: 335000 | #Constraints: 20790
1303.99/1307.56 c #Conflicts: 336000 | #Constraints: 21790
1303.99/1307.56 c #Conflicts: 337000 | #Constraints: 22791
1303.99/1307.56 c #Conflicts: 338000 | #Constraints: 23791
1303.99/1307.56 c #Conflicts: 339000 | #Constraints: 24791
1303.99/1307.56 c #Conflicts: 340000 | #Constraints: 25791
1303.99/1307.56 c #Conflicts: 341000 | #Constraints: 26791
1303.99/1307.56 c #Conflicts: 342000 | #Constraints: 27792
1303.99/1307.56 c #Conflicts: 343000 | #Constraints: 28792
1303.99/1307.56 c #Conflicts: 344000 | #Constraints: 29792
1303.99/1307.56 c #Conflicts: 345000 | #Constraints: 30792
1303.99/1307.56 c INPROCESSING
1303.99/1307.56 c GARBAGE COLLECT
1303.99/1307.56 c #Conflicts: 346000 | #Constraints: 20212
1303.99/1307.56 c #Conflicts: 347000 | #Constraints: 21212
1303.99/1307.56 c #Conflicts: 348000 | #Constraints: 22212
1303.99/1307.56 c #Conflicts: 349000 | #Constraints: 23212
1303.99/1307.56 c #Conflicts: 350000 | #Constraints: 24212
1303.99/1307.56 c #Conflicts: 351000 | #Constraints: 25213
1303.99/1307.56 c #Conflicts: 352000 | #Constraints: 26213
1303.99/1307.56 c #Conflicts: 353000 | #Constraints: 27213
1303.99/1307.56 c #Conflicts: 354000 | #Constraints: 28213
1303.99/1307.56 c #Conflicts: 355000 | #Constraints: 29213
1303.99/1307.56 c #Conflicts: 356000 | #Constraints: 30213
1303.99/1307.56 c #Conflicts: 357000 | #Constraints: 31213
1303.99/1307.56 c INPROCESSING
1303.99/1307.56 c GARBAGE COLLECT
1303.99/1307.56 c #Conflicts: 358000 | #Constraints: 20434
1303.99/1307.56 c #Conflicts: 359000 | #Constraints: 21434
1303.99/1307.56 c #Conflicts: 360000 | #Constraints: 22434
1303.99/1307.56 c #Conflicts: 361000 | #Constraints: 23434
1303.99/1307.56 c #Conflicts: 362000 | #Constraints: 24434
1303.99/1307.56 c #Conflicts: 363000 | #Constraints: 25434
1303.99/1307.56 c #Conflicts: 364000 | #Constraints: 26434
1303.99/1307.56 c #Conflicts: 365000 | #Constraints: 27434
1303.99/1307.56 c #Conflicts: 366000 | #Constraints: 28435
1303.99/1307.56 c #Conflicts: 367000 | #Constraints: 29435
1303.99/1307.56 c #Conflicts: 368000 | #Constraints: 30435
1303.99/1307.56 c #Conflicts: 369000 | #Constraints: 31436
1303.99/1307.56 c INPROCESSING
1303.99/1307.56 c GARBAGE COLLECT
1303.99/1307.56 c #Conflicts: 370000 | #Constraints: 20410
1303.99/1307.56 c #Conflicts: 371000 | #Constraints: 21410
1303.99/1307.56 c #Conflicts: 372000 | #Constraints: 22410
1303.99/1307.56 c #Conflicts: 373000 | #Constraints: 23410
1303.99/1307.56 c #Conflicts: 374000 | #Constraints: 24410
1303.99/1307.56 c #Conflicts: 375000 | #Constraints: 25410
1303.99/1307.56 c #Conflicts: 376000 | #Constraints: 26410
1303.99/1307.56 c #Conflicts: 377000 | #Constraints: 27411
1303.99/1307.56 c #Conflicts: 378000 | #Constraints: 28411
1303.99/1307.56 c #Conflicts: 379000 | #Constraints: 29411
1303.99/1307.56 c #Conflicts: 380000 | #Constraints: 30412
1303.99/1307.56 c #Conflicts: 381000 | #Constraints: 31412
1303.99/1307.56 c INPROCESSING
1303.99/1307.56 c GARBAGE COLLECT
1303.99/1307.56 c rational objective 4501.5
1505.31/1509.44 c #Conflicts: 382000 | #Constraints: 20228
1505.31/1509.44 c #Conflicts: 383000 | #Constraints: 21228
1505.31/1509.44 c #Conflicts: 384000 | #Constraints: 22228
1505.31/1509.44 c #Conflicts: 385000 | #Constraints: 23230
1505.31/1509.44 c #Conflicts: 386000 | #Constraints: 24230
1505.31/1509.44 c #Conflicts: 387000 | #Constraints: 25231
1505.31/1509.44 c #Conflicts: 388000 | #Constraints: 26231
1505.31/1509.44 c #Conflicts: 389000 | #Constraints: 27231
1505.31/1509.44 c #Conflicts: 390000 | #Constraints: 28231
1505.31/1509.44 c #Conflicts: 391000 | #Constraints: 29231
1505.31/1509.44 c #Conflicts: 392000 | #Constraints: 30231
1505.31/1509.44 c #Conflicts: 393000 | #Constraints: 31231
1505.31/1509.44 c #Conflicts: 394000 | #Constraints: 32231
1505.31/1509.44 c INPROCESSING
1505.31/1509.44 c GARBAGE COLLECT
1505.31/1509.44 c #Conflicts: 395000 | #Constraints: 20802
1505.31/1509.44 c #Conflicts: 396000 | #Constraints: 21802
1505.31/1509.44 c #Conflicts: 397000 | #Constraints: 22802
1505.31/1509.44 c #Conflicts: 398000 | #Constraints: 23802
1505.31/1509.44 c #Conflicts: 399000 | #Constraints: 24803
1505.31/1509.44 c #Conflicts: 400000 | #Constraints: 25803
1505.31/1509.44 c #Conflicts: 401000 | #Constraints: 26803
1505.31/1509.44 c #Conflicts: 402000 | #Constraints: 27803
1505.31/1509.44 c #Conflicts: 403000 | #Constraints: 28804
1505.31/1509.44 c #Conflicts: 404000 | #Constraints: 29804
1505.31/1509.44 c #Conflicts: 405000 | #Constraints: 30804
1505.31/1509.44 c #Conflicts: 406000 | #Constraints: 31805
1505.31/1509.44 c #Conflicts: 407000 | #Constraints: 32805
1505.31/1509.44 c INPROCESSING
1505.31/1509.44 c GARBAGE COLLECT
1505.31/1509.44 c #Conflicts: 408000 | #Constraints: 21190
1505.31/1509.44 c #Conflicts: 409000 | #Constraints: 22190
1505.31/1509.44 c #Conflicts: 410000 | #Constraints: 23190
1505.31/1509.44 c #Conflicts: 411000 | #Constraints: 24190
1505.31/1509.44 c #Conflicts: 412000 | #Constraints: 25190
1505.31/1509.44 c #Conflicts: 413000 | #Constraints: 26190
1505.31/1509.44 c #Conflicts: 414000 | #Constraints: 27191
1505.31/1509.44 c #Conflicts: 415000 | #Constraints: 28191
1505.31/1509.44 c #Conflicts: 416000 | #Constraints: 29191
1505.31/1509.44 c #Conflicts: 417000 | #Constraints: 30191
1505.31/1509.44 c #Conflicts: 418000 | #Constraints: 31191
1505.31/1509.44 c #Conflicts: 419000 | #Constraints: 32191
1505.31/1509.44 c #Conflicts: 420000 | #Constraints: 33191
1505.31/1509.44 c INPROCESSING
1505.31/1509.44 c GARBAGE COLLECT
1505.31/1509.44 c #Conflicts: 421000 | #Constraints: 21534
1505.31/1509.44 c #Conflicts: 422000 | #Constraints: 22534
1505.31/1509.44 c #Conflicts: 423000 | #Constraints: 23534
1505.31/1509.44 c #Conflicts: 424000 | #Constraints: 24534
1505.31/1509.44 c #Conflicts: 425000 | #Constraints: 25534
1505.31/1509.44 c #Conflicts: 426000 | #Constraints: 26534
1505.31/1509.44 c #Conflicts: 427000 | #Constraints: 27534
1505.31/1509.44 c #Conflicts: 428000 | #Constraints: 28534
1505.31/1509.44 c #Conflicts: 429000 | #Constraints: 29534
1505.31/1509.44 c #Conflicts: 430000 | #Constraints: 30534
1505.31/1509.44 c #Conflicts: 431000 | #Constraints: 31534
1505.31/1509.44 c #Conflicts: 432000 | #Constraints: 32534
1505.31/1509.44 c #Conflicts: 433000 | #Constraints: 33534
1505.31/1509.44 c INPROCESSING
1505.31/1509.44 c GARBAGE COLLECT
1505.31/1509.44 c #Conflicts: 434000 | #Constraints: 21563
1505.31/1509.44 c #Conflicts: 435000 | #Constraints: 22563
1505.31/1509.44 c #Conflicts: 436000 | #Constraints: 23563
1505.31/1509.44 c #Conflicts: 437000 | #Constraints: 24563
1505.31/1509.44 c #Conflicts: 438000 | #Constraints: 25564
1505.31/1509.44 c #Conflicts: 439000 | #Constraints: 26564
1505.31/1509.44 c #Conflicts: 440000 | #Constraints: 27564
1505.31/1509.44 c #Conflicts: 441000 | #Constraints: 28564
1505.31/1509.44 c #Conflicts: 442000 | #Constraints: 29564
1505.31/1509.44 c #Conflicts: 443000 | #Constraints: 30564
1505.31/1509.44 c #Conflicts: 444000 | #Constraints: 31564
1505.31/1509.44 c #Conflicts: 445000 | #Constraints: 32564
1505.31/1509.44 c #Conflicts: 446000 | #Constraints: 33564
1505.31/1509.44 c INPROCESSING
1505.31/1509.44 c GARBAGE COLLECT
1505.31/1509.44 c rational objective 4501.5
1669.65/1674.24 c #Conflicts: 447000 | #Constraints: 21382
1669.65/1674.24 c #Conflicts: 448000 | #Constraints: 22382
1669.65/1674.24 c #Conflicts: 449000 | #Constraints: 23382
1669.65/1674.24 c #Conflicts: 450000 | #Constraints: 24384
1669.65/1674.24 c #Conflicts: 451000 | #Constraints: 25385
1669.65/1674.24 c #Conflicts: 452000 | #Constraints: 26385
1669.65/1674.24 c #Conflicts: 453000 | #Constraints: 27385
1669.65/1674.24 c #Conflicts: 454000 | #Constraints: 28386
1669.65/1674.24 c #Conflicts: 455000 | #Constraints: 29386
1669.65/1674.24 c #Conflicts: 456000 | #Constraints: 30387
1669.65/1674.24 c #Conflicts: 457000 | #Constraints: 31387
1669.65/1674.24 c #Conflicts: 458000 | #Constraints: 32387
1669.65/1674.24 c #Conflicts: 459000 | #Constraints: 33387
1669.65/1674.24 c #Conflicts: 460000 | #Constraints: 34387
1669.65/1674.24 c INPROCESSING
1669.65/1674.24 c GARBAGE COLLECT
1669.65/1674.24 c #Conflicts: 461000 | #Constraints: 21899
1669.65/1674.24 c #Conflicts: 462000 | #Constraints: 22899
1669.65/1674.24 c #Conflicts: 463000 | #Constraints: 23900
1669.65/1674.24 c #Conflicts: 464000 | #Constraints: 24900
1669.65/1674.24 c #Conflicts: 465000 | #Constraints: 25900
1669.65/1674.24 c #Conflicts: 466000 | #Constraints: 26901
1669.65/1674.24 c #Conflicts: 467000 | #Constraints: 27902
1669.65/1674.24 c #Conflicts: 468000 | #Constraints: 28902
1669.65/1674.24 c #Conflicts: 469000 | #Constraints: 29902
1669.65/1674.24 c #Conflicts: 470000 | #Constraints: 30902
1669.65/1674.24 c #Conflicts: 471000 | #Constraints: 31902
1669.65/1674.24 c #Conflicts: 472000 | #Constraints: 32902
1669.65/1674.24 c #Conflicts: 473000 | #Constraints: 33902
1669.65/1674.24 c #Conflicts: 474000 | #Constraints: 34902
1669.65/1674.24 c INPROCESSING
1669.65/1674.24 c GARBAGE COLLECT
1669.65/1674.24 c #Conflicts: 475000 | #Constraints: 22261
1669.65/1674.24 c #Conflicts: 476000 | #Constraints: 23261
1669.65/1674.24 c #Conflicts: 477000 | #Constraints: 24261
1669.65/1674.24 c #Conflicts: 478000 | #Constraints: 25262
1669.65/1674.24 c #Conflicts: 479000 | #Constraints: 26262
1669.65/1674.24 c #Conflicts: 480000 | #Constraints: 27262
1669.65/1674.24 c #Conflicts: 481000 | #Constraints: 28262
1669.65/1674.24 c #Conflicts: 482000 | #Constraints: 29262
1669.65/1674.24 c #Conflicts: 483000 | #Constraints: 30262
1669.65/1674.24 c #Conflicts: 484000 | #Constraints: 31263
1669.65/1674.24 c #Conflicts: 485000 | #Constraints: 32263
1669.65/1674.24 c #Conflicts: 486000 | #Constraints: 33263
1669.65/1674.24 c #Conflicts: 487000 | #Constraints: 34263
1669.65/1674.24 c #Conflicts: 488000 | #Constraints: 35264
1669.65/1674.24 c INPROCESSING
1669.65/1674.24 c GARBAGE COLLECT
1669.65/1674.24 c #Conflicts: 489000 | #Constraints: 22442
1669.65/1674.24 c #Conflicts: 490000 | #Constraints: 23442
1669.65/1674.24 c #Conflicts: 491000 | #Constraints: 24442
1669.65/1674.24 c #Conflicts: 492000 | #Constraints: 25443
1669.65/1674.24 c #Conflicts: 493000 | #Constraints: 26443
1669.65/1674.24 c #Conflicts: 494000 | #Constraints: 27443
1669.65/1674.24 c #Conflicts: 495000 | #Constraints: 28443
1669.65/1674.24 c #Conflicts: 496000 | #Constraints: 29443
1669.65/1674.24 c #Conflicts: 497000 | #Constraints: 30443
1669.65/1674.24 c #Conflicts: 498000 | #Constraints: 31443
1669.65/1674.24 c #Conflicts: 499000 | #Constraints: 32443
1669.65/1674.24 c #Conflicts: 500000 | #Constraints: 33443
1669.65/1674.24 c #Conflicts: 501000 | #Constraints: 34443
1669.65/1674.24 c #Conflicts: 502000 | #Constraints: 35443
1669.65/1674.24 c INPROCESSING
1669.65/1674.24 c GARBAGE COLLECT
1669.65/1674.24 c #Conflicts: 503000 | #Constraints: 22455
1669.65/1674.24 c #Conflicts: 504000 | #Constraints: 23455
1669.65/1674.24 c #Conflicts: 505000 | #Constraints: 24455
1669.65/1674.24 c #Conflicts: 506000 | #Constraints: 25455
1669.65/1674.24 c #Conflicts: 507000 | #Constraints: 26455
1669.65/1674.24 c #Conflicts: 508000 | #Constraints: 27455
1669.65/1674.24 c #Conflicts: 509000 | #Constraints: 28456
1669.65/1674.24 c #Conflicts: 510000 | #Constraints: 29456
1669.65/1674.24 c #Conflicts: 511000 | #Constraints: 30456
1669.65/1674.24 c #Conflicts: 512000 | #Constraints: 31456
1669.65/1674.24 c #Conflicts: 513000 | #Constraints: 32456
1669.65/1674.24 c #Conflicts: 514000 | #Constraints: 33456
1669.65/1674.24 c #Conflicts: 515000 | #Constraints: 34456
1669.65/1674.24 c #Conflicts: 516000 | #Constraints: 35456
1669.65/1674.24 c INPROCESSING
1669.65/1674.24 c GARBAGE COLLECT
1669.65/1674.24 c #Conflicts: 517000 | #Constraints: 22281
1669.65/1674.24 c #Conflicts: 518000 | #Constraints: 23281
1669.65/1674.24 c #Conflicts: 519000 | #Constraints: 24281
1669.65/1674.24 c #Conflicts: 520000 | #Constraints: 25281
1669.65/1674.24 c #Conflicts: 521000 | #Constraints: 26281
1669.65/1674.24 c #Conflicts: 522000 | #Constraints: 27282
1723.00/1727.73 c #Conflicts: 523000 | #Constraints: 28282
1723.00/1727.73 c #Conflicts: 524000 | #Constraints: 29282
1723.00/1727.73 c #Conflicts: 525000 | #Constraints: 30282
1723.00/1727.73 c #Conflicts: 526000 | #Constraints: 31282
1723.00/1727.73 c #Conflicts: 527000 | #Constraints: 32282
1723.00/1727.73 c #Conflicts: 528000 | #Constraints: 33282
1723.00/1727.73 c #Conflicts: 529000 | #Constraints: 34282
1723.00/1727.73 c #Conflicts: 530000 | #Constraints: 35282
1723.00/1727.73 c #Conflicts: 531000 | #Constraints: 36282
1723.00/1727.73 c INPROCESSING
1723.00/1727.73 c GARBAGE COLLECT
1723.00/1727.73 c #Conflicts: 532000 | #Constraints: 22875
1723.00/1727.73 c #Conflicts: 533000 | #Constraints: 23875
1723.00/1727.73 c #Conflicts: 534000 | #Constraints: 24875
1723.00/1727.73 c #Conflicts: 535000 | #Constraints: 25875
1723.00/1727.73 c #Conflicts: 536000 | #Constraints: 26875
1723.00/1727.73 c #Conflicts: 537000 | #Constraints: 27875
1723.00/1727.73 c #Conflicts: 538000 | #Constraints: 28875
1723.00/1727.73 c #Conflicts: 539000 | #Constraints: 29875
1723.00/1727.73 c #Conflicts: 540000 | #Constraints: 30875
1723.00/1727.73 c #Conflicts: 541000 | #Constraints: 31876
1723.00/1727.73 c #Conflicts: 542000 | #Constraints: 32876
1723.00/1727.73 c #Conflicts: 543000 | #Constraints: 33876
1723.00/1727.73 c #Conflicts: 544000 | #Constraints: 34877
1723.00/1727.73 c #Conflicts: 545000 | #Constraints: 35877
1723.00/1727.73 c #Conflicts: 546000 | #Constraints: 36877
1723.00/1727.73 c INPROCESSING
1723.00/1727.73 c GARBAGE COLLECT
1723.00/1727.73 c #Conflicts: 547000 | #Constraints: 23288
1723.00/1727.73 c #Conflicts: 548000 | #Constraints: 24288
1723.00/1727.73 c #Conflicts: 549000 | #Constraints: 25288
1723.00/1727.73 c #Conflicts: 550000 | #Constraints: 26288
1723.00/1727.73 c #Conflicts: 551000 | #Constraints: 27288
1723.00/1727.73 c #Conflicts: 552000 | #Constraints: 28288
1723.00/1727.73 c #Conflicts: 553000 | #Constraints: 29288
1723.00/1727.73 c #Conflicts: 554000 | #Constraints: 30289
1723.00/1727.73 c #Conflicts: 555000 | #Constraints: 31289
1723.00/1727.73 c #Conflicts: 556000 | #Constraints: 32289
1723.00/1727.73 c #Conflicts: 557000 | #Constraints: 33289
1723.00/1727.73 c #Conflicts: 558000 | #Constraints: 34289
1723.00/1727.73 c #Conflicts: 559000 | #Constraints: 35289
1723.00/1727.73 c #Conflicts: 560000 | #Constraints: 36289
1723.00/1727.73 c #Conflicts: 561000 | #Constraints: 37289
1723.00/1727.73 c INPROCESSING
1723.00/1727.73 c GARBAGE COLLECT
1723.00/1727.73 c rational objective 4501.5
1828.90/1833.92 c #Conflicts: 562000 | #Constraints: 23463
1828.90/1833.92 c #Conflicts: 563000 | #Constraints: 24463
1828.90/1833.92 c #Conflicts: 564000 | #Constraints: 25463
1828.90/1833.92 c #Conflicts: 565000 | #Constraints: 26463
1828.90/1833.92 c #Conflicts: 566000 | #Constraints: 27463
1828.90/1833.92 c #Conflicts: 567000 | #Constraints: 28463
1828.90/1833.92 c #Conflicts: 568000 | #Constraints: 29463
1828.90/1833.92 c #Conflicts: 569000 | #Constraints: 30463
1828.90/1833.92 c #Conflicts: 570000 | #Constraints: 31465
1828.90/1833.92 c #Conflicts: 571000 | #Constraints: 32465
1828.90/1833.92 c #Conflicts: 572000 | #Constraints: 33465
1828.90/1833.92 c #Conflicts: 573000 | #Constraints: 34465
1828.90/1833.92 c #Conflicts: 574000 | #Constraints: 35465
1828.90/1833.92 c #Conflicts: 575000 | #Constraints: 36465
1828.90/1833.92 c #Conflicts: 576000 | #Constraints: 37465
1828.90/1833.92 c INPROCESSING
1828.90/1833.92 c GARBAGE COLLECT
1828.90/1833.92 c #Conflicts: 577000 | #Constraints: 23412
1828.90/1833.92 c #Conflicts: 578000 | #Constraints: 24412
1828.90/1833.92 c #Conflicts: 579000 | #Constraints: 25412
1828.90/1833.92 c #Conflicts: 580000 | #Constraints: 26412
1828.90/1833.92 c #Conflicts: 581000 | #Constraints: 27412
1828.90/1833.92 c #Conflicts: 582000 | #Constraints: 28413
1828.90/1833.92 c #Conflicts: 583000 | #Constraints: 29413
1828.90/1833.92 c #Conflicts: 584000 | #Constraints: 30413
1828.90/1833.92 c #Conflicts: 585000 | #Constraints: 31413
1828.90/1833.92 c #Conflicts: 586000 | #Constraints: 32413
1828.90/1833.92 c #Conflicts: 587000 | #Constraints: 33413
1828.90/1833.92 c #Conflicts: 588000 | #Constraints: 34413
1828.90/1833.92 c #Conflicts: 589000 | #Constraints: 35414
1828.90/1833.92 c #Conflicts: 590000 | #Constraints: 36414
1828.90/1833.92 c #Conflicts: 591000 | #Constraints: 37414
1828.90/1833.92 c INPROCESSING
1828.90/1833.92 c GARBAGE COLLECT
1828.90/1833.92 c rational objective 4501.5
1990.69/1996.18 c #Conflicts: 592000 | #Constraints: 23238
1990.69/1996.18 c #Conflicts: 593000 | #Constraints: 24238
1990.69/1996.18 c #Conflicts: 594000 | #Constraints: 25238
1990.69/1996.18 c #Conflicts: 595000 | #Constraints: 26238
1990.69/1996.18 c #Conflicts: 596000 | #Constraints: 27238
1990.69/1996.18 c #Conflicts: 597000 | #Constraints: 28238
1990.69/1996.18 c #Conflicts: 598000 | #Constraints: 29239
1990.69/1996.18 c #Conflicts: 599000 | #Constraints: 30240
1990.69/1996.18 c #Conflicts: 600000 | #Constraints: 31240
1990.69/1996.18 c #Conflicts: 601000 | #Constraints: 32240
1990.69/1996.18 c #Conflicts: 602000 | #Constraints: 33240
1990.69/1996.18 c #Conflicts: 603000 | #Constraints: 34241
1990.69/1996.18 c #Conflicts: 604000 | #Constraints: 35241
1990.69/1996.18 c #Conflicts: 605000 | #Constraints: 36242
1990.69/1996.18 c #Conflicts: 606000 | #Constraints: 37242
1990.69/1996.18 c #Conflicts: 607000 | #Constraints: 38243
1990.69/1996.18 c INPROCESSING
1990.69/1996.18 c GARBAGE COLLECT
1990.69/1996.18 c #Conflicts: 608000 | #Constraints: 23798
1990.69/1996.18 c #Conflicts: 609000 | #Constraints: 24798
1990.69/1996.18 c #Conflicts: 610000 | #Constraints: 25798
1990.69/1996.18 c #Conflicts: 611000 | #Constraints: 26798
1990.69/1996.18 c #Conflicts: 612000 | #Constraints: 27798
1990.69/1996.18 c #Conflicts: 613000 | #Constraints: 28799
1990.69/1996.18 c #Conflicts: 614000 | #Constraints: 29799
1990.69/1996.18 c #Conflicts: 615000 | #Constraints: 30799
1990.69/1996.18 c #Conflicts: 616000 | #Constraints: 31799
1990.69/1996.18 c #Conflicts: 617000 | #Constraints: 32799
1990.69/1996.18 c #Conflicts: 618000 | #Constraints: 33799
1990.69/1996.18 c #Conflicts: 619000 | #Constraints: 34799
1990.69/1996.18 c #Conflicts: 620000 | #Constraints: 35799
1990.69/1996.18 c #Conflicts: 621000 | #Constraints: 36800
1990.69/1996.18 c #Conflicts: 622000 | #Constraints: 37800
1990.69/1996.18 c #Conflicts: 623000 | #Constraints: 38800
1990.69/1996.18 c INPROCESSING
1990.69/1996.18 c GARBAGE COLLECT
1990.69/1996.18 c #Conflicts: 624000 | #Constraints: 24187
1990.69/1996.18 c #Conflicts: 625000 | #Constraints: 25187
1990.69/1996.18 c #Conflicts: 626000 | #Constraints: 26187
1990.69/1996.18 c #Conflicts: 627000 | #Constraints: 27187
1990.69/1996.18 c #Conflicts: 628000 | #Constraints: 28188
1990.69/1996.18 c #Conflicts: 629000 | #Constraints: 29188
1990.69/1996.18 c #Conflicts: 630000 | #Constraints: 30188
1990.69/1996.18 c #Conflicts: 631000 | #Constraints: 31189
1990.69/1996.18 c #Conflicts: 632000 | #Constraints: 32189
1990.69/1996.18 c #Conflicts: 633000 | #Constraints: 33189
1990.69/1996.18 c #Conflicts: 634000 | #Constraints: 34189
1990.69/1996.18 c #Conflicts: 635000 | #Constraints: 35189
1990.69/1996.18 c #Conflicts: 636000 | #Constraints: 36190
1990.69/1996.18 c #Conflicts: 637000 | #Constraints: 37190
1990.69/1996.18 c #Conflicts: 638000 | #Constraints: 38190
1990.69/1996.18 c #Conflicts: 639000 | #Constraints: 39190
1990.69/1996.18 c INPROCESSING
1990.69/1996.18 c GARBAGE COLLECT
1990.69/1996.18 c #Conflicts: 640000 | #Constraints: 24418
1990.69/1996.18 c #Conflicts: 641000 | #Constraints: 25418
1990.69/1996.18 c #Conflicts: 642000 | #Constraints: 26418
1990.69/1996.18 c #Conflicts: 643000 | #Constraints: 27418
1990.69/1996.18 c #Conflicts: 644000 | #Constraints: 28418
1990.69/1996.18 c #Conflicts: 645000 | #Constraints: 29418
1990.69/1996.18 c #Conflicts: 646000 | #Constraints: 30418
1990.69/1996.18 c #Conflicts: 647000 | #Constraints: 31419
1990.69/1996.18 c #Conflicts: 648000 | #Constraints: 32419
1990.69/1996.18 c #Conflicts: 649000 | #Constraints: 33419
1990.69/1996.18 c #Conflicts: 650000 | #Constraints: 34419
1990.69/1996.18 c #Conflicts: 651000 | #Constraints: 35420
1990.69/1996.18 c #Conflicts: 652000 | #Constraints: 36420
1990.69/1996.18 c #Conflicts: 653000 | #Constraints: 37420
1990.69/1996.18 c #Conflicts: 654000 | #Constraints: 38420
1990.69/1996.18 c #Conflicts: 655000 | #Constraints: 39420
1990.69/1996.18 c INPROCESSING
1990.69/1996.18 c GARBAGE COLLECT
1990.69/1996.18 c #Conflicts: 656000 | #Constraints: 24423
1990.69/1996.18 c #Conflicts: 657000 | #Constraints: 25423
1990.69/1996.18 c #Conflicts: 658000 | #Constraints: 26423
1990.69/1996.18 c #Conflicts: 659000 | #Constraints: 27424
1990.69/1996.18 c #Conflicts: 660000 | #Constraints: 28424
1990.69/1996.18 c #Conflicts: 661000 | #Constraints: 29424
1990.69/1996.18 c #Conflicts: 662000 | #Constraints: 30424
1990.69/1996.18 c #Conflicts: 663000 | #Constraints: 31424
1990.69/1996.18 c #Conflicts: 664000 | #Constraints: 32424
1990.69/1996.18 c #Conflicts: 665000 | #Constraints: 33424
1990.69/1996.18 c #Conflicts: 666000 | #Constraints: 34424
1990.69/1996.18 c #Conflicts: 667000 | #Constraints: 35424
1990.69/1996.18 c #Conflicts: 668000 | #Constraints: 36424
1994.37/1999.87 c #Conflicts: 669000 | #Constraints: 37424
1994.37/1999.87 c #Conflicts: 670000 | #Constraints: 38424
1994.37/1999.87 c #Conflicts: 671000 | #Constraints: 39424
1994.37/1999.87 c INPROCESSING
1994.37/1999.87 c GARBAGE COLLECT
1994.37/1999.87 c rational objective 4501.5
2091.43/2097.15 c #Conflicts: 672000 | #Constraints: 24256
2091.43/2097.15 c #Conflicts: 673000 | #Constraints: 25256
2091.43/2097.15 c #Conflicts: 674000 | #Constraints: 26256
2091.43/2097.15 c #Conflicts: 675000 | #Constraints: 27256
2091.43/2097.15 c #Conflicts: 676000 | #Constraints: 28256
2091.43/2097.15 c #Conflicts: 677000 | #Constraints: 29256
2091.43/2097.15 c #Conflicts: 678000 | #Constraints: 30256
2091.43/2097.15 c #Conflicts: 679000 | #Constraints: 31256
2091.43/2097.15 c #Conflicts: 680000 | #Constraints: 32256
2091.43/2097.15 c #Conflicts: 681000 | #Constraints: 33256
2091.43/2097.15 c #Conflicts: 682000 | #Constraints: 34256
2091.43/2097.15 c #Conflicts: 683000 | #Constraints: 35256
2091.43/2097.15 c #Conflicts: 684000 | #Constraints: 36256
2091.43/2097.15 c #Conflicts: 685000 | #Constraints: 37256
2091.43/2097.15 c #Conflicts: 686000 | #Constraints: 38258
2091.43/2097.15 c #Conflicts: 687000 | #Constraints: 39259
2091.43/2097.15 c #Conflicts: 688000 | #Constraints: 40259
2091.43/2097.15 c INPROCESSING
2091.43/2097.15 c GARBAGE COLLECT
2091.43/2097.15 c #Conflicts: 689000 | #Constraints: 24810
2091.43/2097.15 c #Conflicts: 690000 | #Constraints: 25811
2091.43/2097.15 c #Conflicts: 691000 | #Constraints: 26811
2091.43/2097.15 c #Conflicts: 692000 | #Constraints: 27811
2091.43/2097.15 c #Conflicts: 693000 | #Constraints: 28811
2091.43/2097.15 c #Conflicts: 694000 | #Constraints: 29812
2091.43/2097.15 c #Conflicts: 695000 | #Constraints: 30812
2091.43/2097.15 c #Conflicts: 696000 | #Constraints: 31812
2091.43/2097.15 c #Conflicts: 697000 | #Constraints: 32812
2091.43/2097.15 c #Conflicts: 698000 | #Constraints: 33812
2091.43/2097.15 c #Conflicts: 699000 | #Constraints: 34812
2091.43/2097.15 c #Conflicts: 700000 | #Constraints: 35812
2091.43/2097.15 c #Conflicts: 701000 | #Constraints: 36812
2091.43/2097.15 c #Conflicts: 702000 | #Constraints: 37812
2091.43/2097.15 c #Conflicts: 703000 | #Constraints: 38812
2091.43/2097.15 c #Conflicts: 704000 | #Constraints: 39812
2091.43/2097.15 c #Conflicts: 705000 | #Constraints: 40812
2091.43/2097.15 c INPROCESSING
2091.43/2097.15 c GARBAGE COLLECT
2091.43/2097.15 c rational objective 4501.5
2146.58/2152.43 c #Conflicts: 706000 | #Constraints: 25414
2146.58/2152.43 c #Conflicts: 707000 | #Constraints: 26414
2146.58/2152.43 c #Conflicts: 708000 | #Constraints: 27414
2146.58/2152.43 c #Conflicts: 709000 | #Constraints: 28414
2146.58/2152.43 c #Conflicts: 710000 | #Constraints: 29414
2146.58/2152.43 c #Conflicts: 711000 | #Constraints: 30414
2146.58/2152.43 c #Conflicts: 712000 | #Constraints: 31414
2146.58/2152.43 c #Conflicts: 713000 | #Constraints: 32414
2146.58/2152.43 c #Conflicts: 714000 | #Constraints: 33416
2146.58/2152.43 c #Conflicts: 715000 | #Constraints: 34416
2146.58/2152.43 c #Conflicts: 716000 | #Constraints: 35417
2146.58/2152.43 c #Conflicts: 717000 | #Constraints: 36417
2146.58/2152.43 c #Conflicts: 718000 | #Constraints: 37417
2146.58/2152.43 c #Conflicts: 719000 | #Constraints: 38418
2146.58/2152.43 c #Conflicts: 720000 | #Constraints: 39418
2146.58/2152.43 c #Conflicts: 721000 | #Constraints: 40418
2146.58/2152.43 c #Conflicts: 722000 | #Constraints: 41418
2146.58/2152.43 c INPROCESSING
2146.58/2152.43 c GARBAGE COLLECT
2146.58/2152.43 c rational objective 4501.5
2196.57/2202.57 c #Conflicts: 723000 | #Constraints: 25524
2196.57/2202.57 c #Conflicts: 724000 | #Constraints: 26525
2196.57/2202.57 c #Conflicts: 725000 | #Constraints: 27526
2196.57/2202.57 c #Conflicts: 726000 | #Constraints: 28526
2196.57/2202.57 c #Conflicts: 727000 | #Constraints: 29526
2196.57/2202.57 c #Conflicts: 728000 | #Constraints: 30528
2196.57/2202.57 c #Conflicts: 729000 | #Constraints: 31528
2196.57/2202.57 c #Conflicts: 730000 | #Constraints: 32528
2196.57/2202.57 c #Conflicts: 731000 | #Constraints: 33529
2196.57/2202.57 c #Conflicts: 732000 | #Constraints: 34529
2196.57/2202.57 c #Conflicts: 733000 | #Constraints: 35530
2196.57/2202.57 c #Conflicts: 734000 | #Constraints: 36530
2196.57/2202.57 c #Conflicts: 735000 | #Constraints: 37530
2196.57/2202.57 c #Conflicts: 736000 | #Constraints: 38530
2196.57/2202.57 c #Conflicts: 737000 | #Constraints: 39530
2196.57/2202.57 c #Conflicts: 738000 | #Constraints: 40531
2196.57/2202.57 c #Conflicts: 739000 | #Constraints: 41532
2196.57/2202.57 c INPROCESSING
2196.57/2202.57 c GARBAGE COLLECT
2196.57/2202.57 c #Conflicts: 740000 | #Constraints: 25469
2196.57/2202.57 c #Conflicts: 741000 | #Constraints: 26469
2196.57/2202.57 c #Conflicts: 742000 | #Constraints: 27469
2196.57/2202.57 c #Conflicts: 743000 | #Constraints: 28469
2196.57/2202.57 c #Conflicts: 744000 | #Constraints: 29469
2196.57/2202.57 c #Conflicts: 745000 | #Constraints: 30469
2196.57/2202.57 c #Conflicts: 746000 | #Constraints: 31469
2196.57/2202.57 c #Conflicts: 747000 | #Constraints: 32469
2196.57/2202.57 c #Conflicts: 748000 | #Constraints: 33471
2196.57/2202.57 c #Conflicts: 749000 | #Constraints: 34472
2196.57/2202.57 c #Conflicts: 750000 | #Constraints: 35472
2196.57/2202.57 c #Conflicts: 751000 | #Constraints: 36472
2196.57/2202.57 c #Conflicts: 752000 | #Constraints: 37472
2196.57/2202.57 c #Conflicts: 753000 | #Constraints: 38472
2196.57/2202.57 c #Conflicts: 754000 | #Constraints: 39472
2196.57/2202.57 c #Conflicts: 755000 | #Constraints: 40472
2196.57/2202.57 c #Conflicts: 756000 | #Constraints: 41472
2196.57/2202.57 c INPROCESSING
2196.57/2202.57 c GARBAGE COLLECT
2196.57/2202.57 c #Conflicts: 757000 | #Constraints: 25240
2196.57/2202.57 c #Conflicts: 758000 | #Constraints: 26241
2196.57/2202.57 c #Conflicts: 759000 | #Constraints: 27241
2196.57/2202.57 c #Conflicts: 760000 | #Constraints: 28241
2196.57/2202.57 c #Conflicts: 761000 | #Constraints: 29241
2196.57/2202.57 c #Conflicts: 762000 | #Constraints: 30242
2196.57/2202.57 c #Conflicts: 763000 | #Constraints: 31242
2196.57/2202.57 c #Conflicts: 764000 | #Constraints: 32242
2196.57/2202.57 c #Conflicts: 765000 | #Constraints: 33242
2196.57/2202.57 c #Conflicts: 766000 | #Constraints: 34242
2196.57/2202.57 c #Conflicts: 767000 | #Constraints: 35242
2196.57/2202.57 c #Conflicts: 768000 | #Constraints: 36242
2196.57/2202.57 c #Conflicts: 769000 | #Constraints: 37242
2196.57/2202.57 c #Conflicts: 770000 | #Constraints: 38242
2196.57/2202.57 c #Conflicts: 771000 | #Constraints: 39242
2196.57/2202.57 c #Conflicts: 772000 | #Constraints: 40243
2196.57/2202.57 c #Conflicts: 773000 | #Constraints: 41243
2196.57/2202.57 c #Conflicts: 774000 | #Constraints: 42243
2196.57/2202.57 c INPROCESSING
2196.57/2202.57 c GARBAGE COLLECT
2196.57/2202.57 c rational objective 4501.5
2215.92/2221.99 c #Conflicts: 775000 | #Constraints: 25828
2215.92/2221.99 c #Conflicts: 776000 | #Constraints: 26828
2215.92/2221.99 c #Conflicts: 777000 | #Constraints: 27829
2215.92/2221.99 c #Conflicts: 778000 | #Constraints: 28829
2215.92/2221.99 c #Conflicts: 779000 | #Constraints: 29829
2215.92/2221.99 c #Conflicts: 780000 | #Constraints: 30829
2215.92/2221.99 c #Conflicts: 781000 | #Constraints: 31829
2215.92/2221.99 c #Conflicts: 782000 | #Constraints: 32829
2215.92/2221.99 c #Conflicts: 783000 | #Constraints: 33829
2215.92/2221.99 c #Conflicts: 784000 | #Constraints: 34829
2215.92/2221.99 c #Conflicts: 785000 | #Constraints: 35829
2215.92/2221.99 c #Conflicts: 786000 | #Constraints: 36829
2215.92/2221.99 c #Conflicts: 787000 | #Constraints: 37830
2215.92/2221.99 c #Conflicts: 788000 | #Constraints: 38830
2215.92/2221.99 c #Conflicts: 789000 | #Constraints: 39830
2215.92/2221.99 c #Conflicts: 790000 | #Constraints: 40830
2215.92/2221.99 c #Conflicts: 791000 | #Constraints: 41830
2215.92/2221.99 c #Conflicts: 792000 | #Constraints: 42830
2215.92/2221.99 c INPROCESSING
2215.92/2221.99 c GARBAGE COLLECT
2215.92/2221.99 c rational objective 4501.5
2243.34/2249.47 c #Conflicts: 793000 | #Constraints: 26213
2243.34/2249.47 c #Conflicts: 794000 | #Constraints: 27213
2243.34/2249.47 c #Conflicts: 795000 | #Constraints: 28213
2243.34/2249.47 c #Conflicts: 796000 | #Constraints: 29213
2243.34/2249.47 c #Conflicts: 797000 | #Constraints: 30213
2243.34/2249.47 c #Conflicts: 798000 | #Constraints: 31213
2243.34/2249.47 c #Conflicts: 799000 | #Constraints: 32215
2243.34/2249.47 c #Conflicts: 800000 | #Constraints: 33215
2243.34/2249.47 c #Conflicts: 801000 | #Constraints: 34215
2243.34/2249.47 c #Conflicts: 802000 | #Constraints: 35216
2243.34/2249.47 c #Conflicts: 803000 | #Constraints: 36216
2243.34/2249.47 c #Conflicts: 804000 | #Constraints: 37216
2243.34/2249.47 c #Conflicts: 805000 | #Constraints: 38216
2243.34/2249.47 c #Conflicts: 806000 | #Constraints: 39216
2243.34/2249.47 c #Conflicts: 807000 | #Constraints: 40216
2243.34/2249.47 c #Conflicts: 808000 | #Constraints: 41216
2243.34/2249.47 c #Conflicts: 809000 | #Constraints: 42216
2243.34/2249.47 c #Conflicts: 810000 | #Constraints: 43216
2243.34/2249.47 c INPROCESSING
2243.34/2249.47 c GARBAGE COLLECT
2243.34/2249.47 c rational objective 4501.5
2294.82/2301.03 c #Conflicts: 811000 | #Constraints: 26394
2294.82/2301.03 c #Conflicts: 812000 | #Constraints: 27394
2294.82/2301.03 c #Conflicts: 813000 | #Constraints: 28395
2294.82/2301.03 c #Conflicts: 814000 | #Constraints: 29395
2294.82/2301.03 c #Conflicts: 815000 | #Constraints: 30395
2294.82/2301.03 c #Conflicts: 816000 | #Constraints: 31395
2294.82/2301.03 c #Conflicts: 817000 | #Constraints: 32395
2294.82/2301.03 c #Conflicts: 818000 | #Constraints: 33395
2294.82/2301.03 c #Conflicts: 819000 | #Constraints: 34395
2294.82/2301.03 c #Conflicts: 820000 | #Constraints: 35396
2294.82/2301.03 c #Conflicts: 821000 | #Constraints: 36396
2294.82/2301.03 c #Conflicts: 822000 | #Constraints: 37396
2294.82/2301.03 c #Conflicts: 823000 | #Constraints: 38396
2294.82/2301.03 c #Conflicts: 824000 | #Constraints: 39396
2294.82/2301.03 c #Conflicts: 825000 | #Constraints: 40396
2294.82/2301.03 c #Conflicts: 826000 | #Constraints: 41396
2294.82/2301.03 c #Conflicts: 827000 | #Constraints: 42396
2294.82/2301.03 c #Conflicts: 828000 | #Constraints: 43396
2294.82/2301.03 c INPROCESSING
2294.82/2301.03 c GARBAGE COLLECT
2294.82/2301.03 c rational objective 4501.5
2360.64/2367.08 c #Conflicts: 829000 | #Constraints: 26393
2360.64/2367.08 c #Conflicts: 830000 | #Constraints: 27393
2360.64/2367.08 c #Conflicts: 831000 | #Constraints: 28393
2360.64/2367.08 c #Conflicts: 832000 | #Constraints: 29393
2360.64/2367.08 c #Conflicts: 833000 | #Constraints: 30393
2360.64/2367.08 c #Conflicts: 834000 | #Constraints: 31393
2360.64/2367.08 c #Conflicts: 835000 | #Constraints: 32394
2360.64/2367.08 c #Conflicts: 836000 | #Constraints: 33394
2360.64/2367.08 c #Conflicts: 837000 | #Constraints: 34394
2360.64/2367.08 c #Conflicts: 838000 | #Constraints: 35395
2360.64/2367.08 c #Conflicts: 839000 | #Constraints: 36395
2360.64/2367.08 c #Conflicts: 840000 | #Constraints: 37395
2360.64/2367.08 c #Conflicts: 841000 | #Constraints: 38395
2360.64/2367.08 c #Conflicts: 842000 | #Constraints: 39396
2360.64/2367.08 c #Conflicts: 843000 | #Constraints: 40396
2360.64/2367.08 c #Conflicts: 844000 | #Constraints: 41397
2360.64/2367.08 c #Conflicts: 845000 | #Constraints: 42397
2360.64/2367.08 c #Conflicts: 846000 | #Constraints: 43397
2360.64/2367.08 c INPROCESSING
2360.64/2367.08 c GARBAGE COLLECT
2360.64/2367.08 c rational objective 4501.5
2457.00/2463.69 c #Conflicts: 847000 | #Constraints: 26198
2457.00/2463.69 c #Conflicts: 848000 | #Constraints: 27198
2457.00/2463.69 c #Conflicts: 849000 | #Constraints: 28198
2457.00/2463.69 c #Conflicts: 850000 | #Constraints: 29198
2457.00/2463.69 c #Conflicts: 851000 | #Constraints: 30198
2457.00/2463.69 c #Conflicts: 852000 | #Constraints: 31198
2457.00/2463.69 c #Conflicts: 853000 | #Constraints: 32198
2457.00/2463.69 c #Conflicts: 854000 | #Constraints: 33200
2457.00/2463.69 c #Conflicts: 855000 | #Constraints: 34201
2457.00/2463.69 c #Conflicts: 856000 | #Constraints: 35201
2457.00/2463.69 c #Conflicts: 857000 | #Constraints: 36201
2457.00/2463.69 c #Conflicts: 858000 | #Constraints: 37201
2457.00/2463.69 c #Conflicts: 859000 | #Constraints: 38201
2457.00/2463.69 c #Conflicts: 860000 | #Constraints: 39202
2457.00/2463.69 c #Conflicts: 861000 | #Constraints: 40202
2457.00/2463.69 c #Conflicts: 862000 | #Constraints: 41202
2457.00/2463.69 c #Conflicts: 863000 | #Constraints: 42202
2457.00/2463.69 c #Conflicts: 864000 | #Constraints: 43202
2457.00/2463.69 c #Conflicts: 865000 | #Constraints: 44202
2457.00/2463.69 c INPROCESSING
2457.00/2463.69 c GARBAGE COLLECT
2457.00/2463.69 c #Conflicts: 866000 | #Constraints: 26926
2457.00/2463.69 c #Conflicts: 867000 | #Constraints: 27926
2457.00/2463.69 c #Conflicts: 868000 | #Constraints: 28926
2457.00/2463.69 c #Conflicts: 869000 | #Constraints: 29926
2457.00/2463.69 c #Conflicts: 870000 | #Constraints: 30926
2457.00/2463.69 c #Conflicts: 871000 | #Constraints: 31926
2457.00/2463.69 c #Conflicts: 872000 | #Constraints: 32926
2457.00/2463.69 c #Conflicts: 873000 | #Constraints: 33926
2457.00/2463.69 c #Conflicts: 874000 | #Constraints: 34926
2457.00/2463.69 c #Conflicts: 875000 | #Constraints: 35927
2457.00/2463.69 c #Conflicts: 876000 | #Constraints: 36927
2457.00/2463.69 c #Conflicts: 877000 | #Constraints: 37927
2457.00/2463.69 c #Conflicts: 878000 | #Constraints: 38927
2457.00/2463.69 c #Conflicts: 879000 | #Constraints: 39927
2457.00/2463.69 c #Conflicts: 880000 | #Constraints: 40928
2457.00/2463.69 c #Conflicts: 881000 | #Constraints: 41928
2457.00/2463.69 c #Conflicts: 882000 | #Constraints: 42928
2457.00/2463.69 c #Conflicts: 883000 | #Constraints: 43928
2457.00/2463.69 c #Conflicts: 884000 | #Constraints: 44929
2457.00/2463.69 c INPROCESSING
2457.00/2463.69 c GARBAGE COLLECT
2457.00/2463.69 c rational objective 4501.5
2612.40/2619.46 c #Conflicts: 885000 | #Constraints: 27382
2612.40/2619.46 c #Conflicts: 886000 | #Constraints: 28382
2612.40/2619.46 c #Conflicts: 887000 | #Constraints: 29382
2612.40/2619.46 c #Conflicts: 888000 | #Constraints: 30384
2612.40/2619.46 c #Conflicts: 889000 | #Constraints: 31384
2612.40/2619.46 c #Conflicts: 890000 | #Constraints: 32384
2612.40/2619.46 c #Conflicts: 891000 | #Constraints: 33384
2612.40/2619.46 c #Conflicts: 892000 | #Constraints: 34384
2612.40/2619.46 c #Conflicts: 893000 | #Constraints: 35384
2612.40/2619.46 c #Conflicts: 894000 | #Constraints: 36384
2612.40/2619.46 c #Conflicts: 895000 | #Constraints: 37384
2612.40/2619.46 c #Conflicts: 896000 | #Constraints: 38384
2612.40/2619.46 c #Conflicts: 897000 | #Constraints: 39384
2612.40/2619.46 c #Conflicts: 898000 | #Constraints: 40385
2612.40/2619.46 c #Conflicts: 899000 | #Constraints: 41385
2612.40/2619.46 c #Conflicts: 900000 | #Constraints: 42385
2612.40/2619.46 c #Conflicts: 901000 | #Constraints: 43385
2612.40/2619.46 c #Conflicts: 902000 | #Constraints: 44386
2612.40/2619.46 c #Conflicts: 903000 | #Constraints: 45386
2612.40/2619.46 c INPROCESSING
2612.40/2619.46 c GARBAGE COLLECT
2612.40/2619.46 c #Conflicts: 904000 | #Constraints: 27492
2612.40/2619.46 c #Conflicts: 905000 | #Constraints: 28492
2612.40/2619.46 c #Conflicts: 906000 | #Constraints: 29492
2612.40/2619.46 c #Conflicts: 907000 | #Constraints: 30492
2612.40/2619.46 c #Conflicts: 908000 | #Constraints: 31492
2612.40/2619.46 c #Conflicts: 909000 | #Constraints: 32492
2612.40/2619.46 c #Conflicts: 910000 | #Constraints: 33492
2612.40/2619.46 c #Conflicts: 911000 | #Constraints: 34492
2612.40/2619.46 c #Conflicts: 912000 | #Constraints: 35493
2612.40/2619.46 c #Conflicts: 913000 | #Constraints: 36493
2612.40/2619.46 c #Conflicts: 914000 | #Constraints: 37493
2612.40/2619.46 c #Conflicts: 915000 | #Constraints: 38493
2612.40/2619.46 c #Conflicts: 916000 | #Constraints: 39493
2612.40/2619.46 c #Conflicts: 917000 | #Constraints: 40493
2612.40/2619.46 c #Conflicts: 918000 | #Constraints: 41493
2612.40/2619.46 c #Conflicts: 919000 | #Constraints: 42494
2612.40/2619.46 c #Conflicts: 920000 | #Constraints: 43494
2612.40/2619.46 c #Conflicts: 921000 | #Constraints: 44494
2612.40/2619.46 c #Conflicts: 922000 | #Constraints: 45494
2612.40/2619.46 c INPROCESSING
2612.40/2619.46 c GARBAGE COLLECT
2612.40/2619.46 c #Conflicts: 923000 | #Constraints: 27477
2612.40/2619.46 c #Conflicts: 924000 | #Constraints: 28478
2612.40/2619.46 c #Conflicts: 925000 | #Constraints: 29478
2612.40/2619.46 c #Conflicts: 926000 | #Constraints: 30478
2612.40/2619.46 c #Conflicts: 927000 | #Constraints: 31478
2612.40/2619.46 c #Conflicts: 928000 | #Constraints: 32479
2612.40/2619.46 c #Conflicts: 929000 | #Constraints: 33479
2612.40/2619.46 c #Conflicts: 930000 | #Constraints: 34479
2612.40/2619.46 c #Conflicts: 931000 | #Constraints: 35479
2612.40/2619.46 c #Conflicts: 932000 | #Constraints: 36479
2612.40/2619.46 c #Conflicts: 933000 | #Constraints: 37480
2612.40/2619.46 c #Conflicts: 934000 | #Constraints: 38480
2612.40/2619.46 c #Conflicts: 935000 | #Constraints: 39480
2612.40/2619.46 c #Conflicts: 936000 | #Constraints: 40480
2612.40/2619.46 c #Conflicts: 937000 | #Constraints: 41480
2612.40/2619.46 c #Conflicts: 938000 | #Constraints: 42480
2612.40/2619.46 c #Conflicts: 939000 | #Constraints: 43480
2612.40/2619.46 c #Conflicts: 940000 | #Constraints: 44480
2612.40/2619.46 c #Conflicts: 941000 | #Constraints: 45480
2612.40/2619.46 c INPROCESSING
2612.40/2619.46 c GARBAGE COLLECT
2612.40/2619.46 c rational objective 4501.5
2741.18/2748.59 c #Conflicts: 942000 | #Constraints: 27324
2741.18/2748.59 c #Conflicts: 943000 | #Constraints: 28324
2741.18/2748.59 c #Conflicts: 944000 | #Constraints: 29324
2741.18/2748.59 c #Conflicts: 945000 | #Constraints: 30324
2741.18/2748.59 c #Conflicts: 946000 | #Constraints: 31324
2741.18/2748.59 c #Conflicts: 947000 | #Constraints: 32324
2741.18/2748.59 c #Conflicts: 948000 | #Constraints: 33327
2741.18/2748.59 c #Conflicts: 949000 | #Constraints: 34328
2741.18/2748.59 c #Conflicts: 950000 | #Constraints: 35328
2741.18/2748.59 c #Conflicts: 951000 | #Constraints: 36328
2741.18/2748.59 c #Conflicts: 952000 | #Constraints: 37329
2741.18/2748.59 c #Conflicts: 953000 | #Constraints: 38330
2741.18/2748.59 c #Conflicts: 954000 | #Constraints: 39330
2741.18/2748.59 c #Conflicts: 955000 | #Constraints: 40330
2741.18/2748.59 c #Conflicts: 956000 | #Constraints: 41331
2741.18/2748.59 c #Conflicts: 957000 | #Constraints: 42331
2741.18/2748.59 c #Conflicts: 958000 | #Constraints: 43331
2741.18/2748.59 c #Conflicts: 959000 | #Constraints: 44331
2741.18/2748.59 c #Conflicts: 960000 | #Constraints: 45331
2741.18/2748.59 c #Conflicts: 961000 | #Constraints: 46332
2741.18/2748.59 c INPROCESSING
2741.18/2748.59 c GARBAGE COLLECT
2741.18/2748.59 c #Conflicts: 962000 | #Constraints: 27887
2741.18/2748.59 c #Conflicts: 963000 | #Constraints: 28887
2741.18/2748.59 c #Conflicts: 964000 | #Constraints: 29887
2741.18/2748.59 c #Conflicts: 965000 | #Constraints: 30888
2741.18/2748.59 c #Conflicts: 966000 | #Constraints: 31888
2741.18/2748.59 c #Conflicts: 967000 | #Constraints: 32889
2741.18/2748.59 c #Conflicts: 968000 | #Constraints: 33889
2741.18/2748.59 c #Conflicts: 969000 | #Constraints: 34889
2741.18/2748.59 c #Conflicts: 970000 | #Constraints: 35889
2741.18/2748.59 c #Conflicts: 971000 | #Constraints: 36889
2741.18/2748.59 c #Conflicts: 972000 | #Constraints: 37889
2741.18/2748.59 c #Conflicts: 973000 | #Constraints: 38889
2741.18/2748.59 c #Conflicts: 974000 | #Constraints: 39889
2741.18/2748.59 c #Conflicts: 975000 | #Constraints: 40890
2741.18/2748.59 c #Conflicts: 976000 | #Constraints: 41890
2741.18/2748.59 c #Conflicts: 977000 | #Constraints: 42890
2741.18/2748.59 c #Conflicts: 978000 | #Constraints: 43890
2741.18/2748.59 c #Conflicts: 979000 | #Constraints: 44890
2741.18/2748.59 c #Conflicts: 980000 | #Constraints: 45890
2741.18/2748.59 c #Conflicts: 981000 | #Constraints: 46890
2741.18/2748.59 c INPROCESSING
2741.18/2748.59 c GARBAGE COLLECT
2741.18/2748.59 c #Conflicts: 982000 | #Constraints: 28305
2741.18/2748.59 c #Conflicts: 983000 | #Constraints: 29305
2741.18/2748.59 c #Conflicts: 984000 | #Constraints: 30305
2741.18/2748.59 c #Conflicts: 985000 | #Constraints: 31305
2741.18/2748.59 c #Conflicts: 986000 | #Constraints: 32305
2741.18/2748.59 c #Conflicts: 987000 | #Constraints: 33305
2741.18/2748.59 c #Conflicts: 988000 | #Constraints: 34306
2741.18/2748.59 c #Conflicts: 989000 | #Constraints: 35306
2741.18/2748.59 c #Conflicts: 990000 | #Constraints: 36306
2741.18/2748.59 c #Conflicts: 991000 | #Constraints: 37306
2741.18/2748.59 c #Conflicts: 992000 | #Constraints: 38306
2741.18/2748.59 c #Conflicts: 993000 | #Constraints: 39306
2741.18/2748.59 c #Conflicts: 994000 | #Constraints: 40306
2741.18/2748.59 c #Conflicts: 995000 | #Constraints: 41307
2741.18/2748.59 c #Conflicts: 996000 | #Constraints: 42307
2741.18/2748.59 c #Conflicts: 997000 | #Constraints: 43307
2741.18/2748.59 c #Conflicts: 998000 | #Constraints: 44307
2741.18/2748.59 c #Conflicts: 999000 | #Constraints: 45307
2741.18/2748.59 c #Conflicts: 1000000 | #Constraints: 46307
2741.18/2748.59 c #Conflicts: 1001000 | #Constraints: 47307
2741.18/2748.59 c INPROCESSING
2741.18/2748.59 c GARBAGE COLLECT
2741.18/2748.59 c #Conflicts: 1002000 | #Constraints: 28540
2741.18/2748.59 c #Conflicts: 1003000 | #Constraints: 29540
2741.18/2748.59 c #Conflicts: 1004000 | #Constraints: 30540
2741.18/2748.59 c #Conflicts: 1005000 | #Constraints: 31540
2741.18/2748.59 c #Conflicts: 1006000 | #Constraints: 32540
2741.18/2748.59 c #Conflicts: 1007000 | #Constraints: 33540
2741.18/2748.59 c #Conflicts: 1008000 | #Constraints: 34540
2741.18/2748.59 c #Conflicts: 1009000 | #Constraints: 35540
2741.18/2748.59 c #Conflicts: 1010000 | #Constraints: 36541
2741.18/2748.59 c #Conflicts: 1011000 | #Constraints: 37541
2741.18/2748.59 c #Conflicts: 1012000 | #Constraints: 38541
2741.18/2748.59 c #Conflicts: 1013000 | #Constraints: 39541
2741.18/2748.59 c #Conflicts: 1014000 | #Constraints: 40541
2741.18/2748.59 c #Conflicts: 1015000 | #Constraints: 41541
2741.18/2748.59 c #Conflicts: 1016000 | #Constraints: 42541
2741.18/2748.59 c #Conflicts: 1017000 | #Constraints: 43541
2741.18/2748.59 c #Conflicts: 1018000 | #Constraints: 44541
2790.75/2798.24 c #Conflicts: 1019000 | #Constraints: 45541
2790.75/2798.24 c #Conflicts: 1020000 | #Constraints: 46541
2790.75/2798.24 c #Conflicts: 1021000 | #Constraints: 47541
2790.75/2798.24 c INPROCESSING
2790.75/2798.24 c GARBAGE COLLECT
2790.75/2798.24 c #Conflicts: 1022000 | #Constraints: 28567
2790.75/2798.24 c #Conflicts: 1023000 | #Constraints: 29567
2790.75/2798.24 c #Conflicts: 1024000 | #Constraints: 30567
2790.75/2798.24 c #Conflicts: 1025000 | #Constraints: 31567
2790.75/2798.24 c #Conflicts: 1026000 | #Constraints: 32567
2790.75/2798.24 c #Conflicts: 1027000 | #Constraints: 33567
2790.75/2798.24 c #Conflicts: 1028000 | #Constraints: 34567
2790.75/2798.24 c #Conflicts: 1029000 | #Constraints: 35567
2790.75/2798.24 c #Conflicts: 1030000 | #Constraints: 36567
2790.75/2798.24 c #Conflicts: 1031000 | #Constraints: 37567
2790.75/2798.24 c #Conflicts: 1032000 | #Constraints: 38567
2790.75/2798.24 c #Conflicts: 1033000 | #Constraints: 39567
2790.75/2798.24 c #Conflicts: 1034000 | #Constraints: 40567
2790.75/2798.24 c #Conflicts: 1035000 | #Constraints: 41567
2790.75/2798.24 c #Conflicts: 1036000 | #Constraints: 42567
2790.75/2798.24 c #Conflicts: 1037000 | #Constraints: 43567
2790.75/2798.24 c #Conflicts: 1038000 | #Constraints: 44567
2790.75/2798.24 c #Conflicts: 1039000 | #Constraints: 45567
2790.75/2798.24 c #Conflicts: 1040000 | #Constraints: 46568
2790.75/2798.24 c #Conflicts: 1041000 | #Constraints: 47568
2790.75/2798.24 c INPROCESSING
2790.75/2798.24 c GARBAGE COLLECT
2790.75/2798.24 c rational objective 4501.5
2821.97/2829.50 c #Conflicts: 1042000 | #Constraints: 28384
2821.97/2829.50 c #Conflicts: 1043000 | #Constraints: 29384
2821.97/2829.50 c #Conflicts: 1044000 | #Constraints: 30387
2821.97/2829.50 c #Conflicts: 1045000 | #Constraints: 31387
2821.97/2829.50 c #Conflicts: 1046000 | #Constraints: 32387
2821.97/2829.50 c #Conflicts: 1047000 | #Constraints: 33387
2821.97/2829.50 c #Conflicts: 1048000 | #Constraints: 34387
2821.97/2829.50 c #Conflicts: 1049000 | #Constraints: 35388
2821.97/2829.50 c #Conflicts: 1050000 | #Constraints: 36388
2821.97/2829.50 c #Conflicts: 1051000 | #Constraints: 37389
2821.97/2829.50 c #Conflicts: 1052000 | #Constraints: 38389
2821.97/2829.50 c #Conflicts: 1053000 | #Constraints: 39390
2821.97/2829.50 c #Conflicts: 1054000 | #Constraints: 40390
2821.97/2829.50 c #Conflicts: 1055000 | #Constraints: 41391
2821.97/2829.50 c #Conflicts: 1056000 | #Constraints: 42392
2821.97/2829.50 c #Conflicts: 1057000 | #Constraints: 43392
2821.97/2829.50 c #Conflicts: 1058000 | #Constraints: 44393
2821.97/2829.50 c #Conflicts: 1059000 | #Constraints: 45393
2821.97/2829.50 c #Conflicts: 1060000 | #Constraints: 46393
2821.97/2829.50 c #Conflicts: 1061000 | #Constraints: 47393
2821.97/2829.50 c #Conflicts: 1062000 | #Constraints: 48393
2821.97/2829.50 c INPROCESSING
2821.97/2829.50 c GARBAGE COLLECT
2821.97/2829.50 c rational objective 4501.5
2841.54/2849.16 c #Conflicts: 1063000 | #Constraints: 28931
2841.54/2849.16 c #Conflicts: 1064000 | #Constraints: 29932
2841.54/2849.16 c #Conflicts: 1065000 | #Constraints: 30933
2841.54/2849.16 c #Conflicts: 1066000 | #Constraints: 31934
2841.54/2849.16 c #Conflicts: 1067000 | #Constraints: 32934
2841.54/2849.16 c #Conflicts: 1068000 | #Constraints: 33934
2841.54/2849.16 c #Conflicts: 1069000 | #Constraints: 34935
2841.54/2849.16 c #Conflicts: 1070000 | #Constraints: 35935
2841.54/2849.16 c #Conflicts: 1071000 | #Constraints: 36935
2841.54/2849.16 c #Conflicts: 1072000 | #Constraints: 37935
2841.54/2849.16 c #Conflicts: 1073000 | #Constraints: 38935
2841.54/2849.16 c #Conflicts: 1074000 | #Constraints: 39935
2841.54/2849.16 c #Conflicts: 1075000 | #Constraints: 40936
2841.54/2849.16 c #Conflicts: 1076000 | #Constraints: 41936
2841.54/2849.16 c #Conflicts: 1077000 | #Constraints: 42937
2841.54/2849.16 c #Conflicts: 1078000 | #Constraints: 43937
2841.54/2849.16 c #Conflicts: 1079000 | #Constraints: 44938
2841.54/2849.16 c #Conflicts: 1080000 | #Constraints: 45938
2841.54/2849.16 c #Conflicts: 1081000 | #Constraints: 46938
2841.54/2849.16 c #Conflicts: 1082000 | #Constraints: 47939
2841.54/2849.16 c #Conflicts: 1083000 | #Constraints: 48939
2841.54/2849.16 c INPROCESSING
2841.54/2849.16 c GARBAGE COLLECT
2841.54/2849.16 c rational objective 4501.5
2860.98/2868.61 c #Conflicts: 1084000 | #Constraints: 29283
2860.98/2868.61 c #Conflicts: 1085000 | #Constraints: 30283
2860.98/2868.61 c #Conflicts: 1086000 | #Constraints: 31284
2860.98/2868.61 c #Conflicts: 1087000 | #Constraints: 32286
2860.98/2868.61 c #Conflicts: 1088000 | #Constraints: 33286
2860.98/2868.61 c #Conflicts: 1089000 | #Constraints: 34287
2860.98/2868.61 c #Conflicts: 1090000 | #Constraints: 35287
2860.98/2868.61 c #Conflicts: 1091000 | #Constraints: 36287
2860.98/2868.61 c #Conflicts: 1092000 | #Constraints: 37287
2860.98/2868.61 c #Conflicts: 1093000 | #Constraints: 38287
2860.98/2868.61 c #Conflicts: 1094000 | #Constraints: 39287
2860.98/2868.61 c #Conflicts: 1095000 | #Constraints: 40287
2860.98/2868.61 c #Conflicts: 1096000 | #Constraints: 41287
2860.98/2868.61 c #Conflicts: 1097000 | #Constraints: 42287
2860.98/2868.61 c #Conflicts: 1098000 | #Constraints: 43288
2860.98/2868.61 c #Conflicts: 1099000 | #Constraints: 44288
2860.98/2868.61 c #Conflicts: 1100000 | #Constraints: 45288
2860.98/2868.61 c #Conflicts: 1101000 | #Constraints: 46289
2860.98/2868.61 c #Conflicts: 1102000 | #Constraints: 47289
2860.98/2868.61 c #Conflicts: 1103000 | #Constraints: 48290
2860.98/2868.61 c #Conflicts: 1104000 | #Constraints: 49290
2860.98/2868.61 c INPROCESSING
2860.98/2868.61 c GARBAGE COLLECT
2860.98/2868.61 c rational objective 4501.5
2887.81/2895.60 c #Conflicts: 1105000 | #Constraints: 29474
2887.81/2895.60 c #Conflicts: 1106000 | #Constraints: 30474
2887.81/2895.60 c #Conflicts: 1107000 | #Constraints: 31474
2887.81/2895.60 c #Conflicts: 1108000 | #Constraints: 32474
2887.81/2895.60 c #Conflicts: 1109000 | #Constraints: 33474
2887.81/2895.60 c #Conflicts: 1110000 | #Constraints: 34475
2887.81/2895.60 c #Conflicts: 1111000 | #Constraints: 35476
2887.81/2895.60 c #Conflicts: 1112000 | #Constraints: 36476
2887.81/2895.60 c #Conflicts: 1113000 | #Constraints: 37476
2887.81/2895.60 c #Conflicts: 1114000 | #Constraints: 38477
2887.81/2895.60 c #Conflicts: 1115000 | #Constraints: 39478
2887.81/2895.60 c #Conflicts: 1116000 | #Constraints: 40479
2887.81/2895.60 c #Conflicts: 1117000 | #Constraints: 41480
2887.81/2895.60 c #Conflicts: 1118000 | #Constraints: 42481
2887.81/2895.60 c #Conflicts: 1119000 | #Constraints: 43481
2887.81/2895.60 c #Conflicts: 1120000 | #Constraints: 44482
2887.81/2895.60 c #Conflicts: 1121000 | #Constraints: 45482
2887.81/2895.60 c #Conflicts: 1122000 | #Constraints: 46482
2887.81/2895.60 c #Conflicts: 1123000 | #Constraints: 47484
2887.81/2895.60 c #Conflicts: 1124000 | #Constraints: 48484
2887.92/2895.60 c #Conflicts: 1125000 | #Constraints: 49484
2887.92/2895.60 c INPROCESSING
2887.92/2895.60 c GARBAGE COLLECT
2887.92/2895.60 c rational objective 4501.5
2904.77/2912.55 c #Conflicts: 1126000 | #Constraints: 29468
2904.77/2912.55 c #Conflicts: 1127000 | #Constraints: 30468
2904.77/2912.55 c #Conflicts: 1128000 | #Constraints: 31468
2904.77/2912.55 c #Conflicts: 1129000 | #Constraints: 32468
2904.77/2912.55 c #Conflicts: 1130000 | #Constraints: 33468
2904.77/2912.55 c #Conflicts: 1131000 | #Constraints: 34468
2904.77/2912.55 c #Conflicts: 1132000 | #Constraints: 35470
2904.77/2912.55 c #Conflicts: 1133000 | #Constraints: 36472
2904.77/2912.55 c #Conflicts: 1134000 | #Constraints: 37472
2904.77/2912.55 c #Conflicts: 1135000 | #Constraints: 38473
2904.77/2912.55 c #Conflicts: 1136000 | #Constraints: 39473
2904.77/2912.55 c #Conflicts: 1137000 | #Constraints: 40473
2904.77/2912.55 c #Conflicts: 1138000 | #Constraints: 41473
2904.77/2912.55 c #Conflicts: 1139000 | #Constraints: 42473
2904.77/2912.55 c #Conflicts: 1140000 | #Constraints: 43473
2904.77/2912.55 c #Conflicts: 1141000 | #Constraints: 44474
2904.77/2912.55 c #Conflicts: 1142000 | #Constraints: 45474
2904.77/2912.55 c #Conflicts: 1143000 | #Constraints: 46475
2904.77/2912.55 c #Conflicts: 1144000 | #Constraints: 47475
2904.77/2912.55 c #Conflicts: 1145000 | #Constraints: 48476
2904.77/2912.55 c #Conflicts: 1146000 | #Constraints: 49476
2904.77/2912.55 c INPROCESSING
2904.77/2912.55 c GARBAGE COLLECT
2904.77/2912.55 c rational objective 4501.5
2947.56/2955.45 c #Conflicts: 1147000 | #Constraints: 29239
2947.56/2955.45 c #Conflicts: 1148000 | #Constraints: 30239
2947.56/2955.45 c #Conflicts: 1149000 | #Constraints: 31239
2947.56/2955.45 c #Conflicts: 1150000 | #Constraints: 32239
2947.56/2955.45 c #Conflicts: 1151000 | #Constraints: 33239
2947.56/2955.45 c #Conflicts: 1152000 | #Constraints: 34239
2947.56/2955.45 c #Conflicts: 1153000 | #Constraints: 35239
2947.56/2955.45 c #Conflicts: 1154000 | #Constraints: 36241
2947.56/2955.45 c #Conflicts: 1155000 | #Constraints: 37241
2947.56/2955.45 c #Conflicts: 1156000 | #Constraints: 38242
2947.56/2955.45 c #Conflicts: 1157000 | #Constraints: 39242
2947.56/2955.45 c #Conflicts: 1158000 | #Constraints: 40242
2947.56/2955.45 c #Conflicts: 1159000 | #Constraints: 41242
2947.56/2955.45 c #Conflicts: 1160000 | #Constraints: 42242
2947.56/2955.45 c #Conflicts: 1161000 | #Constraints: 43242
2947.56/2955.45 c #Conflicts: 1162000 | #Constraints: 44242
2947.56/2955.45 c #Conflicts: 1163000 | #Constraints: 45242
2947.56/2955.45 c #Conflicts: 1164000 | #Constraints: 46242
2947.56/2955.45 c #Conflicts: 1165000 | #Constraints: 47242
2947.56/2955.45 c #Conflicts: 1166000 | #Constraints: 48242
2947.56/2955.45 c #Conflicts: 1167000 | #Constraints: 49242
2947.56/2955.45 c #Conflicts: 1168000 | #Constraints: 50242
2947.56/2955.45 c INPROCESSING
2947.56/2955.45 c GARBAGE COLLECT
2947.56/2955.45 c rational objective 4501.5
2978.19/2986.16 c #Conflicts: 1169000 | #Constraints: 29843
2978.19/2986.16 c #Conflicts: 1170000 | #Constraints: 30843
2978.19/2986.16 c #Conflicts: 1171000 | #Constraints: 31843
2978.19/2986.16 c #Conflicts: 1172000 | #Constraints: 32843
2978.19/2986.16 c #Conflicts: 1173000 | #Constraints: 33843
2978.19/2986.16 c #Conflicts: 1174000 | #Constraints: 34844
2978.19/2986.16 c #Conflicts: 1175000 | #Constraints: 35844
2978.19/2986.16 c #Conflicts: 1176000 | #Constraints: 36844
2978.19/2986.16 c #Conflicts: 1177000 | #Constraints: 37844
2978.19/2986.16 c #Conflicts: 1178000 | #Constraints: 38844
2978.19/2986.16 c #Conflicts: 1179000 | #Constraints: 39844
2978.19/2986.16 c #Conflicts: 1180000 | #Constraints: 40844
2978.19/2986.16 c #Conflicts: 1181000 | #Constraints: 41844
2978.19/2986.16 c #Conflicts: 1182000 | #Constraints: 42844
2978.19/2986.16 c #Conflicts: 1183000 | #Constraints: 43844
2978.19/2986.16 c #Conflicts: 1184000 | #Constraints: 44844
2978.19/2986.16 c #Conflicts: 1185000 | #Constraints: 45844
2978.19/2986.16 c #Conflicts: 1186000 | #Constraints: 46844
2978.19/2986.16 c #Conflicts: 1187000 | #Constraints: 47844
2978.19/2986.16 c #Conflicts: 1188000 | #Constraints: 48845
2978.19/2986.16 c #Conflicts: 1189000 | #Constraints: 49845
2978.19/2986.16 c #Conflicts: 1190000 | #Constraints: 50845
2978.19/2986.16 c INPROCESSING
2978.19/2986.16 c GARBAGE COLLECT
2978.19/2986.16 c rational objective 4501.5
3039.05/3047.18 c #Conflicts: 1191000 | #Constraints: 30217
3039.05/3047.18 c #Conflicts: 1192000 | #Constraints: 31217
3039.05/3047.18 c #Conflicts: 1193000 | #Constraints: 32217
3039.05/3047.18 c #Conflicts: 1194000 | #Constraints: 33217
3039.05/3047.18 c #Conflicts: 1195000 | #Constraints: 34217
3039.05/3047.18 c #Conflicts: 1196000 | #Constraints: 35217
3039.05/3047.18 c #Conflicts: 1197000 | #Constraints: 36217
3039.05/3047.18 c #Conflicts: 1198000 | #Constraints: 37217
3039.05/3047.18 c #Conflicts: 1199000 | #Constraints: 38217
3039.05/3047.18 c #Conflicts: 1200000 | #Constraints: 39217
3039.05/3047.18 c #Conflicts: 1201000 | #Constraints: 40217
3039.05/3047.18 c #Conflicts: 1202000 | #Constraints: 41217
3039.05/3047.18 c #Conflicts: 1203000 | #Constraints: 42217
3039.05/3047.18 c #Conflicts: 1204000 | #Constraints: 43217
3039.05/3047.18 c #Conflicts: 1205000 | #Constraints: 44217
3039.05/3047.18 c #Conflicts: 1206000 | #Constraints: 45217
3039.05/3047.18 c #Conflicts: 1207000 | #Constraints: 46217
3039.05/3047.18 c #Conflicts: 1208000 | #Constraints: 47217
3039.05/3047.18 c #Conflicts: 1209000 | #Constraints: 48217
3039.05/3047.18 c #Conflicts: 1210000 | #Constraints: 49217
3039.05/3047.18 c #Conflicts: 1211000 | #Constraints: 50217
3039.05/3047.18 c #Conflicts: 1212000 | #Constraints: 51217
3039.05/3047.18 c INPROCESSING
3039.05/3047.18 c GARBAGE COLLECT
3039.05/3047.18 c rational objective 4501.5
3158.04/3166.42 c #Conflicts: 1213000 | #Constraints: 30425
3158.04/3166.42 c #Conflicts: 1214000 | #Constraints: 31425
3158.04/3166.42 c #Conflicts: 1215000 | #Constraints: 32426
3158.04/3166.42 c #Conflicts: 1216000 | #Constraints: 33426
3158.04/3166.42 c #Conflicts: 1217000 | #Constraints: 34426
3158.04/3166.42 c #Conflicts: 1218000 | #Constraints: 35426
3158.04/3166.42 c #Conflicts: 1219000 | #Constraints: 36426
3158.04/3166.42 c #Conflicts: 1220000 | #Constraints: 37426
3158.04/3166.42 c #Conflicts: 1221000 | #Constraints: 38426
3158.04/3166.42 c #Conflicts: 1222000 | #Constraints: 39426
3158.04/3166.42 c #Conflicts: 1223000 | #Constraints: 40426
3158.04/3166.42 c #Conflicts: 1224000 | #Constraints: 41426
3158.04/3166.42 c #Conflicts: 1225000 | #Constraints: 42426
3158.04/3166.42 c #Conflicts: 1226000 | #Constraints: 43426
3158.04/3166.42 c #Conflicts: 1227000 | #Constraints: 44426
3158.04/3166.42 c #Conflicts: 1228000 | #Constraints: 45426
3158.04/3166.42 c #Conflicts: 1229000 | #Constraints: 46426
3158.04/3166.42 c #Conflicts: 1230000 | #Constraints: 47426
3158.04/3166.42 c #Conflicts: 1231000 | #Constraints: 48427
3158.04/3166.42 c #Conflicts: 1232000 | #Constraints: 49427
3158.04/3166.42 c #Conflicts: 1233000 | #Constraints: 50427
3158.04/3166.42 c #Conflicts: 1234000 | #Constraints: 51427
3158.04/3166.42 c INPROCESSING
3158.04/3166.42 c GARBAGE COLLECT
3158.04/3166.42 c rational objective 4501.5
3297.51/3306.28 c #Conflicts: 1235000 | #Constraints: 30410
3297.51/3306.28 c #Conflicts: 1236000 | #Constraints: 31410
3297.51/3306.28 c #Conflicts: 1237000 | #Constraints: 32410
3297.51/3306.28 c #Conflicts: 1238000 | #Constraints: 33410
3297.51/3306.28 c #Conflicts: 1239000 | #Constraints: 34410
3297.51/3306.28 c #Conflicts: 1240000 | #Constraints: 35410
3297.51/3306.28 c #Conflicts: 1241000 | #Constraints: 36410
3297.51/3306.28 c #Conflicts: 1242000 | #Constraints: 37410
3297.51/3306.28 c #Conflicts: 1243000 | #Constraints: 38411
3297.51/3306.28 c #Conflicts: 1244000 | #Constraints: 39411
3297.51/3306.28 c #Conflicts: 1245000 | #Constraints: 40411
3297.51/3306.28 c #Conflicts: 1246000 | #Constraints: 41411
3297.51/3306.28 c #Conflicts: 1247000 | #Constraints: 42411
3297.51/3306.28 c #Conflicts: 1248000 | #Constraints: 43411
3297.51/3306.28 c #Conflicts: 1249000 | #Constraints: 44411
3297.51/3306.28 c #Conflicts: 1250000 | #Constraints: 45411
3297.51/3306.28 c #Conflicts: 1251000 | #Constraints: 46411
3297.51/3306.28 c #Conflicts: 1252000 | #Constraints: 47411
3297.51/3306.28 c #Conflicts: 1253000 | #Constraints: 48411
3297.51/3306.28 c #Conflicts: 1254000 | #Constraints: 49411
3297.51/3306.28 c #Conflicts: 1255000 | #Constraints: 50411
3297.51/3306.28 c #Conflicts: 1256000 | #Constraints: 51411
3297.51/3306.28 c INPROCESSING
3297.51/3306.28 c GARBAGE COLLECT
3297.51/3306.28 c #Conflicts: 1257000 | #Constraints: 30213
3297.51/3306.28 c #Conflicts: 1258000 | #Constraints: 31213
3297.51/3306.28 c #Conflicts: 1259000 | #Constraints: 32213
3297.51/3306.28 c #Conflicts: 1260000 | #Constraints: 33213
3297.51/3306.28 c #Conflicts: 1261000 | #Constraints: 34213
3297.51/3306.28 c #Conflicts: 1262000 | #Constraints: 35213
3297.51/3306.28 c #Conflicts: 1263000 | #Constraints: 36213
3297.51/3306.28 c #Conflicts: 1264000 | #Constraints: 37213
3297.51/3306.28 c #Conflicts: 1265000 | #Constraints: 38213
3297.51/3306.28 c #Conflicts: 1266000 | #Constraints: 39213
3297.51/3306.28 c #Conflicts: 1267000 | #Constraints: 40213
3297.51/3306.28 c #Conflicts: 1268000 | #Constraints: 41213
3297.51/3306.28 c #Conflicts: 1269000 | #Constraints: 42213
3297.51/3306.28 c #Conflicts: 1270000 | #Constraints: 43213
3297.51/3306.28 c #Conflicts: 1271000 | #Constraints: 44213
3297.51/3306.28 c #Conflicts: 1272000 | #Constraints: 45213
3297.51/3306.28 c #Conflicts: 1273000 | #Constraints: 46213
3297.51/3306.28 c #Conflicts: 1274000 | #Constraints: 47213
3297.51/3306.28 c #Conflicts: 1275000 | #Constraints: 48213
3297.51/3306.28 c #Conflicts: 1276000 | #Constraints: 49213
3297.51/3306.28 c #Conflicts: 1277000 | #Constraints: 50213
3297.51/3306.28 c #Conflicts: 1278000 | #Constraints: 51213
3297.51/3306.28 c #Conflicts: 1279000 | #Constraints: 52213
3297.51/3306.28 c INPROCESSING
3297.51/3306.28 c GARBAGE COLLECT
3297.51/3306.28 c #Conflicts: 1280000 | #Constraints: 30807
3297.51/3306.28 c #Conflicts: 1281000 | #Constraints: 31807
3297.51/3306.28 c #Conflicts: 1282000 | #Constraints: 32807
3297.51/3306.28 c #Conflicts: 1283000 | #Constraints: 33807
3297.51/3306.28 c #Conflicts: 1284000 | #Constraints: 34807
3297.51/3306.28 c #Conflicts: 1285000 | #Constraints: 35807
3297.51/3306.28 c #Conflicts: 1286000 | #Constraints: 36807
3297.51/3306.28 c #Conflicts: 1287000 | #Constraints: 37807
3297.51/3306.28 c #Conflicts: 1288000 | #Constraints: 38807
3297.51/3306.28 c #Conflicts: 1289000 | #Constraints: 39807
3297.51/3306.28 c #Conflicts: 1290000 | #Constraints: 40809
3297.51/3306.28 c #Conflicts: 1291000 | #Constraints: 41809
3297.51/3306.28 c #Conflicts: 1292000 | #Constraints: 42809
3297.51/3306.28 c #Conflicts: 1293000 | #Constraints: 43809
3297.51/3306.28 c #Conflicts: 1294000 | #Constraints: 44809
3297.51/3306.28 c #Conflicts: 1295000 | #Constraints: 45810
3297.51/3306.28 c #Conflicts: 1296000 | #Constraints: 46810
3297.51/3306.28 c #Conflicts: 1297000 | #Constraints: 47810
3297.51/3306.28 c #Conflicts: 1298000 | #Constraints: 48810
3297.51/3306.28 c #Conflicts: 1299000 | #Constraints: 49810
3297.51/3306.28 c #Conflicts: 1300000 | #Constraints: 50810
3297.51/3306.28 c #Conflicts: 1301000 | #Constraints: 51810
3297.51/3306.28 c #Conflicts: 1302000 | #Constraints: 52811
3297.51/3306.28 c INPROCESSING
3297.51/3306.28 c GARBAGE COLLECT
3297.51/3306.28 c #Conflicts: 1303000 | #Constraints: 31288
3297.51/3306.28 c #Conflicts: 1304000 | #Constraints: 32288
3297.51/3306.28 c #Conflicts: 1305000 | #Constraints: 33288
3297.51/3306.28 c #Conflicts: 1306000 | #Constraints: 34288
3297.51/3306.28 c #Conflicts: 1307000 | #Constraints: 35289
3297.51/3306.28 c #Conflicts: 1308000 | #Constraints: 36289
3297.51/3306.28 c #Conflicts: 1309000 | #Constraints: 37289
3297.51/3306.28 c #Conflicts: 1310000 | #Constraints: 38289
3297.51/3306.28 c #Conflicts: 1311000 | #Constraints: 39289
3325.85/3334.69 c #Conflicts: 1312000 | #Constraints: 40289
3325.85/3334.69 c #Conflicts: 1313000 | #Constraints: 41289
3325.85/3334.69 c #Conflicts: 1314000 | #Constraints: 42289
3325.85/3334.69 c #Conflicts: 1315000 | #Constraints: 43289
3325.85/3334.69 c #Conflicts: 1316000 | #Constraints: 44289
3325.85/3334.69 c #Conflicts: 1317000 | #Constraints: 45289
3325.85/3334.69 c #Conflicts: 1318000 | #Constraints: 46289
3325.85/3334.69 c #Conflicts: 1319000 | #Constraints: 47290
3325.85/3334.69 c #Conflicts: 1320000 | #Constraints: 48290
3325.85/3334.69 c #Conflicts: 1321000 | #Constraints: 49290
3325.85/3334.69 c #Conflicts: 1322000 | #Constraints: 50290
3325.85/3334.69 c #Conflicts: 1323000 | #Constraints: 51290
3325.85/3334.69 c #Conflicts: 1324000 | #Constraints: 52290
3325.85/3334.69 c #Conflicts: 1325000 | #Constraints: 53290
3325.85/3334.69 c INPROCESSING
3325.85/3334.69 c GARBAGE COLLECT
3325.85/3334.69 c #Conflicts: 1326000 | #Constraints: 31560
3325.85/3334.69 c #Conflicts: 1327000 | #Constraints: 32560
3325.85/3334.69 c #Conflicts: 1328000 | #Constraints: 33560
3325.85/3334.69 c #Conflicts: 1329000 | #Constraints: 34560
3325.85/3334.69 c #Conflicts: 1330000 | #Constraints: 35560
3325.85/3334.69 c #Conflicts: 1331000 | #Constraints: 36560
3325.85/3334.69 c #Conflicts: 1332000 | #Constraints: 37560
3325.85/3334.69 c #Conflicts: 1333000 | #Constraints: 38560
3325.85/3334.69 c #Conflicts: 1334000 | #Constraints: 39560
3325.85/3334.69 c #Conflicts: 1335000 | #Constraints: 40560
3325.85/3334.69 c #Conflicts: 1336000 | #Constraints: 41560
3325.85/3334.69 c #Conflicts: 1337000 | #Constraints: 42560
3325.85/3334.69 c #Conflicts: 1338000 | #Constraints: 43560
3325.85/3334.69 c #Conflicts: 1339000 | #Constraints: 44560
3325.85/3334.69 c #Conflicts: 1340000 | #Constraints: 45560
3325.85/3334.69 c #Conflicts: 1341000 | #Constraints: 46561
3325.85/3334.69 c #Conflicts: 1342000 | #Constraints: 47561
3325.85/3334.69 c #Conflicts: 1343000 | #Constraints: 48562
3325.85/3334.69 c #Conflicts: 1344000 | #Constraints: 49562
3325.85/3334.69 c #Conflicts: 1345000 | #Constraints: 50562
3325.85/3334.69 c #Conflicts: 1346000 | #Constraints: 51562
3325.85/3334.69 c #Conflicts: 1347000 | #Constraints: 52562
3325.85/3334.69 c #Conflicts: 1348000 | #Constraints: 53563
3325.85/3334.69 c INPROCESSING
3325.85/3334.69 c GARBAGE COLLECT
3325.85/3334.69 c rational objective 4501.5
3387.50/3396.44 c #Conflicts: 1349000 | #Constraints: 31630
3387.50/3396.44 c #Conflicts: 1350000 | #Constraints: 32630
3387.50/3396.44 c #Conflicts: 1351000 | #Constraints: 33633
3387.50/3396.44 c #Conflicts: 1352000 | #Constraints: 34634
3387.50/3396.44 c #Conflicts: 1353000 | #Constraints: 35634
3387.50/3396.44 c #Conflicts: 1354000 | #Constraints: 36635
3387.50/3396.44 c #Conflicts: 1355000 | #Constraints: 37635
3387.50/3396.44 c #Conflicts: 1356000 | #Constraints: 38635
3387.50/3396.44 c #Conflicts: 1357000 | #Constraints: 39635
3387.50/3396.44 c #Conflicts: 1358000 | #Constraints: 40635
3387.50/3396.44 c #Conflicts: 1359000 | #Constraints: 41635
3387.50/3396.44 c #Conflicts: 1360000 | #Constraints: 42635
3387.50/3396.44 c #Conflicts: 1361000 | #Constraints: 43635
3387.50/3396.44 c #Conflicts: 1362000 | #Constraints: 44635
3387.50/3396.44 c #Conflicts: 1363000 | #Constraints: 45635
3387.50/3396.44 c #Conflicts: 1364000 | #Constraints: 46635
3387.50/3396.44 c #Conflicts: 1365000 | #Constraints: 47635
3387.50/3396.44 c #Conflicts: 1366000 | #Constraints: 48635
3387.50/3396.44 c #Conflicts: 1367000 | #Constraints: 49636
3387.50/3396.44 c #Conflicts: 1368000 | #Constraints: 50636
3387.50/3396.44 c #Conflicts: 1369000 | #Constraints: 51636
3387.50/3396.44 c #Conflicts: 1370000 | #Constraints: 52636
3387.50/3396.44 c #Conflicts: 1371000 | #Constraints: 53636
3387.50/3396.44 c INPROCESSING
3387.50/3396.44 c GARBAGE COLLECT
3387.50/3396.44 c #Conflicts: 1372000 | #Constraints: 31319
3387.50/3396.44 c #Conflicts: 1373000 | #Constraints: 32320
3387.50/3396.44 c #Conflicts: 1374000 | #Constraints: 33320
3387.50/3396.44 c #Conflicts: 1375000 | #Constraints: 34320
3387.50/3396.44 c #Conflicts: 1376000 | #Constraints: 35320
3387.50/3396.44 c #Conflicts: 1377000 | #Constraints: 36320
3387.50/3396.44 c #Conflicts: 1378000 | #Constraints: 37320
3387.50/3396.44 c #Conflicts: 1379000 | #Constraints: 38320
3387.50/3396.44 c #Conflicts: 1380000 | #Constraints: 39320
3387.50/3396.44 c #Conflicts: 1381000 | #Constraints: 40320
3387.50/3396.44 c #Conflicts: 1382000 | #Constraints: 41320
3387.50/3396.44 c #Conflicts: 1383000 | #Constraints: 42320
3387.50/3396.44 c #Conflicts: 1384000 | #Constraints: 43320
3387.50/3396.44 c #Conflicts: 1385000 | #Constraints: 44320
3387.50/3396.44 c #Conflicts: 1386000 | #Constraints: 45320
3387.50/3396.44 c #Conflicts: 1387000 | #Constraints: 46320
3387.50/3396.44 c #Conflicts: 1388000 | #Constraints: 47320
3387.50/3396.44 c #Conflicts: 1389000 | #Constraints: 48320
3387.50/3396.44 c #Conflicts: 1390000 | #Constraints: 49320
3387.50/3396.44 c #Conflicts: 1391000 | #Constraints: 50320
3387.50/3396.44 c #Conflicts: 1392000 | #Constraints: 51320
3387.50/3396.44 c #Conflicts: 1393000 | #Constraints: 52320
3387.50/3396.44 c #Conflicts: 1394000 | #Constraints: 53320
3387.50/3396.44 c #Conflicts: 1395000 | #Constraints: 54320
3387.50/3396.44 c INPROCESSING
3387.50/3396.44 c GARBAGE COLLECT
3387.50/3396.44 c rational objective 4501.5
3441.26/3450.34 c #Conflicts: 1396000 | #Constraints: 31863
3441.26/3450.34 c #Conflicts: 1397000 | #Constraints: 32863
3441.26/3450.34 c #Conflicts: 1398000 | #Constraints: 33864
3441.26/3450.34 c #Conflicts: 1399000 | #Constraints: 34864
3441.26/3450.34 c #Conflicts: 1400000 | #Constraints: 35864
3441.26/3450.34 c #Conflicts: 1401000 | #Constraints: 36864
3441.26/3450.34 c #Conflicts: 1402000 | #Constraints: 37864
3441.26/3450.34 c #Conflicts: 1403000 | #Constraints: 38864
3441.26/3450.34 c #Conflicts: 1404000 | #Constraints: 39864
3441.26/3450.34 c #Conflicts: 1405000 | #Constraints: 40864
3441.26/3450.34 c #Conflicts: 1406000 | #Constraints: 41864
3441.26/3450.34 c #Conflicts: 1407000 | #Constraints: 42865
3441.26/3450.34 c #Conflicts: 1408000 | #Constraints: 43865
3441.26/3450.34 c #Conflicts: 1409000 | #Constraints: 44865
3441.26/3450.34 c #Conflicts: 1410000 | #Constraints: 45865
3441.26/3450.34 c #Conflicts: 1411000 | #Constraints: 46865
3441.26/3450.34 c #Conflicts: 1412000 | #Constraints: 47865
3441.26/3450.34 c #Conflicts: 1413000 | #Constraints: 48865
3441.26/3450.34 c #Conflicts: 1414000 | #Constraints: 49865
3441.26/3450.34 c #Conflicts: 1415000 | #Constraints: 50865
3441.26/3450.34 c #Conflicts: 1416000 | #Constraints: 51865
3441.26/3450.34 c #Conflicts: 1417000 | #Constraints: 52865
3441.26/3450.34 c #Conflicts: 1418000 | #Constraints: 53865
3441.26/3450.34 c #Conflicts: 1419000 | #Constraints: 54865
3441.26/3450.34 c INPROCESSING
3441.26/3450.34 c GARBAGE COLLECT
3441.26/3450.34 c rational objective 4501.5
3525.45/3534.74 c #Conflicts: 1420000 | #Constraints: 32393
3525.45/3534.74 c #Conflicts: 1421000 | #Constraints: 33393
3525.45/3534.74 c #Conflicts: 1422000 | #Constraints: 34393
3525.45/3534.74 c #Conflicts: 1423000 | #Constraints: 35393
3525.45/3534.74 c #Conflicts: 1424000 | #Constraints: 36393
3525.45/3534.74 c #Conflicts: 1425000 | #Constraints: 37393
3525.45/3534.74 c #Conflicts: 1426000 | #Constraints: 38393
3525.45/3534.74 c #Conflicts: 1427000 | #Constraints: 39393
3525.45/3534.74 c #Conflicts: 1428000 | #Constraints: 40393
3525.45/3534.74 c #Conflicts: 1429000 | #Constraints: 41393
3525.45/3534.74 c #Conflicts: 1430000 | #Constraints: 42393
3525.45/3534.74 c #Conflicts: 1431000 | #Constraints: 43393
3525.45/3534.74 c #Conflicts: 1432000 | #Constraints: 44393
3525.45/3534.74 c #Conflicts: 1433000 | #Constraints: 45393
3525.45/3534.74 c #Conflicts: 1434000 | #Constraints: 46393
3525.45/3534.74 c #Conflicts: 1435000 | #Constraints: 47393
3525.45/3534.74 c #Conflicts: 1436000 | #Constraints: 48393
3525.45/3534.74 c #Conflicts: 1437000 | #Constraints: 49393
3525.45/3534.74 c #Conflicts: 1438000 | #Constraints: 50393
3525.45/3534.74 c #Conflicts: 1439000 | #Constraints: 51393
3525.45/3534.74 c #Conflicts: 1440000 | #Constraints: 52393
3525.45/3534.74 c #Conflicts: 1441000 | #Constraints: 53393
3525.45/3534.74 c #Conflicts: 1442000 | #Constraints: 54393
3525.45/3534.74 c #Conflicts: 1443000 | #Constraints: 55393
3525.45/3534.74 c INPROCESSING
3525.45/3534.74 c GARBAGE COLLECT
3525.45/3534.74 c rational objective 4501.5
3600.08/3609.50 c #Conflicts: 1444000 | #Constraints: 32498
3600.08/3609.50 c #Conflicts: 1445000 | #Constraints: 33498
3600.08/3609.50 c #Conflicts: 1446000 | #Constraints: 34498
3600.08/3609.50 c #Conflicts: 1447000 | #Constraints: 35498
3600.08/3609.50 c #Conflicts: 1448000 | #Constraints: 36498
3600.08/3609.50 c #Conflicts: 1449000 | #Constraints: 37498
3600.08/3609.50 c #Conflicts: 1450000 | #Constraints: 38499
3600.08/3609.50 c #Conflicts: 1451000 | #Constraints: 39499
3600.08/3609.50 c #Conflicts: 1452000 | #Constraints: 40499
3600.08/3609.50 c #Conflicts: 1453000 | #Constraints: 41499
3600.08/3609.50 c #Conflicts: 1454000 | #Constraints: 42499
3600.08/3609.50 c #Conflicts: 1455000 | #Constraints: 43499
3600.08/3609.50 c #Conflicts: 1456000 | #Constraints: 44499
3600.08/3609.50 c #Conflicts: 1457000 | #Constraints: 45499
3600.08/3609.50 c #Conflicts: 1458000 | #Constraints: 46499
3600.08/3609.50 c #Conflicts: 1459000 | #Constraints: 47499
3600.08/3609.50 c #Conflicts: 1460000 | #Constraints: 48499
3600.08/3609.50 c #Conflicts: 1461000 | #Constraints: 49499
3600.08/3609.50 c #Conflicts: 1462000 | #Constraints: 50499
3600.08/3609.50 c #Conflicts: 1463000 | #Constraints: 51499
3600.08/3609.50 c #Conflicts: 1464000 | #Constraints: 52499
3600.08/3609.50 c #Conflicts: 1465000 | #Constraints: 53499
3600.08/3609.50 c #Conflicts: 1466000 | #Constraints: 54499
3600.08/3609.50 c #Conflicts: 1467000 | #Constraints: 55499
3600.08/3609.50 c INPROCESSING
3600.08/3609.50 c GARBAGE COLLECT
3600.08/3609.50 c cpu time 3575.85 s
3600.08/3609.50 c deterministic time 432203742917 4.32e+11
3600.08/3609.50 c optimization time 1.30272 s
3600.08/3609.50 c total solve time 3574.52 s
3600.08/3609.50 c core-guided solve time 0 s
3600.08/3609.50 c propagation time 1606.91 s
3600.08/3609.50 c conflict analysis time 785.921 s
3600.08/3609.50 c propagations 563130812
3600.08/3609.50 c resolve steps 11475931
3600.08/3609.50 c decisions 11464660
3600.08/3609.50 c conflicts 1467200
3600.08/3609.50 c restarts 2812
3600.08/3609.50 c inprocessing phases 112
3600.08/3609.50 c garbage collections 112 ,( 100.00 )
3600.08/3609.50 c input clauses 6004 ,( 80.00 )
3600.08/3609.50 c input cardinalities 1500 ,( 19.99 )
3600.08/3609.50 c input general constraints 1 ,( 0.01 )
3600.08/3609.50 c input average constraint length 4.00
3600.08/3609.50 c input average constraint degree 2.40
3600.08/3609.50 c learned clauses 139834 ,( 9.53 )
3600.08/3609.50 c learned cardinalities 19524 ,( 1.33 )
3600.08/3609.50 c learned general constraints 1308150 ,( 89.14 )
3600.08/3609.50 c learned average constraint length 1713.70
3600.08/3609.50 c learned average constraint degree 1262712194.88
3600.08/3609.50 c watched CF 32, 64, 128, Arb: 920770 , 0 , 0 , 0
3600.08/3609.50 c counting CF 32, 64, 128, Arb: 387381 , 0 , 0 , 0
3600.08/3609.50 c watched constraints 920770 ,( 70.39 )
3600.08/3609.50 c counting constraints 387381 ,( 29.61 )
3600.08/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 150952144 , 116101115 , 1115484929 ,( 611449048 , 504035881 )
3600.08/3609.50 c gcd simplifications 20382
3600.08/3609.50 c detected cardinalities 1147
3600.08/3609.50 c weakened non-implied lits 462304758
3600.08/3609.50 c weakened non-implying lits 100845
3600.08/3609.50 c original variables 9003
3600.08/3609.50 c clausal propagations 143266816
3600.08/3609.50 c cardinality propagations 64890295
3600.08/3609.50 c watched propagations 111427050
3600.08/3609.50 c counting propagations 149047454
3600.08/3609.50 c watch lookups 41171772406
3600.08/3609.50 c watch backjump lookups 0
3600.08/3609.50 c watch checks 266785258803
3600.08/3609.50 c propagation checks 118224257141
3600.08/3609.50 c constraint additions 4871492837
3600.08/3609.50 c trail pops 576062433
3600.08/3609.50 c formula constraints 7505
3600.08/3609.50 c learned constraints 1466961
3600.08/3609.50 c bound constraints 0
3600.08/3609.50 c core-guided constraints 0
3600.08/3609.50 c encountered formula constraints 10270072
3600.08/3609.50 c encountered learned constraints 2622617
3600.08/3609.50 c encountered bound constraints 0
3600.08/3609.50 c encountered core-guided constraints 0
3600.08/3609.50 c LP total time 77.7214 s
3600.08/3609.50 c LP solve time 62.55 s
3600.08/3609.50 c LP constraints added 7574
3600.08/3609.50 c LP constraints removed 64
3600.08/3609.50 c LP pivots internal 146826
3600.08/3609.50 c LP pivots root 156998
3600.08/3609.50 c LP calls 275
3600.08/3609.50 c LP optimalities 31
3600.08/3609.50 c LP no pivot count 0
3600.08/3609.50 c LP infeasibilities 239
3600.08/3609.50 c LP valid Farkas constraints 239
3600.08/3609.50 c LP learned Farkas constraints 239
3600.08/3609.50 c LP basis resets 0
3600.08/3609.50 c LP cycling count 0
3600.08/3609.50 c LP singular count 0
3600.08/3609.50 c LP no primal count 0
3600.08/3609.50 c LP no farkas count 0
3600.08/3609.50 c LP other issue count 0
3600.08/3609.50 c LP Gomory cuts 69
3600.08/3609.50 c LP learned cuts 0
3600.08/3609.50 c LP deleted cuts 64
3600.08/3609.50 c LP encountered Gomory constraints 2
3600.08/3609.50 c LP encountered Farkas constraints 44975
3600.08/3609.50 c LP encountered learned Farkas constraints 5226
3600.08/3609.50 c CG auxiliary variables introduced 0
3600.08/3609.50 c CG solutions found 0
3600.08/3609.50 c CG cores constructed 0
3600.08/3609.50 c CG core cardinality constraints returned 0
3600.08/3609.50 c CG unit cores 0
3600.08/3609.50 c CG single cores 0
3600.08/3609.50 c CG blocks removed during cardinality reduction 0
3600.08/3609.50 c CG first core best 0
3600.08/3609.50 c CG decision core best 0
3600.08/3609.50 c CG core reduction tie 0
3600.08/3609.50 c CG core degree average 0.00
3600.08/3609.50 c CG core slack average 0.00
3600.08/3609.50 c CG core upper bound improvements 0
3600.08/3609.50 c STR number of successful calls 0
3600.08/3609.50 c STR number of unsuccessful calls 0
3600.08/3609.50 c STR number of inconclusive calls 0
3600.08/3609.50 c STR number of successful attempts 0
3600.08/3609.50 c STR number of unsuccessful attempts 0
3600.08/3609.50 c STR number of inconclusive attempts 0
3600.08/3609.50 c STR average degree increase per successful call inf
3600.08/3609.50 c STR average degree increase per successful attempt inf
3600.08/3609.50 c STR total number of conflicts for successful attempts 0
3600.08/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.50 c STR average number of conflicts per successful attempt inf
3600.08/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.50 c AVG.sumWPerc 28.99
3600.08/3609.50 c bigint constraints 0
3600.08/3609.50 s UNKNOWN
3600.08/3609.50 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 (54905 MiB free)
memory of node 1: 64465 MiB (53856 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544182-1753206858/watcher-4544182-1753206858 -o /tmp/evaluation-result-4544182-1753206858/solver-4544182-1753206858 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753198973-167713 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4544182-1753206858.opb /tmp/proof-4544182-1753206858
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=170665, runsolver pid=170662
[startup+0.100064 s]*
/proc/loadavg: 4.16 4.16 4.13 5/274 170667
/proc/meminfo: memFree=111372172/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=73892 memory=29592 CPUtime=0.08 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 5272 0 0 0 6 2 0 0 20 0 1 0 236364484 75665408 7398 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 18473 7398 2336 1147 0 5900 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32664 KiB
[startup+0.205932 s]*
/proc/loadavg: 4.16 4.16 4.13 5/274 170667
/proc/meminfo: memFree=111372172/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=73892 memory=29592 CPUtime=0.19 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 5272 0 0 0 17 2 0 0 20 0 1 0 236364484 75665408 7398 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 18473 7398 2336 1147 0 5900 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32664 KiB
[startup+0.305773 s]*
/proc/loadavg: 4.16 4.16 4.13 5/274 170667
/proc/meminfo: memFree=111372172/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=73892 memory=29592 CPUtime=0.29 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 5272 0 0 0 27 2 0 0 20 0 1 0 236364484 75665408 7398 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 18473 7398 2336 1147 0 5900 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32664 KiB
[startup+0.700197 s]
/proc/loadavg: 4.16 4.16 4.13 5/274 170667
/proc/meminfo: memFree=111372172/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=73892 memory=29592 CPUtime=0.68 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 5275 0 0 0 66 2 0 0 20 0 1 0 236364484 75665408 7398 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 18473 7398 2336 1147 0 5900 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32664 KiB
[startup+1.50021 s]
/proc/loadavg: 4.16 4.16 4.13 5/274 170667
/proc/meminfo: memFree=111356044/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=73892 memory=29592 CPUtime=1.48 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 5275 0 0 0 146 2 0 0 20 0 1 0 236364484 75665408 7398 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 18473 7398 2336 1147 0 5900 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32664 KiB
[startup+3.10558 s]
/proc/loadavg: 4.23 4.18 4.13 5/274 170667
/proc/meminfo: memFree=111316008/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=73892 memory=29592 CPUtime=3.08 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 5275 0 0 0 306 2 0 0 20 0 1 0 236364484 75665408 7398 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 18473 7398 2336 1147 0 5900 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32664 KiB
[startup+6.3002 s]
/proc/loadavg: 4.23 4.18 4.13 5/274 170667
/proc/meminfo: memFree=111284100/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=73892 memory=29592 CPUtime=6.26 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 5275 0 0 0 624 2 0 0 20 0 1 0 236364484 75665408 7398 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 18473 7398 2336 1147 0 5900 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 78084 KiB
Current children cumulated memory: 32664 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.17 4.13 5/274 170667
/proc/meminfo: memFree=111196152/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=115960 memory=68840 CPUtime=12.65 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 11437 0 0 0 1258 7 0 0 20 0 1 0 236364484 118743040 17210 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 28990 17210 2400 1147 0 16417 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 120152 KiB
Current children cumulated memory: 71912 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.13 5/274 170667
/proc/meminfo: memFree=110888504/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=161328 memory=110984 CPUtime=25.42 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 18404 0 0 0 2530 12 0 0 20 0 1 0 236364484 165199872 27746 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 40332 27746 2400 1147 0 27759 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 165520 KiB
Current children cumulated memory: 114056 KiB
[startup+51.1056 s]
/proc/loadavg: 4.25 4.18 4.13 5/274 170668
/proc/meminfo: memFree=110236192/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=225704 memory=178516 CPUtime=50.95 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 26597 0 0 0 5071 24 0 0 20 0 1 0 236364484 231120896 44629 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 56426 44629 2400 1147 0 43853 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 229896 KiB
Current children cumulated memory: 181588 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.20 4.14 5/271 170670
/proc/meminfo: memFree=108880164/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=341104 memory=280808 CPUtime=102.01 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 41966 0 0 0 10154 47 0 0 20 0 1 0 236364484 349290496 70202 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 85276 70202 2400 1147 0 72703 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 345296 KiB
Current children cumulated memory: 283880 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.21 4.15 5/271 170672
/proc/meminfo: memFree=107380960/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=593416 memory=475764 CPUtime=161.86 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 78440 0 0 0 16107 79 0 0 20 0 1 0 236364484 607657984 118941 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 148354 118941 2432 1147 0 135781 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 597608 KiB
Current children cumulated memory: 478836 KiB
[startup+222.3 s]
/proc/loadavg: 4.30 4.22 4.15 5/271 170673
/proc/meminfo: memFree=106083144/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=643616 memory=543520 CPUtime=221.7 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 89256 0 0 0 22069 101 0 0 20 0 1 0 236364484 659062784 135880 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
################
# More data... #
################
/proc/170667/statm: 850492 736440 2432 1147 0 837919 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 3406160 KiB
Current children cumulated memory: 2948832 KiB
[startup+3162.3 s]
/proc/loadavg: 2.33 2.77 3.40 3/255 171390
/proc/meminfo: memFree=105655036/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=3770088 memory=3053204 CPUtime=3153.95 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 574678 0 0 0 313329 2066 0 0 20 0 1 0 236364484 3860570112 763301 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 942522 763301 2432 1147 0 929949 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 3774280 KiB
Current children cumulated memory: 3056276 KiB
[startup+3222.3 s]
/proc/loadavg: 2.32 2.70 3.34 3/255 171393
/proc/meminfo: memFree=105371904/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=3777056 memory=3075732 CPUtime=3213.81 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 576059 0 0 0 319258 2123 0 0 20 0 1 0 236364484 3867705344 768933 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 944264 768933 2432 1147 0 931691 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 3781248 KiB
Current children cumulated memory: 3078804 KiB
[startup+3282.3 s]
/proc/loadavg: 2.19 2.59 3.26 3/255 171395
/proc/meminfo: memFree=105130140/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=3784736 memory=3106452 CPUtime=3273.66 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 577779 0 0 0 325206 2160 0 0 20 0 1 0 236364484 3875569664 776613 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 946184 776613 2432 1147 0 933611 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 3788928 KiB
Current children cumulated memory: 3109524 KiB
[startup+3342.3 s]
/proc/loadavg: 2.19 2.51 3.19 3/256 171398
/proc/meminfo: memFree=104825944/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=3874608 memory=3177108 CPUtime=3333.52 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 592282 0 0 0 331134 2218 0 0 20 0 1 0 236364484 3967598592 794277 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 968652 794277 2432 1147 0 956079 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 3878800 KiB
Current children cumulated memory: 3180180 KiB
[startup+3402.3 s]
/proc/loadavg: 2.11 2.43 3.12 3/254 171400
/proc/meminfo: memFree=104537508/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=3885624 memory=3213972 CPUtime=3393.38 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 595745 0 0 0 337073 2265 0 0 20 0 1 0 236364484 3978878976 803493 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 971406 803493 2432 1147 0 958833 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 3889816 KiB
Current children cumulated memory: 3217044 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 2.36 3.05 3/254 171402
/proc/meminfo: memFree=104350812/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=3896808 memory=3248276 CPUtime=3453.24 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 597714 0 0 0 343018 2306 0 0 20 0 1 0 236364484 3990331392 812069 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 974202 812069 2432 1147 0 961629 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 3901000 KiB
Current children cumulated memory: 3251348 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.33 2.99 3/254 171405
/proc/meminfo: memFree=104120320/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=3913460 memory=3284628 CPUtime=3513.08 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 602916 0 0 0 348959 2349 0 0 20 0 1 0 236364484 4007383040 821157 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 978365 821157 2432 1147 0 965792 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 3917652 KiB
Current children cumulated memory: 3287700 KiB
[startup+3582.3 s]
/proc/loadavg: 2.24 2.31 2.94 3/254 171407
/proc/meminfo: memFree=103725656/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=3925804 memory=3384016 CPUtime=3572.94 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 606945 0 0 0 354894 2400 0 0 20 0 1 0 236364484 4020023296 846004 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 981451 846004 2432 1147 0 968878 0
Current children cumulated CPU time: 3572.94 s
Current children cumulated vsize: 3929996 KiB
Current children cumulated memory: 3387088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 2.15 2.28 2.91 3/254 171408
/proc/meminfo: memFree=103577348/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=3926132 memory=3388496 CPUtime=3600.08 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 607067 0 0 0 357585 2423 0 0 20 0 1 0 236364484 4020359168 847124 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 981533 847124 2432 1147 0 968960 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3930324 KiB
Current children cumulated memory: 3391568 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 170665 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.0023 s
Sleeping 2 seconds
[startup+3609.55 s]
# the end of solver process 170667 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3575.86 s, system=24.2741 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 2.15 2.28 2.91 3/254 171408
/proc/meminfo: memFree=103577348/131249996 swapFree=33010160/33010684
[pid=170665] ppid=170662 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170665/stat : 170665 (run-dec-ls-log.) S 170662 170665 167693 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 236364483 4292608 768 18446744073709551615 94194971058176 94194971952709 140722881871744 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94194972191760 94194972239504 94194984796160 140722881878335 140722881878495 140722881878495 140722881884099 0
/proc/170665/statm: 1048 768 704 219 0 110 0
[pid=170667] ppid=170665 vsize=3926132 memory=3388496 CPUtime=3600.08 cores=5,7
/proc/170667/stat : 170667 (roundingsat) R 170665 170665 167693 0 -1 4194304 607067 0 0 0 357585 2423 0 0 20 0 1 0 236364484 4020359168 847124 18446744073709551615 4227072 8923433 140737322533216 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 16281600 140737322539380 140737322539558 140737322539558 140737322545130 0
/proc/170667/statm: 981533 847124 2432 1147 0 968960 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3930324 KiB
Current children cumulated memory: 3391568 KiB
Child status: 2
Real time (s): 3609.55
CPU time (s): 3600.13
CPU user time (s): 3575.86
CPU system time (s): 24.2741
CPU usage (%): 99.7392
Max. virtual memory (cumulated for all children) (KiB): 3930324
Max. memory (cumulated for all children) (KiB): 3391568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.86
system time used= 24.2741
maximum resident set size= 3388752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 607293
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16210416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281
involuntary context switches= 21650
# summary of solver processes directly reported to runsolver:
# pid: 170665,170667
# total CPU time (s): 3600.13
# total CPU user time (s): 3575.86
# total CPU system time (s): 24.2741
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.03342 second user time and 14.9401 second system time
The end
Begin job on nodeC032 at 2025-07-22 19:54:19
IDJOB=4544182
IDBENCH=174960
IDSOLVER=3354
FILE ID=nodeC032/4544182-1753206858
RUNJOBID= nodeC032-1753198973-167713
SLURM_JOB_ID= 9687765
Free space on /tmp= 424276 MiB
SOLVER NAME= roundingsat-ls-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-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544182-1753206858/watcher-4544182-1753206858 -o /tmp/evaluation-result-4544182-1753206858/solver-4544182-1753206858 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753198973-167713 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4544182-1753206858.opb /tmp/proof-4544182-1753206858
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9d0f67967ac2bc71f5ce17bb15e814c1
RANDOM SEED=86155716
nodeC032 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.813
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.847
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.791
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3592.029
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.847
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.003
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3583.831
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.848
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.69
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 111372016 kB
MemAvailable: 125285104 kB
Buffers: 2728 kB
Cached: 14592896 kB
SwapCached: 20 kB
Active: 5453592 kB
Inactive: 13462148 kB
Active(anon): 4343308 kB
Inactive(anon): 3124 kB
Active(file): 1110284 kB
Inactive(file): 13459024 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29704 kB
Writeback: 0 kB
AnonPages: 4318724 kB
Mapped: 122728 kB
Shmem: 26240 kB
KReclaimable: 366040 kB
Slab: 464472 kB
SReclaimable: 366040 kB
SUnreclaim: 98432 kB
KernelStack: 4372 kB
PageTables: 11784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4868692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3436544 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 420556 MiB
End job on nodeC032 at 2025-07-22 20:54:28