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
316.75/317.58 c #Conflicts: 1000 | #Constraints: 8504
316.75/317.58 c #Conflicts: 2000 | #Constraints: 9504
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 3000 | #Constraints: 9508
316.75/317.58 c #Conflicts: 4000 | #Constraints: 10508
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 5000 | #Constraints: 9918
316.75/317.58 c #Conflicts: 6000 | #Constraints: 10918
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 7000 | #Constraints: 9927
316.75/317.58 c #Conflicts: 8000 | #Constraints: 10927
316.75/317.58 c #Conflicts: 9000 | #Constraints: 11927
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 10000 | #Constraints: 10710
316.75/317.58 c #Conflicts: 11000 | #Constraints: 11710
316.75/317.58 c #Conflicts: 12000 | #Constraints: 12710
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 13000 | #Constraints: 11166
316.75/317.58 c #Conflicts: 14000 | #Constraints: 12166
316.75/317.58 c #Conflicts: 15000 | #Constraints: 13166
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 16000 | #Constraints: 11441
316.75/317.58 c #Conflicts: 17000 | #Constraints: 12441
316.75/317.58 c #Conflicts: 18000 | #Constraints: 13441
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 19000 | #Constraints: 11481
316.75/317.58 c #Conflicts: 20000 | #Constraints: 12481
316.75/317.58 c #Conflicts: 21000 | #Constraints: 13482
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 22000 | #Constraints: 11270
316.75/317.58 c #Conflicts: 23000 | #Constraints: 12270
316.75/317.58 c #Conflicts: 24000 | #Constraints: 13270
316.75/317.58 c #Conflicts: 25000 | #Constraints: 14270
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 26000 | #Constraints: 11890
316.75/317.58 c #Conflicts: 27000 | #Constraints: 12890
316.75/317.58 c #Conflicts: 28000 | #Constraints: 13890
316.75/317.58 c #Conflicts: 29000 | #Constraints: 14890
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 30000 | #Constraints: 12359
316.75/317.58 c #Conflicts: 31000 | #Constraints: 13359
316.75/317.58 c #Conflicts: 32000 | #Constraints: 14359
316.75/317.58 c #Conflicts: 33000 | #Constraints: 15359
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 34000 | #Constraints: 12585
316.75/317.58 c #Conflicts: 35000 | #Constraints: 13585
316.75/317.58 c #Conflicts: 36000 | #Constraints: 14585
316.75/317.58 c #Conflicts: 37000 | #Constraints: 15585
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 38000 | #Constraints: 12607
316.75/317.58 c #Conflicts: 39000 | #Constraints: 13607
316.75/317.58 c #Conflicts: 40000 | #Constraints: 14607
316.75/317.58 c #Conflicts: 41000 | #Constraints: 15607
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 42000 | #Constraints: 12300
316.75/317.58 c #Conflicts: 43000 | #Constraints: 13300
316.75/317.58 c #Conflicts: 44000 | #Constraints: 14300
316.75/317.58 c #Conflicts: 45000 | #Constraints: 15300
316.75/317.58 c #Conflicts: 46000 | #Constraints: 16300
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 47000 | #Constraints: 12845
316.75/317.58 c #Conflicts: 48000 | #Constraints: 13845
316.75/317.58 c #Conflicts: 49000 | #Constraints: 14845
316.75/317.58 c #Conflicts: 50000 | #Constraints: 15845
316.75/317.58 c #Conflicts: 51000 | #Constraints: 16845
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 52000 | #Constraints: 13221
316.75/317.58 c #Conflicts: 53000 | #Constraints: 14222
316.75/317.58 c #Conflicts: 54000 | #Constraints: 15222
316.75/317.58 c #Conflicts: 55000 | #Constraints: 16222
316.75/317.58 c #Conflicts: 56000 | #Constraints: 17222
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 57000 | #Constraints: 13401
316.75/317.58 c #Conflicts: 58000 | #Constraints: 14401
316.75/317.58 c #Conflicts: 59000 | #Constraints: 15401
316.75/317.58 c #Conflicts: 60000 | #Constraints: 16401
316.75/317.58 c #Conflicts: 61000 | #Constraints: 17401
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 62000 | #Constraints: 13396
316.75/317.58 c #Conflicts: 63000 | #Constraints: 14396
316.75/317.58 c #Conflicts: 64000 | #Constraints: 15396
316.75/317.58 c #Conflicts: 65000 | #Constraints: 16396
316.75/317.58 c #Conflicts: 66000 | #Constraints: 17396
316.75/317.58 c INPROCESSING
316.75/317.58 c GARBAGE COLLECT
316.75/317.58 c #Conflicts: 67000 | #Constraints: 13264
316.75/317.58 c #Conflicts: 68000 | #Constraints: 14264
513.99/515.26 c #Conflicts: 69000 | #Constraints: 15264
513.99/515.26 c #Conflicts: 70000 | #Constraints: 16264
513.99/515.26 c #Conflicts: 71000 | #Constraints: 17264
513.99/515.26 c #Conflicts: 72000 | #Constraints: 18264
513.99/515.26 c INPROCESSING
513.99/515.26 c GARBAGE COLLECT
513.99/515.26 c #Conflicts: 73000 | #Constraints: 13884
513.99/515.26 c #Conflicts: 74000 | #Constraints: 14884
513.99/515.26 c #Conflicts: 75000 | #Constraints: 15884
513.99/515.26 c #Conflicts: 76000 | #Constraints: 16884
513.99/515.26 c #Conflicts: 77000 | #Constraints: 17884
513.99/515.26 c #Conflicts: 78000 | #Constraints: 18884
513.99/515.26 c INPROCESSING
513.99/515.26 c GARBAGE COLLECT
513.99/515.26 c #Conflicts: 79000 | #Constraints: 14218
513.99/515.26 c #Conflicts: 80000 | #Constraints: 15218
513.99/515.26 c #Conflicts: 81000 | #Constraints: 16218
513.99/515.26 c #Conflicts: 82000 | #Constraints: 17218
513.99/515.26 c #Conflicts: 83000 | #Constraints: 18218
513.99/515.26 c #Conflicts: 84000 | #Constraints: 19218
513.99/515.26 c INPROCESSING
513.99/515.26 c GARBAGE COLLECT
513.99/515.26 c #Conflicts: 85000 | #Constraints: 14385
513.99/515.26 c #Conflicts: 86000 | #Constraints: 15385
513.99/515.26 c #Conflicts: 87000 | #Constraints: 16386
513.99/515.26 c #Conflicts: 88000 | #Constraints: 17386
513.99/515.26 c #Conflicts: 89000 | #Constraints: 18386
513.99/515.26 c #Conflicts: 90000 | #Constraints: 19386
513.99/515.26 c INPROCESSING
513.99/515.26 c GARBAGE COLLECT
513.99/515.26 c #Conflicts: 91000 | #Constraints: 14374
513.99/515.26 c #Conflicts: 92000 | #Constraints: 15374
513.99/515.26 c #Conflicts: 93000 | #Constraints: 16374
513.99/515.26 c #Conflicts: 94000 | #Constraints: 17375
513.99/515.26 c #Conflicts: 95000 | #Constraints: 18375
513.99/515.26 c #Conflicts: 96000 | #Constraints: 19375
513.99/515.26 c INPROCESSING
513.99/515.26 c GARBAGE COLLECT
513.99/515.26 c #Conflicts: 97000 | #Constraints: 14172
513.99/515.26 c #Conflicts: 98000 | #Constraints: 15173
513.99/515.26 c #Conflicts: 99000 | #Constraints: 16173
513.99/515.26 c #Conflicts: 100000 | #Constraints: 17173
513.99/515.26 c #Conflicts: 101000 | #Constraints: 18173
513.99/515.26 c #Conflicts: 102000 | #Constraints: 19173
513.99/515.26 c #Conflicts: 103000 | #Constraints: 20173
513.99/515.26 c INPROCESSING
513.99/515.26 c GARBAGE COLLECT
513.99/515.26 c #Conflicts: 104000 | #Constraints: 14778
513.99/515.26 c #Conflicts: 105000 | #Constraints: 15778
513.99/515.26 c #Conflicts: 106000 | #Constraints: 16778
513.99/515.26 c #Conflicts: 107000 | #Constraints: 17779
513.99/515.26 c #Conflicts: 108000 | #Constraints: 18779
513.99/515.26 c #Conflicts: 109000 | #Constraints: 19779
513.99/515.26 c #Conflicts: 110000 | #Constraints: 20779
513.99/515.26 c INPROCESSING
513.99/515.26 c GARBAGE COLLECT
513.99/515.26 c #Conflicts: 111000 | #Constraints: 15181
513.99/515.26 c #Conflicts: 112000 | #Constraints: 16181
513.99/515.26 c #Conflicts: 113000 | #Constraints: 17181
513.99/515.26 c #Conflicts: 114000 | #Constraints: 18181
513.99/515.26 c #Conflicts: 115000 | #Constraints: 19182
513.99/515.26 c #Conflicts: 116000 | #Constraints: 20182
513.99/515.26 c #Conflicts: 117000 | #Constraints: 21182
513.99/515.26 c INPROCESSING
513.99/515.26 c GARBAGE COLLECT
513.99/515.26 c #Conflicts: 118000 | #Constraints: 15380
513.99/515.26 c #Conflicts: 119000 | #Constraints: 16381
513.99/515.26 c #Conflicts: 120000 | #Constraints: 17381
513.99/515.26 c #Conflicts: 121000 | #Constraints: 18381
513.99/515.26 c #Conflicts: 122000 | #Constraints: 19381
513.99/515.26 c #Conflicts: 123000 | #Constraints: 20381
513.99/515.26 c #Conflicts: 124000 | #Constraints: 21381
513.99/515.26 c INPROCESSING
513.99/515.26 c GARBAGE COLLECT
513.99/515.26 c #Conflicts: 125000 | #Constraints: 15392
513.99/515.26 c #Conflicts: 126000 | #Constraints: 16393
513.99/515.26 c #Conflicts: 127000 | #Constraints: 17393
513.99/515.26 c #Conflicts: 128000 | #Constraints: 18393
513.99/515.26 c #Conflicts: 129000 | #Constraints: 19393
513.99/515.26 c #Conflicts: 130000 | #Constraints: 20393
513.99/515.26 c #Conflicts: 131000 | #Constraints: 21393
513.99/515.26 c INPROCESSING
513.99/515.26 c GARBAGE COLLECT
513.99/515.26 c rational objective 4501.5
770.89/772.88 c #Conflicts: 132000 | #Constraints: 15203
770.89/772.88 c #Conflicts: 133000 | #Constraints: 16203
770.89/772.88 c #Conflicts: 134000 | #Constraints: 17204
770.89/772.88 c #Conflicts: 135000 | #Constraints: 18204
770.89/772.88 c #Conflicts: 136000 | #Constraints: 19204
770.89/772.88 c #Conflicts: 137000 | #Constraints: 20204
770.89/772.88 c #Conflicts: 138000 | #Constraints: 21204
770.89/772.88 c #Conflicts: 139000 | #Constraints: 22204
770.89/772.88 c INPROCESSING
770.89/772.88 c GARBAGE COLLECT
770.89/772.88 c #Conflicts: 140000 | #Constraints: 15774
770.89/772.88 c #Conflicts: 141000 | #Constraints: 16774
770.89/772.88 c #Conflicts: 142000 | #Constraints: 17775
770.89/772.88 c #Conflicts: 143000 | #Constraints: 18775
770.89/772.88 c #Conflicts: 144000 | #Constraints: 19775
770.89/772.88 c #Conflicts: 145000 | #Constraints: 20775
770.89/772.88 c #Conflicts: 146000 | #Constraints: 21775
770.89/772.88 c #Conflicts: 147000 | #Constraints: 22775
770.89/772.88 c INPROCESSING
770.89/772.88 c GARBAGE COLLECT
770.89/772.88 c #Conflicts: 148000 | #Constraints: 16258
770.89/772.88 c #Conflicts: 149000 | #Constraints: 17258
770.89/772.88 c #Conflicts: 150000 | #Constraints: 18258
770.89/772.88 c #Conflicts: 151000 | #Constraints: 19259
770.89/772.88 c #Conflicts: 152000 | #Constraints: 20259
770.89/772.88 c #Conflicts: 153000 | #Constraints: 21259
770.89/772.88 c #Conflicts: 154000 | #Constraints: 22259
770.89/772.88 c #Conflicts: 155000 | #Constraints: 23259
770.89/772.88 c INPROCESSING
770.89/772.88 c GARBAGE COLLECT
770.89/772.88 c #Conflicts: 156000 | #Constraints: 16477
770.89/772.88 c #Conflicts: 157000 | #Constraints: 17477
770.89/772.88 c #Conflicts: 158000 | #Constraints: 18477
770.89/772.88 c #Conflicts: 159000 | #Constraints: 19477
770.89/772.88 c #Conflicts: 160000 | #Constraints: 20477
770.89/772.88 c #Conflicts: 161000 | #Constraints: 21477
770.89/772.88 c #Conflicts: 162000 | #Constraints: 22477
770.89/772.88 c #Conflicts: 163000 | #Constraints: 23477
770.89/772.88 c INPROCESSING
770.89/772.88 c GARBAGE COLLECT
770.89/772.88 c #Conflicts: 164000 | #Constraints: 16475
770.89/772.88 c #Conflicts: 165000 | #Constraints: 17475
770.89/772.88 c #Conflicts: 166000 | #Constraints: 18475
770.89/772.88 c #Conflicts: 167000 | #Constraints: 19475
770.89/772.88 c #Conflicts: 168000 | #Constraints: 20475
770.89/772.88 c #Conflicts: 169000 | #Constraints: 21475
770.89/772.88 c #Conflicts: 170000 | #Constraints: 22475
770.89/772.88 c #Conflicts: 171000 | #Constraints: 23475
770.89/772.88 c INPROCESSING
770.89/772.88 c GARBAGE COLLECT
770.89/772.88 c #Conflicts: 172000 | #Constraints: 16269
770.89/772.88 c #Conflicts: 173000 | #Constraints: 17269
770.89/772.88 c #Conflicts: 174000 | #Constraints: 18269
770.89/772.88 c #Conflicts: 175000 | #Constraints: 19269
770.89/772.88 c #Conflicts: 176000 | #Constraints: 20270
770.89/772.88 c #Conflicts: 177000 | #Constraints: 21270
770.89/772.88 c #Conflicts: 178000 | #Constraints: 22270
770.89/772.88 c #Conflicts: 179000 | #Constraints: 23270
770.89/772.88 c #Conflicts: 180000 | #Constraints: 24270
770.89/772.88 c INPROCESSING
770.89/772.88 c GARBAGE COLLECT
770.89/772.88 c #Conflicts: 181000 | #Constraints: 16861
770.89/772.88 c #Conflicts: 182000 | #Constraints: 17861
770.89/772.88 c #Conflicts: 183000 | #Constraints: 18861
770.89/772.88 c #Conflicts: 184000 | #Constraints: 19862
770.89/772.88 c #Conflicts: 185000 | #Constraints: 20862
770.89/772.88 c #Conflicts: 186000 | #Constraints: 21862
770.89/772.88 c #Conflicts: 187000 | #Constraints: 22862
770.89/772.88 c #Conflicts: 188000 | #Constraints: 23862
770.89/772.88 c #Conflicts: 189000 | #Constraints: 24862
770.89/772.88 c INPROCESSING
770.89/772.88 c GARBAGE COLLECT
770.89/772.88 c #Conflicts: 190000 | #Constraints: 17250
770.89/772.88 c #Conflicts: 191000 | #Constraints: 18250
770.89/772.88 c #Conflicts: 192000 | #Constraints: 19250
770.89/772.88 c #Conflicts: 193000 | #Constraints: 20250
770.89/772.88 c #Conflicts: 194000 | #Constraints: 21250
770.89/772.88 c #Conflicts: 195000 | #Constraints: 22251
770.89/772.88 c #Conflicts: 196000 | #Constraints: 23251
770.89/772.88 c #Conflicts: 197000 | #Constraints: 24251
770.89/772.88 c #Conflicts: 198000 | #Constraints: 25251
770.89/772.88 c INPROCESSING
770.89/772.88 c GARBAGE COLLECT
770.89/772.88 c #Conflicts: 199000 | #Constraints: 17445
770.89/772.88 c #Conflicts: 200000 | #Constraints: 18445
770.89/772.88 c #Conflicts: 201000 | #Constraints: 19445
770.89/772.88 c #Conflicts: 202000 | #Constraints: 20445
770.89/772.88 c #Conflicts: 203000 | #Constraints: 21445
770.89/772.88 c #Conflicts: 204000 | #Constraints: 22445
770.89/772.88 c #Conflicts: 205000 | #Constraints: 23446
857.33/859.57 c #Conflicts: 206000 | #Constraints: 24446
857.33/859.57 c #Conflicts: 207000 | #Constraints: 25446
857.33/859.57 c INPROCESSING
857.33/859.57 c GARBAGE COLLECT
857.33/859.57 c #Conflicts: 208000 | #Constraints: 17449
857.33/859.57 c #Conflicts: 209000 | #Constraints: 18449
857.33/859.57 c #Conflicts: 210000 | #Constraints: 19449
857.33/859.57 c #Conflicts: 211000 | #Constraints: 20449
857.33/859.57 c #Conflicts: 212000 | #Constraints: 21449
857.33/859.57 c #Conflicts: 213000 | #Constraints: 22450
857.33/859.57 c #Conflicts: 214000 | #Constraints: 23450
857.33/859.57 c #Conflicts: 215000 | #Constraints: 24450
857.33/859.57 c #Conflicts: 216000 | #Constraints: 25450
857.33/859.57 c INPROCESSING
857.33/859.57 c GARBAGE COLLECT
857.33/859.57 c #Conflicts: 217000 | #Constraints: 17271
857.33/859.57 c #Conflicts: 218000 | #Constraints: 18271
857.33/859.57 c #Conflicts: 219000 | #Constraints: 19271
857.33/859.57 c #Conflicts: 220000 | #Constraints: 20271
857.33/859.57 c #Conflicts: 221000 | #Constraints: 21271
857.33/859.57 c #Conflicts: 222000 | #Constraints: 22271
857.33/859.57 c #Conflicts: 223000 | #Constraints: 23271
857.33/859.57 c #Conflicts: 224000 | #Constraints: 24271
857.33/859.57 c #Conflicts: 225000 | #Constraints: 25271
857.33/859.57 c #Conflicts: 226000 | #Constraints: 26271
857.33/859.57 c INPROCESSING
857.33/859.57 c GARBAGE COLLECT
857.33/859.57 c #Conflicts: 227000 | #Constraints: 17892
857.33/859.57 c #Conflicts: 228000 | #Constraints: 18892
857.33/859.57 c #Conflicts: 229000 | #Constraints: 19892
857.33/859.57 c #Conflicts: 230000 | #Constraints: 20892
857.33/859.57 c #Conflicts: 231000 | #Constraints: 21892
857.33/859.57 c #Conflicts: 232000 | #Constraints: 22892
857.33/859.57 c #Conflicts: 233000 | #Constraints: 23892
857.33/859.57 c #Conflicts: 234000 | #Constraints: 24893
857.33/859.57 c #Conflicts: 235000 | #Constraints: 25893
857.33/859.57 c #Conflicts: 236000 | #Constraints: 26893
857.33/859.57 c INPROCESSING
857.33/859.57 c GARBAGE COLLECT
857.33/859.57 c #Conflicts: 237000 | #Constraints: 18303
857.33/859.57 c #Conflicts: 238000 | #Constraints: 19303
857.33/859.57 c #Conflicts: 239000 | #Constraints: 20304
857.33/859.57 c #Conflicts: 240000 | #Constraints: 21304
857.33/859.57 c #Conflicts: 241000 | #Constraints: 22304
857.33/859.57 c #Conflicts: 242000 | #Constraints: 23304
857.33/859.57 c #Conflicts: 243000 | #Constraints: 24304
857.33/859.57 c #Conflicts: 244000 | #Constraints: 25304
857.33/859.57 c #Conflicts: 245000 | #Constraints: 26305
857.33/859.57 c #Conflicts: 246000 | #Constraints: 27305
857.33/859.57 c INPROCESSING
857.33/859.57 c GARBAGE COLLECT
857.33/859.57 c #Conflicts: 247000 | #Constraints: 18560
857.33/859.57 c #Conflicts: 248000 | #Constraints: 19560
857.33/859.57 c #Conflicts: 249000 | #Constraints: 20560
857.33/859.57 c #Conflicts: 250000 | #Constraints: 21560
857.33/859.57 c #Conflicts: 251000 | #Constraints: 22561
857.33/859.57 c #Conflicts: 252000 | #Constraints: 23561
857.33/859.57 c #Conflicts: 253000 | #Constraints: 24561
857.33/859.57 c #Conflicts: 254000 | #Constraints: 25561
857.33/859.57 c #Conflicts: 255000 | #Constraints: 26561
857.33/859.57 c #Conflicts: 256000 | #Constraints: 27561
857.33/859.57 c INPROCESSING
857.33/859.57 c GARBAGE COLLECT
857.33/859.57 c rational objective 4501.5
1066.83/1069.64 c #Conflicts: 257000 | #Constraints: 18627
1066.83/1069.64 c #Conflicts: 258000 | #Constraints: 19627
1066.83/1069.64 c #Conflicts: 259000 | #Constraints: 20627
1066.83/1069.64 c #Conflicts: 260000 | #Constraints: 21627
1066.83/1069.64 c #Conflicts: 261000 | #Constraints: 22627
1066.83/1069.64 c #Conflicts: 262000 | #Constraints: 23627
1066.83/1069.64 c #Conflicts: 263000 | #Constraints: 24627
1066.83/1069.64 c #Conflicts: 264000 | #Constraints: 25627
1066.83/1069.64 c #Conflicts: 265000 | #Constraints: 26627
1066.83/1069.64 c #Conflicts: 266000 | #Constraints: 27627
1066.83/1069.64 c INPROCESSING
1066.83/1069.64 c GARBAGE COLLECT
1066.83/1069.64 c #Conflicts: 267000 | #Constraints: 18288
1066.83/1069.64 c #Conflicts: 268000 | #Constraints: 19288
1066.83/1069.64 c #Conflicts: 269000 | #Constraints: 20289
1066.83/1069.64 c #Conflicts: 270000 | #Constraints: 21290
1066.83/1069.64 c #Conflicts: 271000 | #Constraints: 22290
1066.83/1069.64 c #Conflicts: 272000 | #Constraints: 23290
1066.83/1069.64 c #Conflicts: 273000 | #Constraints: 24290
1066.83/1069.64 c #Conflicts: 274000 | #Constraints: 25290
1066.83/1069.64 c #Conflicts: 275000 | #Constraints: 26290
1066.83/1069.64 c #Conflicts: 276000 | #Constraints: 27290
1066.83/1069.64 c #Conflicts: 277000 | #Constraints: 28290
1066.83/1069.64 c INPROCESSING
1066.83/1069.64 c GARBAGE COLLECT
1066.83/1069.64 c #Conflicts: 278000 | #Constraints: 18829
1066.83/1069.64 c #Conflicts: 279000 | #Constraints: 19829
1066.83/1069.64 c #Conflicts: 280000 | #Constraints: 20829
1066.83/1069.64 c #Conflicts: 281000 | #Constraints: 21830
1066.83/1069.64 c #Conflicts: 282000 | #Constraints: 22830
1066.83/1069.64 c #Conflicts: 283000 | #Constraints: 23830
1066.83/1069.64 c #Conflicts: 284000 | #Constraints: 24830
1066.83/1069.64 c #Conflicts: 285000 | #Constraints: 25830
1066.83/1069.64 c #Conflicts: 286000 | #Constraints: 26830
1066.83/1069.64 c #Conflicts: 287000 | #Constraints: 27830
1066.83/1069.64 c #Conflicts: 288000 | #Constraints: 28830
1066.83/1069.64 c INPROCESSING
1066.83/1069.64 c GARBAGE COLLECT
1066.83/1069.64 c #Conflicts: 289000 | #Constraints: 19224
1066.83/1069.64 c #Conflicts: 290000 | #Constraints: 20225
1066.83/1069.64 c #Conflicts: 291000 | #Constraints: 21225
1066.83/1069.64 c #Conflicts: 292000 | #Constraints: 22225
1066.83/1069.64 c #Conflicts: 293000 | #Constraints: 23225
1066.83/1069.64 c #Conflicts: 294000 | #Constraints: 24225
1066.83/1069.64 c #Conflicts: 295000 | #Constraints: 25225
1066.83/1069.64 c #Conflicts: 296000 | #Constraints: 26225
1066.83/1069.64 c #Conflicts: 297000 | #Constraints: 27225
1066.83/1069.64 c #Conflicts: 298000 | #Constraints: 28225
1066.83/1069.64 c #Conflicts: 299000 | #Constraints: 29225
1066.83/1069.64 c INPROCESSING
1066.83/1069.64 c GARBAGE COLLECT
1066.83/1069.64 c #Conflicts: 300000 | #Constraints: 19462
1066.83/1069.64 c #Conflicts: 301000 | #Constraints: 20462
1066.83/1069.64 c #Conflicts: 302000 | #Constraints: 21463
1066.83/1069.64 c #Conflicts: 303000 | #Constraints: 22463
1066.83/1069.64 c #Conflicts: 304000 | #Constraints: 23463
1066.83/1069.64 c #Conflicts: 305000 | #Constraints: 24463
1066.83/1069.64 c #Conflicts: 306000 | #Constraints: 25464
1066.83/1069.64 c #Conflicts: 307000 | #Constraints: 26464
1066.83/1069.64 c #Conflicts: 308000 | #Constraints: 27464
1066.83/1069.64 c #Conflicts: 309000 | #Constraints: 28464
1066.83/1069.64 c #Conflicts: 310000 | #Constraints: 29464
1066.83/1069.64 c INPROCESSING
1066.83/1069.64 c GARBAGE COLLECT
1066.83/1069.64 c rational objective 4501.5
1248.18/1251.43 c #Conflicts: 311000 | #Constraints: 19468
1248.18/1251.43 c #Conflicts: 312000 | #Constraints: 20469
1248.18/1251.43 c #Conflicts: 313000 | #Constraints: 21469
1248.18/1251.43 c #Conflicts: 314000 | #Constraints: 22469
1248.18/1251.43 c #Conflicts: 315000 | #Constraints: 23470
1248.18/1251.43 c #Conflicts: 316000 | #Constraints: 24470
1248.18/1251.43 c #Conflicts: 317000 | #Constraints: 25470
1248.18/1251.43 c #Conflicts: 318000 | #Constraints: 26470
1248.18/1251.43 c #Conflicts: 319000 | #Constraints: 27471
1248.18/1251.43 c #Conflicts: 320000 | #Constraints: 28471
1248.18/1251.43 c #Conflicts: 321000 | #Constraints: 29471
1248.18/1251.43 c INPROCESSING
1248.18/1251.43 c GARBAGE COLLECT
1248.18/1251.43 c #Conflicts: 322000 | #Constraints: 19206
1248.18/1251.43 c #Conflicts: 323000 | #Constraints: 20206
1248.18/1251.43 c #Conflicts: 324000 | #Constraints: 21206
1248.18/1251.43 c #Conflicts: 325000 | #Constraints: 22206
1248.18/1251.43 c #Conflicts: 326000 | #Constraints: 23206
1248.18/1251.43 c #Conflicts: 327000 | #Constraints: 24206
1248.18/1251.43 c #Conflicts: 328000 | #Constraints: 25206
1248.18/1251.43 c #Conflicts: 329000 | #Constraints: 26207
1248.18/1251.43 c #Conflicts: 330000 | #Constraints: 27207
1248.18/1251.43 c #Conflicts: 331000 | #Constraints: 28207
1248.18/1251.43 c #Conflicts: 332000 | #Constraints: 29207
1248.18/1251.43 c #Conflicts: 333000 | #Constraints: 30207
1248.18/1251.43 c INPROCESSING
1248.18/1251.43 c GARBAGE COLLECT
1248.18/1251.43 c #Conflicts: 334000 | #Constraints: 19789
1248.18/1251.43 c #Conflicts: 335000 | #Constraints: 20790
1248.18/1251.43 c #Conflicts: 336000 | #Constraints: 21790
1248.18/1251.43 c #Conflicts: 337000 | #Constraints: 22791
1248.18/1251.43 c #Conflicts: 338000 | #Constraints: 23791
1248.18/1251.43 c #Conflicts: 339000 | #Constraints: 24791
1248.18/1251.43 c #Conflicts: 340000 | #Constraints: 25791
1248.18/1251.43 c #Conflicts: 341000 | #Constraints: 26791
1248.18/1251.43 c #Conflicts: 342000 | #Constraints: 27792
1248.18/1251.43 c #Conflicts: 343000 | #Constraints: 28792
1248.18/1251.43 c #Conflicts: 344000 | #Constraints: 29792
1248.18/1251.43 c #Conflicts: 345000 | #Constraints: 30792
1248.18/1251.43 c INPROCESSING
1248.18/1251.43 c GARBAGE COLLECT
1248.18/1251.43 c #Conflicts: 346000 | #Constraints: 20212
1248.18/1251.43 c #Conflicts: 347000 | #Constraints: 21212
1248.18/1251.43 c #Conflicts: 348000 | #Constraints: 22212
1248.18/1251.43 c #Conflicts: 349000 | #Constraints: 23212
1248.18/1251.43 c #Conflicts: 350000 | #Constraints: 24212
1248.18/1251.43 c #Conflicts: 351000 | #Constraints: 25213
1248.18/1251.43 c #Conflicts: 352000 | #Constraints: 26213
1248.18/1251.43 c #Conflicts: 353000 | #Constraints: 27213
1248.18/1251.43 c #Conflicts: 354000 | #Constraints: 28213
1248.18/1251.43 c #Conflicts: 355000 | #Constraints: 29213
1248.18/1251.43 c #Conflicts: 356000 | #Constraints: 30213
1248.18/1251.43 c #Conflicts: 357000 | #Constraints: 31213
1248.18/1251.43 c INPROCESSING
1248.18/1251.43 c GARBAGE COLLECT
1248.18/1251.43 c #Conflicts: 358000 | #Constraints: 20434
1248.18/1251.43 c #Conflicts: 359000 | #Constraints: 21434
1248.18/1251.43 c #Conflicts: 360000 | #Constraints: 22434
1248.18/1251.43 c #Conflicts: 361000 | #Constraints: 23434
1248.18/1251.43 c #Conflicts: 362000 | #Constraints: 24434
1248.18/1251.43 c #Conflicts: 363000 | #Constraints: 25434
1248.18/1251.43 c #Conflicts: 364000 | #Constraints: 26434
1248.18/1251.43 c #Conflicts: 365000 | #Constraints: 27434
1248.18/1251.43 c #Conflicts: 366000 | #Constraints: 28435
1248.18/1251.43 c #Conflicts: 367000 | #Constraints: 29435
1248.18/1251.43 c #Conflicts: 368000 | #Constraints: 30435
1248.18/1251.43 c #Conflicts: 369000 | #Constraints: 31436
1248.18/1251.43 c INPROCESSING
1248.18/1251.43 c GARBAGE COLLECT
1248.18/1251.43 c #Conflicts: 370000 | #Constraints: 20410
1248.18/1251.43 c #Conflicts: 371000 | #Constraints: 21410
1248.18/1251.43 c #Conflicts: 372000 | #Constraints: 22410
1248.18/1251.43 c #Conflicts: 373000 | #Constraints: 23410
1248.18/1251.43 c #Conflicts: 374000 | #Constraints: 24410
1248.18/1251.43 c #Conflicts: 375000 | #Constraints: 25410
1248.18/1251.43 c #Conflicts: 376000 | #Constraints: 26410
1248.18/1251.43 c #Conflicts: 377000 | #Constraints: 27411
1248.18/1251.43 c #Conflicts: 378000 | #Constraints: 28411
1248.18/1251.43 c #Conflicts: 379000 | #Constraints: 29411
1248.18/1251.43 c #Conflicts: 380000 | #Constraints: 30412
1248.18/1251.43 c #Conflicts: 381000 | #Constraints: 31412
1248.18/1251.43 c INPROCESSING
1248.18/1251.43 c GARBAGE COLLECT
1248.18/1251.43 c rational objective 4501.5
1442.68/1446.43 c #Conflicts: 382000 | #Constraints: 20228
1442.68/1446.43 c #Conflicts: 383000 | #Constraints: 21228
1442.68/1446.43 c #Conflicts: 384000 | #Constraints: 22228
1442.68/1446.43 c #Conflicts: 385000 | #Constraints: 23230
1442.68/1446.43 c #Conflicts: 386000 | #Constraints: 24230
1442.68/1446.43 c #Conflicts: 387000 | #Constraints: 25231
1442.68/1446.43 c #Conflicts: 388000 | #Constraints: 26231
1442.68/1446.43 c #Conflicts: 389000 | #Constraints: 27231
1442.68/1446.43 c #Conflicts: 390000 | #Constraints: 28231
1442.68/1446.43 c #Conflicts: 391000 | #Constraints: 29231
1442.68/1446.43 c #Conflicts: 392000 | #Constraints: 30231
1442.68/1446.43 c #Conflicts: 393000 | #Constraints: 31231
1442.68/1446.43 c #Conflicts: 394000 | #Constraints: 32231
1442.68/1446.43 c INPROCESSING
1442.68/1446.43 c GARBAGE COLLECT
1442.68/1446.43 c #Conflicts: 395000 | #Constraints: 20802
1442.68/1446.43 c #Conflicts: 396000 | #Constraints: 21802
1442.68/1446.43 c #Conflicts: 397000 | #Constraints: 22802
1442.68/1446.43 c #Conflicts: 398000 | #Constraints: 23802
1442.68/1446.43 c #Conflicts: 399000 | #Constraints: 24803
1442.68/1446.43 c #Conflicts: 400000 | #Constraints: 25803
1442.68/1446.43 c #Conflicts: 401000 | #Constraints: 26803
1442.68/1446.43 c #Conflicts: 402000 | #Constraints: 27803
1442.68/1446.43 c #Conflicts: 403000 | #Constraints: 28804
1442.68/1446.43 c #Conflicts: 404000 | #Constraints: 29804
1442.68/1446.43 c #Conflicts: 405000 | #Constraints: 30804
1442.68/1446.43 c #Conflicts: 406000 | #Constraints: 31805
1442.68/1446.43 c #Conflicts: 407000 | #Constraints: 32805
1442.68/1446.43 c INPROCESSING
1442.68/1446.43 c GARBAGE COLLECT
1442.68/1446.43 c #Conflicts: 408000 | #Constraints: 21190
1442.68/1446.43 c #Conflicts: 409000 | #Constraints: 22190
1442.68/1446.43 c #Conflicts: 410000 | #Constraints: 23190
1442.68/1446.43 c #Conflicts: 411000 | #Constraints: 24190
1442.68/1446.43 c #Conflicts: 412000 | #Constraints: 25190
1442.68/1446.43 c #Conflicts: 413000 | #Constraints: 26190
1442.68/1446.43 c #Conflicts: 414000 | #Constraints: 27191
1442.68/1446.43 c #Conflicts: 415000 | #Constraints: 28191
1442.68/1446.43 c #Conflicts: 416000 | #Constraints: 29191
1442.68/1446.43 c #Conflicts: 417000 | #Constraints: 30191
1442.68/1446.43 c #Conflicts: 418000 | #Constraints: 31191
1442.68/1446.43 c #Conflicts: 419000 | #Constraints: 32191
1442.68/1446.43 c #Conflicts: 420000 | #Constraints: 33191
1442.68/1446.43 c INPROCESSING
1442.68/1446.43 c GARBAGE COLLECT
1442.68/1446.43 c #Conflicts: 421000 | #Constraints: 21534
1442.68/1446.43 c #Conflicts: 422000 | #Constraints: 22534
1442.68/1446.43 c #Conflicts: 423000 | #Constraints: 23534
1442.68/1446.43 c #Conflicts: 424000 | #Constraints: 24534
1442.68/1446.43 c #Conflicts: 425000 | #Constraints: 25534
1442.68/1446.43 c #Conflicts: 426000 | #Constraints: 26534
1442.68/1446.43 c #Conflicts: 427000 | #Constraints: 27534
1442.68/1446.43 c #Conflicts: 428000 | #Constraints: 28534
1442.68/1446.43 c #Conflicts: 429000 | #Constraints: 29534
1442.68/1446.43 c #Conflicts: 430000 | #Constraints: 30534
1442.68/1446.43 c #Conflicts: 431000 | #Constraints: 31534
1442.68/1446.43 c #Conflicts: 432000 | #Constraints: 32534
1442.68/1446.43 c #Conflicts: 433000 | #Constraints: 33534
1442.68/1446.43 c INPROCESSING
1442.68/1446.43 c GARBAGE COLLECT
1442.68/1446.43 c #Conflicts: 434000 | #Constraints: 21563
1442.68/1446.43 c #Conflicts: 435000 | #Constraints: 22563
1442.68/1446.43 c #Conflicts: 436000 | #Constraints: 23563
1442.68/1446.43 c #Conflicts: 437000 | #Constraints: 24563
1442.68/1446.43 c #Conflicts: 438000 | #Constraints: 25564
1442.68/1446.43 c #Conflicts: 439000 | #Constraints: 26564
1442.68/1446.43 c #Conflicts: 440000 | #Constraints: 27564
1442.68/1446.43 c #Conflicts: 441000 | #Constraints: 28564
1442.68/1446.43 c #Conflicts: 442000 | #Constraints: 29564
1442.68/1446.43 c #Conflicts: 443000 | #Constraints: 30564
1442.68/1446.43 c #Conflicts: 444000 | #Constraints: 31564
1442.68/1446.43 c #Conflicts: 445000 | #Constraints: 32564
1442.68/1446.43 c #Conflicts: 446000 | #Constraints: 33564
1442.68/1446.43 c INPROCESSING
1442.68/1446.43 c GARBAGE COLLECT
1442.68/1446.43 c rational objective 4501.5
1596.49/1600.63 c #Conflicts: 447000 | #Constraints: 21382
1596.49/1600.63 c #Conflicts: 448000 | #Constraints: 22382
1596.49/1600.63 c #Conflicts: 449000 | #Constraints: 23382
1596.49/1600.63 c #Conflicts: 450000 | #Constraints: 24384
1596.49/1600.63 c #Conflicts: 451000 | #Constraints: 25385
1596.49/1600.63 c #Conflicts: 452000 | #Constraints: 26385
1596.49/1600.63 c #Conflicts: 453000 | #Constraints: 27385
1596.49/1600.63 c #Conflicts: 454000 | #Constraints: 28386
1596.49/1600.63 c #Conflicts: 455000 | #Constraints: 29386
1596.49/1600.63 c #Conflicts: 456000 | #Constraints: 30387
1596.49/1600.63 c #Conflicts: 457000 | #Constraints: 31387
1596.49/1600.63 c #Conflicts: 458000 | #Constraints: 32387
1596.49/1600.63 c #Conflicts: 459000 | #Constraints: 33387
1596.49/1600.63 c #Conflicts: 460000 | #Constraints: 34387
1596.49/1600.63 c INPROCESSING
1596.49/1600.63 c GARBAGE COLLECT
1596.49/1600.63 c #Conflicts: 461000 | #Constraints: 21899
1596.49/1600.63 c #Conflicts: 462000 | #Constraints: 22899
1596.49/1600.63 c #Conflicts: 463000 | #Constraints: 23900
1596.49/1600.63 c #Conflicts: 464000 | #Constraints: 24900
1596.49/1600.63 c #Conflicts: 465000 | #Constraints: 25900
1596.49/1600.63 c #Conflicts: 466000 | #Constraints: 26901
1596.49/1600.63 c #Conflicts: 467000 | #Constraints: 27902
1596.49/1600.63 c #Conflicts: 468000 | #Constraints: 28902
1596.49/1600.63 c #Conflicts: 469000 | #Constraints: 29902
1596.49/1600.63 c #Conflicts: 470000 | #Constraints: 30902
1596.49/1600.63 c #Conflicts: 471000 | #Constraints: 31902
1596.49/1600.63 c #Conflicts: 472000 | #Constraints: 32902
1596.49/1600.63 c #Conflicts: 473000 | #Constraints: 33902
1596.49/1600.63 c #Conflicts: 474000 | #Constraints: 34902
1596.49/1600.63 c INPROCESSING
1596.49/1600.63 c GARBAGE COLLECT
1596.49/1600.63 c #Conflicts: 475000 | #Constraints: 22261
1596.49/1600.63 c #Conflicts: 476000 | #Constraints: 23261
1596.49/1600.63 c #Conflicts: 477000 | #Constraints: 24261
1596.49/1600.63 c #Conflicts: 478000 | #Constraints: 25262
1596.49/1600.63 c #Conflicts: 479000 | #Constraints: 26262
1596.49/1600.63 c #Conflicts: 480000 | #Constraints: 27262
1596.49/1600.63 c #Conflicts: 481000 | #Constraints: 28262
1596.49/1600.63 c #Conflicts: 482000 | #Constraints: 29262
1596.49/1600.63 c #Conflicts: 483000 | #Constraints: 30262
1596.49/1600.63 c #Conflicts: 484000 | #Constraints: 31263
1596.49/1600.63 c #Conflicts: 485000 | #Constraints: 32263
1596.49/1600.63 c #Conflicts: 486000 | #Constraints: 33263
1596.49/1600.63 c #Conflicts: 487000 | #Constraints: 34263
1596.49/1600.63 c #Conflicts: 488000 | #Constraints: 35264
1596.49/1600.63 c INPROCESSING
1596.49/1600.63 c GARBAGE COLLECT
1596.49/1600.63 c #Conflicts: 489000 | #Constraints: 22442
1596.49/1600.63 c #Conflicts: 490000 | #Constraints: 23442
1596.49/1600.63 c #Conflicts: 491000 | #Constraints: 24442
1596.49/1600.63 c #Conflicts: 492000 | #Constraints: 25443
1596.49/1600.63 c #Conflicts: 493000 | #Constraints: 26443
1596.49/1600.63 c #Conflicts: 494000 | #Constraints: 27443
1596.49/1600.63 c #Conflicts: 495000 | #Constraints: 28443
1596.49/1600.63 c #Conflicts: 496000 | #Constraints: 29443
1596.49/1600.63 c #Conflicts: 497000 | #Constraints: 30443
1596.49/1600.63 c #Conflicts: 498000 | #Constraints: 31443
1596.49/1600.63 c #Conflicts: 499000 | #Constraints: 32443
1596.49/1600.63 c #Conflicts: 500000 | #Constraints: 33443
1596.49/1600.63 c #Conflicts: 501000 | #Constraints: 34443
1596.49/1600.63 c #Conflicts: 502000 | #Constraints: 35443
1596.49/1600.63 c INPROCESSING
1596.49/1600.63 c GARBAGE COLLECT
1596.49/1600.63 c #Conflicts: 503000 | #Constraints: 22455
1596.49/1600.63 c #Conflicts: 504000 | #Constraints: 23455
1596.49/1600.63 c #Conflicts: 505000 | #Constraints: 24455
1596.49/1600.63 c #Conflicts: 506000 | #Constraints: 25455
1596.49/1600.63 c #Conflicts: 507000 | #Constraints: 26455
1596.49/1600.63 c #Conflicts: 508000 | #Constraints: 27455
1596.49/1600.63 c #Conflicts: 509000 | #Constraints: 28456
1596.49/1600.63 c #Conflicts: 510000 | #Constraints: 29456
1596.49/1600.63 c #Conflicts: 511000 | #Constraints: 30456
1596.49/1600.63 c #Conflicts: 512000 | #Constraints: 31456
1596.49/1600.63 c #Conflicts: 513000 | #Constraints: 32456
1596.49/1600.63 c #Conflicts: 514000 | #Constraints: 33456
1596.49/1600.63 c #Conflicts: 515000 | #Constraints: 34456
1596.49/1600.63 c #Conflicts: 516000 | #Constraints: 35456
1596.49/1600.63 c INPROCESSING
1596.49/1600.63 c GARBAGE COLLECT
1596.49/1600.63 c #Conflicts: 517000 | #Constraints: 22281
1596.49/1600.63 c #Conflicts: 518000 | #Constraints: 23281
1596.49/1600.63 c #Conflicts: 519000 | #Constraints: 24281
1596.49/1600.63 c #Conflicts: 520000 | #Constraints: 25281
1596.49/1600.63 c #Conflicts: 521000 | #Constraints: 26281
1596.49/1600.63 c #Conflicts: 522000 | #Constraints: 27282
1646.97/1651.20 c #Conflicts: 523000 | #Constraints: 28282
1646.97/1651.20 c #Conflicts: 524000 | #Constraints: 29282
1646.97/1651.20 c #Conflicts: 525000 | #Constraints: 30282
1646.97/1651.20 c #Conflicts: 526000 | #Constraints: 31282
1646.97/1651.20 c #Conflicts: 527000 | #Constraints: 32282
1646.97/1651.20 c #Conflicts: 528000 | #Constraints: 33282
1646.97/1651.20 c #Conflicts: 529000 | #Constraints: 34282
1646.97/1651.20 c #Conflicts: 530000 | #Constraints: 35282
1646.97/1651.20 c #Conflicts: 531000 | #Constraints: 36282
1646.97/1651.20 c INPROCESSING
1646.97/1651.20 c GARBAGE COLLECT
1646.97/1651.20 c #Conflicts: 532000 | #Constraints: 22875
1646.97/1651.20 c #Conflicts: 533000 | #Constraints: 23875
1646.97/1651.20 c #Conflicts: 534000 | #Constraints: 24875
1646.97/1651.20 c #Conflicts: 535000 | #Constraints: 25875
1646.97/1651.20 c #Conflicts: 536000 | #Constraints: 26875
1646.97/1651.20 c #Conflicts: 537000 | #Constraints: 27875
1646.97/1651.20 c #Conflicts: 538000 | #Constraints: 28875
1646.97/1651.20 c #Conflicts: 539000 | #Constraints: 29875
1646.97/1651.20 c #Conflicts: 540000 | #Constraints: 30875
1646.97/1651.20 c #Conflicts: 541000 | #Constraints: 31876
1646.97/1651.20 c #Conflicts: 542000 | #Constraints: 32876
1646.97/1651.20 c #Conflicts: 543000 | #Constraints: 33876
1646.97/1651.20 c #Conflicts: 544000 | #Constraints: 34877
1646.97/1651.20 c #Conflicts: 545000 | #Constraints: 35877
1646.97/1651.20 c #Conflicts: 546000 | #Constraints: 36877
1646.97/1651.20 c INPROCESSING
1646.97/1651.20 c GARBAGE COLLECT
1646.97/1651.20 c #Conflicts: 547000 | #Constraints: 23288
1646.97/1651.20 c #Conflicts: 548000 | #Constraints: 24288
1646.97/1651.20 c #Conflicts: 549000 | #Constraints: 25288
1646.97/1651.20 c #Conflicts: 550000 | #Constraints: 26288
1646.97/1651.20 c #Conflicts: 551000 | #Constraints: 27288
1646.97/1651.20 c #Conflicts: 552000 | #Constraints: 28288
1646.97/1651.20 c #Conflicts: 553000 | #Constraints: 29288
1646.97/1651.20 c #Conflicts: 554000 | #Constraints: 30289
1646.97/1651.20 c #Conflicts: 555000 | #Constraints: 31289
1646.97/1651.20 c #Conflicts: 556000 | #Constraints: 32289
1646.97/1651.20 c #Conflicts: 557000 | #Constraints: 33289
1646.97/1651.20 c #Conflicts: 558000 | #Constraints: 34289
1646.97/1651.20 c #Conflicts: 559000 | #Constraints: 35289
1646.97/1651.20 c #Conflicts: 560000 | #Constraints: 36289
1646.97/1651.20 c #Conflicts: 561000 | #Constraints: 37289
1646.97/1651.20 c INPROCESSING
1646.97/1651.20 c GARBAGE COLLECT
1646.97/1651.20 c rational objective 4501.5
1748.31/1752.84 c #Conflicts: 562000 | #Constraints: 23463
1748.31/1752.84 c #Conflicts: 563000 | #Constraints: 24463
1748.31/1752.84 c #Conflicts: 564000 | #Constraints: 25463
1748.31/1752.84 c #Conflicts: 565000 | #Constraints: 26463
1748.31/1752.84 c #Conflicts: 566000 | #Constraints: 27463
1748.31/1752.84 c #Conflicts: 567000 | #Constraints: 28463
1748.31/1752.84 c #Conflicts: 568000 | #Constraints: 29463
1748.31/1752.84 c #Conflicts: 569000 | #Constraints: 30463
1748.31/1752.84 c #Conflicts: 570000 | #Constraints: 31465
1748.31/1752.84 c #Conflicts: 571000 | #Constraints: 32465
1748.31/1752.84 c #Conflicts: 572000 | #Constraints: 33465
1748.31/1752.84 c #Conflicts: 573000 | #Constraints: 34465
1748.31/1752.84 c #Conflicts: 574000 | #Constraints: 35465
1748.31/1752.84 c #Conflicts: 575000 | #Constraints: 36465
1748.31/1752.84 c #Conflicts: 576000 | #Constraints: 37465
1748.31/1752.84 c INPROCESSING
1748.31/1752.84 c GARBAGE COLLECT
1748.31/1752.84 c #Conflicts: 577000 | #Constraints: 23412
1748.31/1752.84 c #Conflicts: 578000 | #Constraints: 24412
1748.31/1752.84 c #Conflicts: 579000 | #Constraints: 25412
1748.31/1752.84 c #Conflicts: 580000 | #Constraints: 26412
1748.31/1752.84 c #Conflicts: 581000 | #Constraints: 27412
1748.31/1752.84 c #Conflicts: 582000 | #Constraints: 28413
1748.31/1752.84 c #Conflicts: 583000 | #Constraints: 29413
1748.31/1752.84 c #Conflicts: 584000 | #Constraints: 30413
1748.31/1752.84 c #Conflicts: 585000 | #Constraints: 31413
1748.31/1752.84 c #Conflicts: 586000 | #Constraints: 32413
1748.31/1752.84 c #Conflicts: 587000 | #Constraints: 33413
1748.31/1752.84 c #Conflicts: 588000 | #Constraints: 34413
1748.31/1752.84 c #Conflicts: 589000 | #Constraints: 35414
1748.31/1752.84 c #Conflicts: 590000 | #Constraints: 36414
1748.31/1752.84 c #Conflicts: 591000 | #Constraints: 37414
1748.31/1752.84 c INPROCESSING
1748.31/1752.84 c GARBAGE COLLECT
1748.31/1752.84 c rational objective 4501.5
1901.62/1906.54 c #Conflicts: 592000 | #Constraints: 23238
1901.62/1906.54 c #Conflicts: 593000 | #Constraints: 24238
1901.62/1906.54 c #Conflicts: 594000 | #Constraints: 25238
1901.62/1906.54 c #Conflicts: 595000 | #Constraints: 26238
1901.62/1906.54 c #Conflicts: 596000 | #Constraints: 27238
1901.62/1906.54 c #Conflicts: 597000 | #Constraints: 28238
1901.62/1906.54 c #Conflicts: 598000 | #Constraints: 29239
1901.62/1906.54 c #Conflicts: 599000 | #Constraints: 30240
1901.62/1906.54 c #Conflicts: 600000 | #Constraints: 31240
1901.62/1906.54 c #Conflicts: 601000 | #Constraints: 32240
1901.62/1906.54 c #Conflicts: 602000 | #Constraints: 33240
1901.62/1906.54 c #Conflicts: 603000 | #Constraints: 34241
1901.62/1906.54 c #Conflicts: 604000 | #Constraints: 35241
1901.62/1906.54 c #Conflicts: 605000 | #Constraints: 36242
1901.62/1906.54 c #Conflicts: 606000 | #Constraints: 37242
1901.62/1906.54 c #Conflicts: 607000 | #Constraints: 38243
1901.62/1906.54 c INPROCESSING
1901.62/1906.54 c GARBAGE COLLECT
1901.62/1906.54 c #Conflicts: 608000 | #Constraints: 23798
1901.62/1906.54 c #Conflicts: 609000 | #Constraints: 24798
1901.62/1906.54 c #Conflicts: 610000 | #Constraints: 25798
1901.62/1906.54 c #Conflicts: 611000 | #Constraints: 26798
1901.62/1906.54 c #Conflicts: 612000 | #Constraints: 27798
1901.62/1906.54 c #Conflicts: 613000 | #Constraints: 28799
1901.62/1906.54 c #Conflicts: 614000 | #Constraints: 29799
1901.62/1906.54 c #Conflicts: 615000 | #Constraints: 30799
1901.62/1906.54 c #Conflicts: 616000 | #Constraints: 31799
1901.62/1906.54 c #Conflicts: 617000 | #Constraints: 32799
1901.62/1906.54 c #Conflicts: 618000 | #Constraints: 33799
1901.62/1906.54 c #Conflicts: 619000 | #Constraints: 34799
1901.62/1906.54 c #Conflicts: 620000 | #Constraints: 35799
1901.62/1906.54 c #Conflicts: 621000 | #Constraints: 36800
1901.62/1906.54 c #Conflicts: 622000 | #Constraints: 37800
1901.62/1906.54 c #Conflicts: 623000 | #Constraints: 38800
1901.62/1906.54 c INPROCESSING
1901.62/1906.54 c GARBAGE COLLECT
1901.62/1906.54 c #Conflicts: 624000 | #Constraints: 24187
1901.62/1906.54 c #Conflicts: 625000 | #Constraints: 25187
1901.62/1906.54 c #Conflicts: 626000 | #Constraints: 26187
1901.62/1906.54 c #Conflicts: 627000 | #Constraints: 27187
1901.62/1906.54 c #Conflicts: 628000 | #Constraints: 28188
1901.62/1906.54 c #Conflicts: 629000 | #Constraints: 29188
1901.62/1906.54 c #Conflicts: 630000 | #Constraints: 30188
1901.62/1906.54 c #Conflicts: 631000 | #Constraints: 31189
1901.62/1906.54 c #Conflicts: 632000 | #Constraints: 32189
1901.62/1906.54 c #Conflicts: 633000 | #Constraints: 33189
1901.62/1906.54 c #Conflicts: 634000 | #Constraints: 34189
1901.62/1906.54 c #Conflicts: 635000 | #Constraints: 35189
1901.62/1906.54 c #Conflicts: 636000 | #Constraints: 36190
1901.62/1906.54 c #Conflicts: 637000 | #Constraints: 37190
1901.62/1906.54 c #Conflicts: 638000 | #Constraints: 38190
1901.62/1906.54 c #Conflicts: 639000 | #Constraints: 39190
1901.62/1906.54 c INPROCESSING
1901.62/1906.54 c GARBAGE COLLECT
1901.62/1906.54 c #Conflicts: 640000 | #Constraints: 24418
1901.62/1906.54 c #Conflicts: 641000 | #Constraints: 25418
1901.62/1906.54 c #Conflicts: 642000 | #Constraints: 26418
1901.62/1906.54 c #Conflicts: 643000 | #Constraints: 27418
1901.62/1906.54 c #Conflicts: 644000 | #Constraints: 28418
1901.62/1906.54 c #Conflicts: 645000 | #Constraints: 29418
1901.62/1906.54 c #Conflicts: 646000 | #Constraints: 30418
1901.62/1906.54 c #Conflicts: 647000 | #Constraints: 31419
1901.62/1906.54 c #Conflicts: 648000 | #Constraints: 32419
1901.62/1906.54 c #Conflicts: 649000 | #Constraints: 33419
1901.62/1906.54 c #Conflicts: 650000 | #Constraints: 34419
1901.62/1906.54 c #Conflicts: 651000 | #Constraints: 35420
1901.62/1906.54 c #Conflicts: 652000 | #Constraints: 36420
1901.62/1906.54 c #Conflicts: 653000 | #Constraints: 37420
1901.62/1906.54 c #Conflicts: 654000 | #Constraints: 38420
1901.62/1906.54 c #Conflicts: 655000 | #Constraints: 39420
1901.62/1906.54 c INPROCESSING
1901.62/1906.54 c GARBAGE COLLECT
1901.62/1906.54 c #Conflicts: 656000 | #Constraints: 24423
1901.62/1906.54 c #Conflicts: 657000 | #Constraints: 25423
1901.62/1906.54 c #Conflicts: 658000 | #Constraints: 26423
1901.62/1906.54 c #Conflicts: 659000 | #Constraints: 27424
1901.62/1906.54 c #Conflicts: 660000 | #Constraints: 28424
1901.62/1906.54 c #Conflicts: 661000 | #Constraints: 29424
1901.62/1906.54 c #Conflicts: 662000 | #Constraints: 30424
1901.62/1906.54 c #Conflicts: 663000 | #Constraints: 31424
1901.62/1906.54 c #Conflicts: 664000 | #Constraints: 32424
1901.62/1906.54 c #Conflicts: 665000 | #Constraints: 33424
1901.62/1906.54 c #Conflicts: 666000 | #Constraints: 34424
1901.62/1906.54 c #Conflicts: 667000 | #Constraints: 35424
1901.62/1906.54 c #Conflicts: 668000 | #Constraints: 36424
1905.12/1910.04 c #Conflicts: 669000 | #Constraints: 37424
1905.12/1910.04 c #Conflicts: 670000 | #Constraints: 38424
1905.12/1910.04 c #Conflicts: 671000 | #Constraints: 39424
1905.12/1910.04 c INPROCESSING
1905.12/1910.04 c GARBAGE COLLECT
1905.12/1910.04 c rational objective 4501.5
1995.89/2001.07 c #Conflicts: 672000 | #Constraints: 24256
1995.89/2001.07 c #Conflicts: 673000 | #Constraints: 25256
1995.89/2001.07 c #Conflicts: 674000 | #Constraints: 26256
1995.89/2001.07 c #Conflicts: 675000 | #Constraints: 27256
1995.89/2001.07 c #Conflicts: 676000 | #Constraints: 28256
1995.89/2001.07 c #Conflicts: 677000 | #Constraints: 29256
1995.89/2001.07 c #Conflicts: 678000 | #Constraints: 30256
1995.89/2001.07 c #Conflicts: 679000 | #Constraints: 31256
1995.89/2001.07 c #Conflicts: 680000 | #Constraints: 32256
1995.89/2001.07 c #Conflicts: 681000 | #Constraints: 33256
1995.89/2001.07 c #Conflicts: 682000 | #Constraints: 34256
1995.89/2001.07 c #Conflicts: 683000 | #Constraints: 35256
1995.89/2001.07 c #Conflicts: 684000 | #Constraints: 36256
1995.89/2001.07 c #Conflicts: 685000 | #Constraints: 37256
1995.89/2001.07 c #Conflicts: 686000 | #Constraints: 38258
1995.89/2001.07 c #Conflicts: 687000 | #Constraints: 39259
1995.89/2001.07 c #Conflicts: 688000 | #Constraints: 40259
1995.89/2001.07 c INPROCESSING
1995.89/2001.07 c GARBAGE COLLECT
1995.89/2001.07 c #Conflicts: 689000 | #Constraints: 24810
1995.89/2001.07 c #Conflicts: 690000 | #Constraints: 25811
1995.89/2001.07 c #Conflicts: 691000 | #Constraints: 26811
1995.89/2001.07 c #Conflicts: 692000 | #Constraints: 27811
1995.89/2001.07 c #Conflicts: 693000 | #Constraints: 28811
1995.89/2001.07 c #Conflicts: 694000 | #Constraints: 29812
1995.89/2001.07 c #Conflicts: 695000 | #Constraints: 30812
1995.89/2001.07 c #Conflicts: 696000 | #Constraints: 31812
1995.89/2001.07 c #Conflicts: 697000 | #Constraints: 32812
1995.89/2001.07 c #Conflicts: 698000 | #Constraints: 33812
1995.89/2001.07 c #Conflicts: 699000 | #Constraints: 34812
1995.89/2001.07 c #Conflicts: 700000 | #Constraints: 35812
1995.89/2001.07 c #Conflicts: 701000 | #Constraints: 36812
1995.89/2001.07 c #Conflicts: 702000 | #Constraints: 37812
1995.89/2001.07 c #Conflicts: 703000 | #Constraints: 38812
1995.89/2001.07 c #Conflicts: 704000 | #Constraints: 39812
1995.89/2001.07 c #Conflicts: 705000 | #Constraints: 40812
1995.89/2001.07 c INPROCESSING
1995.89/2001.07 c GARBAGE COLLECT
1995.89/2001.07 c rational objective 4501.5
2046.86/2052.18 c #Conflicts: 706000 | #Constraints: 25414
2046.86/2052.18 c #Conflicts: 707000 | #Constraints: 26414
2046.86/2052.18 c #Conflicts: 708000 | #Constraints: 27414
2046.86/2052.18 c #Conflicts: 709000 | #Constraints: 28414
2046.86/2052.18 c #Conflicts: 710000 | #Constraints: 29414
2046.86/2052.18 c #Conflicts: 711000 | #Constraints: 30414
2046.86/2052.18 c #Conflicts: 712000 | #Constraints: 31414
2046.86/2052.18 c #Conflicts: 713000 | #Constraints: 32414
2046.86/2052.18 c #Conflicts: 714000 | #Constraints: 33416
2046.86/2052.18 c #Conflicts: 715000 | #Constraints: 34416
2046.86/2052.18 c #Conflicts: 716000 | #Constraints: 35417
2046.86/2052.18 c #Conflicts: 717000 | #Constraints: 36417
2046.86/2052.18 c #Conflicts: 718000 | #Constraints: 37417
2046.86/2052.18 c #Conflicts: 719000 | #Constraints: 38418
2046.86/2052.18 c #Conflicts: 720000 | #Constraints: 39418
2046.86/2052.18 c #Conflicts: 721000 | #Constraints: 40418
2046.86/2052.18 c #Conflicts: 722000 | #Constraints: 41418
2046.86/2052.18 c INPROCESSING
2046.86/2052.18 c GARBAGE COLLECT
2046.86/2052.18 c rational objective 4501.5
2095.63/2101.06 c #Conflicts: 723000 | #Constraints: 25524
2095.63/2101.06 c #Conflicts: 724000 | #Constraints: 26525
2095.63/2101.06 c #Conflicts: 725000 | #Constraints: 27526
2095.63/2101.06 c #Conflicts: 726000 | #Constraints: 28526
2095.63/2101.06 c #Conflicts: 727000 | #Constraints: 29526
2095.63/2101.06 c #Conflicts: 728000 | #Constraints: 30528
2095.63/2101.06 c #Conflicts: 729000 | #Constraints: 31528
2095.63/2101.06 c #Conflicts: 730000 | #Constraints: 32528
2095.63/2101.06 c #Conflicts: 731000 | #Constraints: 33529
2095.63/2101.06 c #Conflicts: 732000 | #Constraints: 34529
2095.63/2101.06 c #Conflicts: 733000 | #Constraints: 35530
2095.63/2101.06 c #Conflicts: 734000 | #Constraints: 36530
2095.63/2101.06 c #Conflicts: 735000 | #Constraints: 37530
2095.63/2101.06 c #Conflicts: 736000 | #Constraints: 38530
2095.63/2101.06 c #Conflicts: 737000 | #Constraints: 39530
2095.63/2101.06 c #Conflicts: 738000 | #Constraints: 40531
2095.63/2101.06 c #Conflicts: 739000 | #Constraints: 41532
2095.63/2101.06 c INPROCESSING
2095.63/2101.06 c GARBAGE COLLECT
2095.63/2101.06 c #Conflicts: 740000 | #Constraints: 25469
2095.63/2101.06 c #Conflicts: 741000 | #Constraints: 26469
2095.63/2101.06 c #Conflicts: 742000 | #Constraints: 27469
2095.63/2101.06 c #Conflicts: 743000 | #Constraints: 28469
2095.63/2101.06 c #Conflicts: 744000 | #Constraints: 29469
2095.63/2101.06 c #Conflicts: 745000 | #Constraints: 30469
2095.63/2101.06 c #Conflicts: 746000 | #Constraints: 31469
2095.63/2101.06 c #Conflicts: 747000 | #Constraints: 32469
2095.63/2101.06 c #Conflicts: 748000 | #Constraints: 33471
2095.63/2101.06 c #Conflicts: 749000 | #Constraints: 34472
2095.63/2101.06 c #Conflicts: 750000 | #Constraints: 35472
2095.63/2101.06 c #Conflicts: 751000 | #Constraints: 36472
2095.63/2101.06 c #Conflicts: 752000 | #Constraints: 37472
2095.63/2101.06 c #Conflicts: 753000 | #Constraints: 38472
2095.63/2101.06 c #Conflicts: 754000 | #Constraints: 39472
2095.63/2101.06 c #Conflicts: 755000 | #Constraints: 40472
2095.63/2101.06 c #Conflicts: 756000 | #Constraints: 41472
2095.63/2101.06 c INPROCESSING
2095.63/2101.06 c GARBAGE COLLECT
2095.63/2101.06 c #Conflicts: 757000 | #Constraints: 25240
2095.63/2101.06 c #Conflicts: 758000 | #Constraints: 26241
2095.63/2101.06 c #Conflicts: 759000 | #Constraints: 27241
2095.63/2101.06 c #Conflicts: 760000 | #Constraints: 28241
2095.63/2101.06 c #Conflicts: 761000 | #Constraints: 29241
2095.63/2101.06 c #Conflicts: 762000 | #Constraints: 30242
2095.63/2101.06 c #Conflicts: 763000 | #Constraints: 31242
2095.63/2101.06 c #Conflicts: 764000 | #Constraints: 32242
2095.63/2101.06 c #Conflicts: 765000 | #Constraints: 33242
2095.63/2101.06 c #Conflicts: 766000 | #Constraints: 34242
2095.63/2101.06 c #Conflicts: 767000 | #Constraints: 35242
2095.63/2101.06 c #Conflicts: 768000 | #Constraints: 36242
2095.63/2101.06 c #Conflicts: 769000 | #Constraints: 37242
2095.63/2101.06 c #Conflicts: 770000 | #Constraints: 38242
2095.63/2101.06 c #Conflicts: 771000 | #Constraints: 39242
2095.63/2101.06 c #Conflicts: 772000 | #Constraints: 40243
2095.63/2101.06 c #Conflicts: 773000 | #Constraints: 41243
2095.63/2101.06 c #Conflicts: 774000 | #Constraints: 42243
2095.63/2101.06 c INPROCESSING
2095.63/2101.06 c GARBAGE COLLECT
2095.63/2101.06 c rational objective 4501.5
2113.79/2119.28 c #Conflicts: 775000 | #Constraints: 25828
2113.79/2119.28 c #Conflicts: 776000 | #Constraints: 26828
2113.79/2119.28 c #Conflicts: 777000 | #Constraints: 27829
2113.79/2119.28 c #Conflicts: 778000 | #Constraints: 28829
2113.79/2119.28 c #Conflicts: 779000 | #Constraints: 29829
2113.79/2119.28 c #Conflicts: 780000 | #Constraints: 30829
2113.79/2119.28 c #Conflicts: 781000 | #Constraints: 31829
2113.79/2119.28 c #Conflicts: 782000 | #Constraints: 32829
2113.79/2119.28 c #Conflicts: 783000 | #Constraints: 33829
2113.79/2119.28 c #Conflicts: 784000 | #Constraints: 34829
2113.79/2119.28 c #Conflicts: 785000 | #Constraints: 35829
2113.79/2119.28 c #Conflicts: 786000 | #Constraints: 36829
2113.79/2119.28 c #Conflicts: 787000 | #Constraints: 37830
2113.79/2119.28 c #Conflicts: 788000 | #Constraints: 38830
2113.79/2119.28 c #Conflicts: 789000 | #Constraints: 39830
2113.79/2119.28 c #Conflicts: 790000 | #Constraints: 40830
2113.79/2119.28 c #Conflicts: 791000 | #Constraints: 41830
2113.79/2119.28 c #Conflicts: 792000 | #Constraints: 42830
2113.79/2119.28 c INPROCESSING
2113.79/2119.28 c GARBAGE COLLECT
2113.79/2119.28 c rational objective 4501.5
2139.92/2145.47 c #Conflicts: 793000 | #Constraints: 26213
2139.92/2145.47 c #Conflicts: 794000 | #Constraints: 27213
2139.92/2145.47 c #Conflicts: 795000 | #Constraints: 28213
2139.92/2145.47 c #Conflicts: 796000 | #Constraints: 29213
2139.92/2145.47 c #Conflicts: 797000 | #Constraints: 30213
2139.92/2145.47 c #Conflicts: 798000 | #Constraints: 31213
2139.92/2145.47 c #Conflicts: 799000 | #Constraints: 32215
2139.92/2145.47 c #Conflicts: 800000 | #Constraints: 33215
2139.92/2145.47 c #Conflicts: 801000 | #Constraints: 34215
2139.92/2145.47 c #Conflicts: 802000 | #Constraints: 35216
2139.92/2145.47 c #Conflicts: 803000 | #Constraints: 36216
2139.92/2145.47 c #Conflicts: 804000 | #Constraints: 37216
2139.92/2145.47 c #Conflicts: 805000 | #Constraints: 38216
2139.92/2145.47 c #Conflicts: 806000 | #Constraints: 39216
2139.92/2145.47 c #Conflicts: 807000 | #Constraints: 40216
2139.92/2145.47 c #Conflicts: 808000 | #Constraints: 41216
2139.92/2145.47 c #Conflicts: 809000 | #Constraints: 42216
2139.92/2145.47 c #Conflicts: 810000 | #Constraints: 43216
2139.92/2145.47 c INPROCESSING
2139.92/2145.47 c GARBAGE COLLECT
2139.92/2145.47 c rational objective 4501.5
2187.79/2193.46 c #Conflicts: 811000 | #Constraints: 26394
2187.79/2193.46 c #Conflicts: 812000 | #Constraints: 27394
2187.79/2193.46 c #Conflicts: 813000 | #Constraints: 28395
2187.79/2193.46 c #Conflicts: 814000 | #Constraints: 29395
2187.79/2193.46 c #Conflicts: 815000 | #Constraints: 30395
2187.79/2193.46 c #Conflicts: 816000 | #Constraints: 31395
2187.79/2193.46 c #Conflicts: 817000 | #Constraints: 32395
2187.79/2193.46 c #Conflicts: 818000 | #Constraints: 33395
2187.79/2193.46 c #Conflicts: 819000 | #Constraints: 34395
2187.79/2193.46 c #Conflicts: 820000 | #Constraints: 35396
2187.79/2193.46 c #Conflicts: 821000 | #Constraints: 36396
2187.79/2193.46 c #Conflicts: 822000 | #Constraints: 37396
2187.79/2193.46 c #Conflicts: 823000 | #Constraints: 38396
2187.79/2193.46 c #Conflicts: 824000 | #Constraints: 39396
2187.79/2193.46 c #Conflicts: 825000 | #Constraints: 40396
2187.79/2193.46 c #Conflicts: 826000 | #Constraints: 41396
2187.79/2193.46 c #Conflicts: 827000 | #Constraints: 42396
2187.79/2193.46 c #Conflicts: 828000 | #Constraints: 43396
2187.79/2193.46 c INPROCESSING
2187.79/2193.46 c GARBAGE COLLECT
2187.79/2193.46 c rational objective 4501.5
2250.63/2256.46 c #Conflicts: 829000 | #Constraints: 26393
2250.63/2256.46 c #Conflicts: 830000 | #Constraints: 27393
2250.63/2256.46 c #Conflicts: 831000 | #Constraints: 28393
2250.63/2256.46 c #Conflicts: 832000 | #Constraints: 29393
2250.63/2256.46 c #Conflicts: 833000 | #Constraints: 30393
2250.63/2256.46 c #Conflicts: 834000 | #Constraints: 31393
2250.63/2256.46 c #Conflicts: 835000 | #Constraints: 32394
2250.63/2256.46 c #Conflicts: 836000 | #Constraints: 33394
2250.63/2256.46 c #Conflicts: 837000 | #Constraints: 34394
2250.63/2256.46 c #Conflicts: 838000 | #Constraints: 35395
2250.63/2256.46 c #Conflicts: 839000 | #Constraints: 36395
2250.63/2256.46 c #Conflicts: 840000 | #Constraints: 37395
2250.63/2256.46 c #Conflicts: 841000 | #Constraints: 38395
2250.63/2256.46 c #Conflicts: 842000 | #Constraints: 39396
2250.63/2256.46 c #Conflicts: 843000 | #Constraints: 40396
2250.63/2256.46 c #Conflicts: 844000 | #Constraints: 41397
2250.63/2256.46 c #Conflicts: 845000 | #Constraints: 42397
2250.63/2256.46 c #Conflicts: 846000 | #Constraints: 43397
2250.63/2256.46 c INPROCESSING
2250.63/2256.46 c GARBAGE COLLECT
2250.63/2256.46 c rational objective 4501.5
2343.88/2349.99 c #Conflicts: 847000 | #Constraints: 26198
2343.88/2349.99 c #Conflicts: 848000 | #Constraints: 27198
2343.88/2349.99 c #Conflicts: 849000 | #Constraints: 28198
2343.88/2349.99 c #Conflicts: 850000 | #Constraints: 29198
2343.88/2349.99 c #Conflicts: 851000 | #Constraints: 30198
2343.88/2349.99 c #Conflicts: 852000 | #Constraints: 31198
2343.88/2349.99 c #Conflicts: 853000 | #Constraints: 32198
2343.88/2349.99 c #Conflicts: 854000 | #Constraints: 33200
2343.88/2349.99 c #Conflicts: 855000 | #Constraints: 34201
2343.88/2349.99 c #Conflicts: 856000 | #Constraints: 35201
2343.88/2349.99 c #Conflicts: 857000 | #Constraints: 36201
2343.88/2349.99 c #Conflicts: 858000 | #Constraints: 37201
2343.88/2349.99 c #Conflicts: 859000 | #Constraints: 38201
2343.88/2349.99 c #Conflicts: 860000 | #Constraints: 39202
2343.88/2349.99 c #Conflicts: 861000 | #Constraints: 40202
2343.88/2349.99 c #Conflicts: 862000 | #Constraints: 41202
2343.88/2349.99 c #Conflicts: 863000 | #Constraints: 42202
2343.88/2349.99 c #Conflicts: 864000 | #Constraints: 43202
2343.88/2349.99 c #Conflicts: 865000 | #Constraints: 44202
2343.88/2349.99 c INPROCESSING
2343.88/2349.99 c GARBAGE COLLECT
2343.88/2349.99 c #Conflicts: 866000 | #Constraints: 26926
2343.88/2349.99 c #Conflicts: 867000 | #Constraints: 27926
2343.88/2349.99 c #Conflicts: 868000 | #Constraints: 28926
2343.88/2349.99 c #Conflicts: 869000 | #Constraints: 29926
2343.88/2349.99 c #Conflicts: 870000 | #Constraints: 30926
2343.88/2349.99 c #Conflicts: 871000 | #Constraints: 31926
2343.88/2349.99 c #Conflicts: 872000 | #Constraints: 32926
2343.88/2349.99 c #Conflicts: 873000 | #Constraints: 33926
2343.88/2349.99 c #Conflicts: 874000 | #Constraints: 34926
2343.88/2349.99 c #Conflicts: 875000 | #Constraints: 35927
2343.88/2349.99 c #Conflicts: 876000 | #Constraints: 36927
2343.88/2349.99 c #Conflicts: 877000 | #Constraints: 37927
2343.88/2349.99 c #Conflicts: 878000 | #Constraints: 38927
2343.88/2349.99 c #Conflicts: 879000 | #Constraints: 39927
2343.88/2349.99 c #Conflicts: 880000 | #Constraints: 40928
2343.88/2349.99 c #Conflicts: 881000 | #Constraints: 41928
2343.88/2349.99 c #Conflicts: 882000 | #Constraints: 42928
2343.88/2349.99 c #Conflicts: 883000 | #Constraints: 43928
2343.88/2349.99 c #Conflicts: 884000 | #Constraints: 44929
2343.88/2349.99 c INPROCESSING
2343.88/2349.99 c GARBAGE COLLECT
2343.88/2349.99 c rational objective 4501.5
2491.90/2498.32 c #Conflicts: 885000 | #Constraints: 27382
2491.90/2498.32 c #Conflicts: 886000 | #Constraints: 28382
2491.90/2498.32 c #Conflicts: 887000 | #Constraints: 29382
2491.90/2498.32 c #Conflicts: 888000 | #Constraints: 30384
2491.90/2498.32 c #Conflicts: 889000 | #Constraints: 31384
2491.90/2498.32 c #Conflicts: 890000 | #Constraints: 32384
2491.90/2498.32 c #Conflicts: 891000 | #Constraints: 33384
2491.90/2498.32 c #Conflicts: 892000 | #Constraints: 34384
2491.90/2498.32 c #Conflicts: 893000 | #Constraints: 35384
2491.90/2498.32 c #Conflicts: 894000 | #Constraints: 36384
2491.90/2498.32 c #Conflicts: 895000 | #Constraints: 37384
2491.90/2498.32 c #Conflicts: 896000 | #Constraints: 38384
2491.90/2498.32 c #Conflicts: 897000 | #Constraints: 39384
2491.90/2498.32 c #Conflicts: 898000 | #Constraints: 40385
2491.90/2498.32 c #Conflicts: 899000 | #Constraints: 41385
2491.90/2498.32 c #Conflicts: 900000 | #Constraints: 42385
2491.90/2498.32 c #Conflicts: 901000 | #Constraints: 43385
2491.90/2498.32 c #Conflicts: 902000 | #Constraints: 44386
2491.90/2498.32 c #Conflicts: 903000 | #Constraints: 45386
2491.90/2498.32 c INPROCESSING
2491.90/2498.32 c GARBAGE COLLECT
2491.90/2498.32 c #Conflicts: 904000 | #Constraints: 27492
2491.90/2498.32 c #Conflicts: 905000 | #Constraints: 28492
2491.90/2498.32 c #Conflicts: 906000 | #Constraints: 29492
2491.90/2498.32 c #Conflicts: 907000 | #Constraints: 30492
2491.90/2498.32 c #Conflicts: 908000 | #Constraints: 31492
2491.90/2498.32 c #Conflicts: 909000 | #Constraints: 32492
2491.90/2498.32 c #Conflicts: 910000 | #Constraints: 33492
2491.90/2498.32 c #Conflicts: 911000 | #Constraints: 34492
2491.90/2498.32 c #Conflicts: 912000 | #Constraints: 35493
2491.90/2498.32 c #Conflicts: 913000 | #Constraints: 36493
2491.90/2498.32 c #Conflicts: 914000 | #Constraints: 37493
2491.90/2498.32 c #Conflicts: 915000 | #Constraints: 38493
2491.90/2498.32 c #Conflicts: 916000 | #Constraints: 39493
2491.90/2498.32 c #Conflicts: 917000 | #Constraints: 40493
2491.90/2498.32 c #Conflicts: 918000 | #Constraints: 41493
2491.90/2498.32 c #Conflicts: 919000 | #Constraints: 42494
2491.90/2498.32 c #Conflicts: 920000 | #Constraints: 43494
2491.90/2498.32 c #Conflicts: 921000 | #Constraints: 44494
2491.90/2498.32 c #Conflicts: 922000 | #Constraints: 45494
2491.90/2498.32 c INPROCESSING
2491.90/2498.32 c GARBAGE COLLECT
2491.90/2498.32 c #Conflicts: 923000 | #Constraints: 27477
2491.90/2498.32 c #Conflicts: 924000 | #Constraints: 28478
2491.90/2498.32 c #Conflicts: 925000 | #Constraints: 29478
2491.90/2498.32 c #Conflicts: 926000 | #Constraints: 30478
2491.90/2498.32 c #Conflicts: 927000 | #Constraints: 31478
2491.90/2498.32 c #Conflicts: 928000 | #Constraints: 32479
2491.90/2498.32 c #Conflicts: 929000 | #Constraints: 33479
2491.90/2498.32 c #Conflicts: 930000 | #Constraints: 34479
2491.90/2498.32 c #Conflicts: 931000 | #Constraints: 35479
2491.90/2498.32 c #Conflicts: 932000 | #Constraints: 36479
2491.90/2498.32 c #Conflicts: 933000 | #Constraints: 37480
2491.90/2498.32 c #Conflicts: 934000 | #Constraints: 38480
2491.90/2498.32 c #Conflicts: 935000 | #Constraints: 39480
2491.90/2498.32 c #Conflicts: 936000 | #Constraints: 40480
2491.90/2498.32 c #Conflicts: 937000 | #Constraints: 41480
2491.90/2498.32 c #Conflicts: 938000 | #Constraints: 42480
2491.90/2498.32 c #Conflicts: 939000 | #Constraints: 43480
2491.90/2498.32 c #Conflicts: 940000 | #Constraints: 44480
2491.90/2498.32 c #Conflicts: 941000 | #Constraints: 45480
2491.90/2498.32 c INPROCESSING
2491.90/2498.32 c GARBAGE COLLECT
2491.90/2498.32 c rational objective 4501.5
2614.07/2620.83 c #Conflicts: 942000 | #Constraints: 27324
2614.07/2620.83 c #Conflicts: 943000 | #Constraints: 28324
2614.07/2620.83 c #Conflicts: 944000 | #Constraints: 29324
2614.07/2620.83 c #Conflicts: 945000 | #Constraints: 30324
2614.07/2620.83 c #Conflicts: 946000 | #Constraints: 31324
2614.07/2620.83 c #Conflicts: 947000 | #Constraints: 32324
2614.07/2620.83 c #Conflicts: 948000 | #Constraints: 33327
2614.07/2620.83 c #Conflicts: 949000 | #Constraints: 34328
2614.07/2620.83 c #Conflicts: 950000 | #Constraints: 35328
2614.07/2620.83 c #Conflicts: 951000 | #Constraints: 36328
2614.07/2620.83 c #Conflicts: 952000 | #Constraints: 37329
2614.07/2620.83 c #Conflicts: 953000 | #Constraints: 38330
2614.07/2620.83 c #Conflicts: 954000 | #Constraints: 39330
2614.07/2620.83 c #Conflicts: 955000 | #Constraints: 40330
2614.07/2620.83 c #Conflicts: 956000 | #Constraints: 41331
2614.07/2620.83 c #Conflicts: 957000 | #Constraints: 42331
2614.07/2620.83 c #Conflicts: 958000 | #Constraints: 43331
2614.07/2620.83 c #Conflicts: 959000 | #Constraints: 44331
2614.07/2620.83 c #Conflicts: 960000 | #Constraints: 45331
2614.07/2620.83 c #Conflicts: 961000 | #Constraints: 46332
2614.07/2620.83 c INPROCESSING
2614.07/2620.83 c GARBAGE COLLECT
2614.07/2620.83 c #Conflicts: 962000 | #Constraints: 27887
2614.07/2620.83 c #Conflicts: 963000 | #Constraints: 28887
2614.07/2620.83 c #Conflicts: 964000 | #Constraints: 29887
2614.07/2620.83 c #Conflicts: 965000 | #Constraints: 30888
2614.07/2620.83 c #Conflicts: 966000 | #Constraints: 31888
2614.07/2620.83 c #Conflicts: 967000 | #Constraints: 32889
2614.07/2620.83 c #Conflicts: 968000 | #Constraints: 33889
2614.07/2620.83 c #Conflicts: 969000 | #Constraints: 34889
2614.07/2620.83 c #Conflicts: 970000 | #Constraints: 35889
2614.07/2620.83 c #Conflicts: 971000 | #Constraints: 36889
2614.07/2620.83 c #Conflicts: 972000 | #Constraints: 37889
2614.07/2620.83 c #Conflicts: 973000 | #Constraints: 38889
2614.07/2620.83 c #Conflicts: 974000 | #Constraints: 39889
2614.07/2620.83 c #Conflicts: 975000 | #Constraints: 40890
2614.07/2620.83 c #Conflicts: 976000 | #Constraints: 41890
2614.07/2620.83 c #Conflicts: 977000 | #Constraints: 42890
2614.07/2620.83 c #Conflicts: 978000 | #Constraints: 43890
2614.07/2620.83 c #Conflicts: 979000 | #Constraints: 44890
2614.07/2620.83 c #Conflicts: 980000 | #Constraints: 45890
2614.07/2620.83 c #Conflicts: 981000 | #Constraints: 46890
2614.07/2620.83 c INPROCESSING
2614.07/2620.83 c GARBAGE COLLECT
2614.07/2620.83 c #Conflicts: 982000 | #Constraints: 28305
2614.07/2620.83 c #Conflicts: 983000 | #Constraints: 29305
2614.07/2620.83 c #Conflicts: 984000 | #Constraints: 30305
2614.07/2620.83 c #Conflicts: 985000 | #Constraints: 31305
2614.07/2620.83 c #Conflicts: 986000 | #Constraints: 32305
2614.07/2620.83 c #Conflicts: 987000 | #Constraints: 33305
2614.07/2620.83 c #Conflicts: 988000 | #Constraints: 34306
2614.07/2620.83 c #Conflicts: 989000 | #Constraints: 35306
2614.07/2620.83 c #Conflicts: 990000 | #Constraints: 36306
2614.07/2620.83 c #Conflicts: 991000 | #Constraints: 37306
2614.07/2620.83 c #Conflicts: 992000 | #Constraints: 38306
2614.07/2620.83 c #Conflicts: 993000 | #Constraints: 39306
2614.07/2620.83 c #Conflicts: 994000 | #Constraints: 40306
2614.07/2620.83 c #Conflicts: 995000 | #Constraints: 41307
2614.07/2620.83 c #Conflicts: 996000 | #Constraints: 42307
2614.07/2620.83 c #Conflicts: 997000 | #Constraints: 43307
2614.07/2620.83 c #Conflicts: 998000 | #Constraints: 44307
2614.07/2620.83 c #Conflicts: 999000 | #Constraints: 45307
2614.07/2620.83 c #Conflicts: 1000000 | #Constraints: 46307
2614.07/2620.83 c #Conflicts: 1001000 | #Constraints: 47307
2614.07/2620.83 c INPROCESSING
2614.07/2620.83 c GARBAGE COLLECT
2614.07/2620.83 c #Conflicts: 1002000 | #Constraints: 28540
2614.07/2620.83 c #Conflicts: 1003000 | #Constraints: 29540
2614.07/2620.83 c #Conflicts: 1004000 | #Constraints: 30540
2614.07/2620.83 c #Conflicts: 1005000 | #Constraints: 31540
2614.07/2620.83 c #Conflicts: 1006000 | #Constraints: 32540
2614.07/2620.83 c #Conflicts: 1007000 | #Constraints: 33540
2614.07/2620.83 c #Conflicts: 1008000 | #Constraints: 34540
2614.07/2620.83 c #Conflicts: 1009000 | #Constraints: 35540
2614.07/2620.83 c #Conflicts: 1010000 | #Constraints: 36541
2614.07/2620.83 c #Conflicts: 1011000 | #Constraints: 37541
2614.07/2620.83 c #Conflicts: 1012000 | #Constraints: 38541
2614.07/2620.83 c #Conflicts: 1013000 | #Constraints: 39541
2614.07/2620.83 c #Conflicts: 1014000 | #Constraints: 40541
2614.07/2620.83 c #Conflicts: 1015000 | #Constraints: 41541
2614.07/2620.83 c #Conflicts: 1016000 | #Constraints: 42541
2614.07/2620.83 c #Conflicts: 1017000 | #Constraints: 43541
2614.07/2620.83 c #Conflicts: 1018000 | #Constraints: 44541
2661.95/2668.87 c #Conflicts: 1019000 | #Constraints: 45541
2661.95/2668.87 c #Conflicts: 1020000 | #Constraints: 46541
2661.95/2668.87 c #Conflicts: 1021000 | #Constraints: 47541
2661.95/2668.87 c INPROCESSING
2661.95/2668.87 c GARBAGE COLLECT
2661.95/2668.87 c #Conflicts: 1022000 | #Constraints: 28567
2661.95/2668.87 c #Conflicts: 1023000 | #Constraints: 29567
2661.95/2668.87 c #Conflicts: 1024000 | #Constraints: 30567
2661.95/2668.87 c #Conflicts: 1025000 | #Constraints: 31567
2661.95/2668.87 c #Conflicts: 1026000 | #Constraints: 32567
2661.95/2668.87 c #Conflicts: 1027000 | #Constraints: 33567
2661.95/2668.87 c #Conflicts: 1028000 | #Constraints: 34567
2661.95/2668.87 c #Conflicts: 1029000 | #Constraints: 35567
2661.95/2668.87 c #Conflicts: 1030000 | #Constraints: 36567
2661.95/2668.87 c #Conflicts: 1031000 | #Constraints: 37567
2661.95/2668.87 c #Conflicts: 1032000 | #Constraints: 38567
2661.95/2668.87 c #Conflicts: 1033000 | #Constraints: 39567
2661.95/2668.87 c #Conflicts: 1034000 | #Constraints: 40567
2661.95/2668.87 c #Conflicts: 1035000 | #Constraints: 41567
2661.95/2668.87 c #Conflicts: 1036000 | #Constraints: 42567
2661.95/2668.87 c #Conflicts: 1037000 | #Constraints: 43567
2661.95/2668.87 c #Conflicts: 1038000 | #Constraints: 44567
2661.95/2668.87 c #Conflicts: 1039000 | #Constraints: 45567
2661.95/2668.87 c #Conflicts: 1040000 | #Constraints: 46568
2661.95/2668.87 c #Conflicts: 1041000 | #Constraints: 47568
2661.95/2668.87 c INPROCESSING
2661.95/2668.87 c GARBAGE COLLECT
2661.95/2668.87 c rational objective 4501.5
2691.18/2698.17 c #Conflicts: 1042000 | #Constraints: 28384
2691.18/2698.17 c #Conflicts: 1043000 | #Constraints: 29384
2691.18/2698.17 c #Conflicts: 1044000 | #Constraints: 30387
2691.18/2698.17 c #Conflicts: 1045000 | #Constraints: 31387
2691.18/2698.17 c #Conflicts: 1046000 | #Constraints: 32387
2691.18/2698.17 c #Conflicts: 1047000 | #Constraints: 33387
2691.18/2698.17 c #Conflicts: 1048000 | #Constraints: 34387
2691.18/2698.17 c #Conflicts: 1049000 | #Constraints: 35388
2691.18/2698.17 c #Conflicts: 1050000 | #Constraints: 36388
2691.18/2698.17 c #Conflicts: 1051000 | #Constraints: 37389
2691.18/2698.17 c #Conflicts: 1052000 | #Constraints: 38389
2691.18/2698.17 c #Conflicts: 1053000 | #Constraints: 39390
2691.18/2698.17 c #Conflicts: 1054000 | #Constraints: 40390
2691.18/2698.17 c #Conflicts: 1055000 | #Constraints: 41391
2691.18/2698.17 c #Conflicts: 1056000 | #Constraints: 42392
2691.18/2698.17 c #Conflicts: 1057000 | #Constraints: 43392
2691.18/2698.17 c #Conflicts: 1058000 | #Constraints: 44393
2691.18/2698.17 c #Conflicts: 1059000 | #Constraints: 45393
2691.18/2698.17 c #Conflicts: 1060000 | #Constraints: 46393
2691.18/2698.17 c #Conflicts: 1061000 | #Constraints: 47393
2691.18/2698.17 c #Conflicts: 1062000 | #Constraints: 48393
2691.18/2698.17 c INPROCESSING
2691.18/2698.17 c GARBAGE COLLECT
2691.18/2698.17 c rational objective 4501.5
2709.73/2716.72 c #Conflicts: 1063000 | #Constraints: 28931
2709.73/2716.72 c #Conflicts: 1064000 | #Constraints: 29932
2709.73/2716.72 c #Conflicts: 1065000 | #Constraints: 30933
2709.73/2716.72 c #Conflicts: 1066000 | #Constraints: 31934
2709.73/2716.72 c #Conflicts: 1067000 | #Constraints: 32934
2709.73/2716.72 c #Conflicts: 1068000 | #Constraints: 33934
2709.73/2716.72 c #Conflicts: 1069000 | #Constraints: 34935
2709.73/2716.72 c #Conflicts: 1070000 | #Constraints: 35935
2709.73/2716.72 c #Conflicts: 1071000 | #Constraints: 36935
2709.73/2716.72 c #Conflicts: 1072000 | #Constraints: 37935
2709.73/2716.72 c #Conflicts: 1073000 | #Constraints: 38935
2709.73/2716.72 c #Conflicts: 1074000 | #Constraints: 39935
2709.73/2716.72 c #Conflicts: 1075000 | #Constraints: 40936
2709.73/2716.72 c #Conflicts: 1076000 | #Constraints: 41936
2709.73/2716.72 c #Conflicts: 1077000 | #Constraints: 42937
2709.73/2716.72 c #Conflicts: 1078000 | #Constraints: 43937
2709.73/2716.72 c #Conflicts: 1079000 | #Constraints: 44938
2709.73/2716.72 c #Conflicts: 1080000 | #Constraints: 45938
2709.73/2716.72 c #Conflicts: 1081000 | #Constraints: 46938
2709.73/2716.72 c #Conflicts: 1082000 | #Constraints: 47939
2709.73/2716.72 c #Conflicts: 1083000 | #Constraints: 48939
2709.73/2716.72 c INPROCESSING
2709.73/2716.72 c GARBAGE COLLECT
2709.73/2716.72 c rational objective 4501.5
2727.88/2734.93 c #Conflicts: 1084000 | #Constraints: 29283
2727.88/2734.93 c #Conflicts: 1085000 | #Constraints: 30283
2727.88/2734.93 c #Conflicts: 1086000 | #Constraints: 31284
2727.88/2734.93 c #Conflicts: 1087000 | #Constraints: 32286
2727.88/2734.93 c #Conflicts: 1088000 | #Constraints: 33286
2727.88/2734.93 c #Conflicts: 1089000 | #Constraints: 34287
2727.88/2734.93 c #Conflicts: 1090000 | #Constraints: 35287
2727.88/2734.93 c #Conflicts: 1091000 | #Constraints: 36287
2727.88/2734.93 c #Conflicts: 1092000 | #Constraints: 37287
2727.88/2734.93 c #Conflicts: 1093000 | #Constraints: 38287
2727.88/2734.93 c #Conflicts: 1094000 | #Constraints: 39287
2727.88/2734.93 c #Conflicts: 1095000 | #Constraints: 40287
2727.88/2734.93 c #Conflicts: 1096000 | #Constraints: 41287
2727.88/2734.93 c #Conflicts: 1097000 | #Constraints: 42287
2727.88/2734.93 c #Conflicts: 1098000 | #Constraints: 43288
2727.88/2734.93 c #Conflicts: 1099000 | #Constraints: 44288
2727.88/2734.93 c #Conflicts: 1100000 | #Constraints: 45288
2727.88/2734.93 c #Conflicts: 1101000 | #Constraints: 46289
2727.88/2734.93 c #Conflicts: 1102000 | #Constraints: 47289
2727.88/2734.93 c #Conflicts: 1103000 | #Constraints: 48290
2727.88/2734.93 c #Conflicts: 1104000 | #Constraints: 49290
2727.88/2734.93 c INPROCESSING
2727.88/2734.93 c GARBAGE COLLECT
2727.88/2734.93 c rational objective 4501.5
2752.52/2759.61 c #Conflicts: 1105000 | #Constraints: 29474
2752.52/2759.61 c #Conflicts: 1106000 | #Constraints: 30474
2752.52/2759.61 c #Conflicts: 1107000 | #Constraints: 31474
2752.52/2759.61 c #Conflicts: 1108000 | #Constraints: 32474
2752.52/2759.61 c #Conflicts: 1109000 | #Constraints: 33474
2752.52/2759.61 c #Conflicts: 1110000 | #Constraints: 34475
2752.52/2759.61 c #Conflicts: 1111000 | #Constraints: 35476
2752.52/2759.61 c #Conflicts: 1112000 | #Constraints: 36476
2752.52/2759.61 c #Conflicts: 1113000 | #Constraints: 37476
2752.52/2759.61 c #Conflicts: 1114000 | #Constraints: 38477
2752.52/2759.61 c #Conflicts: 1115000 | #Constraints: 39478
2752.52/2759.61 c #Conflicts: 1116000 | #Constraints: 40479
2752.52/2759.61 c #Conflicts: 1117000 | #Constraints: 41480
2752.52/2759.61 c #Conflicts: 1118000 | #Constraints: 42481
2752.52/2759.61 c #Conflicts: 1119000 | #Constraints: 43481
2752.52/2759.61 c #Conflicts: 1120000 | #Constraints: 44482
2752.52/2759.61 c #Conflicts: 1121000 | #Constraints: 45482
2752.52/2759.61 c #Conflicts: 1122000 | #Constraints: 46482
2752.52/2759.61 c #Conflicts: 1123000 | #Constraints: 47484
2752.52/2759.61 c #Conflicts: 1124000 | #Constraints: 48484
2752.52/2759.61 c #Conflicts: 1125000 | #Constraints: 49484
2752.52/2759.61 c INPROCESSING
2752.52/2759.61 c GARBAGE COLLECT
2752.52/2759.61 c rational objective 4501.5
2768.58/2775.77 c #Conflicts: 1126000 | #Constraints: 29468
2768.58/2775.77 c #Conflicts: 1127000 | #Constraints: 30468
2768.58/2775.77 c #Conflicts: 1128000 | #Constraints: 31468
2768.58/2775.77 c #Conflicts: 1129000 | #Constraints: 32468
2768.58/2775.77 c #Conflicts: 1130000 | #Constraints: 33468
2768.58/2775.77 c #Conflicts: 1131000 | #Constraints: 34468
2768.58/2775.77 c #Conflicts: 1132000 | #Constraints: 35470
2768.58/2775.77 c #Conflicts: 1133000 | #Constraints: 36472
2768.58/2775.77 c #Conflicts: 1134000 | #Constraints: 37472
2768.58/2775.77 c #Conflicts: 1135000 | #Constraints: 38473
2768.58/2775.77 c #Conflicts: 1136000 | #Constraints: 39473
2768.58/2775.77 c #Conflicts: 1137000 | #Constraints: 40473
2768.58/2775.77 c #Conflicts: 1138000 | #Constraints: 41473
2768.58/2775.77 c #Conflicts: 1139000 | #Constraints: 42473
2768.58/2775.77 c #Conflicts: 1140000 | #Constraints: 43473
2768.58/2775.77 c #Conflicts: 1141000 | #Constraints: 44474
2768.58/2775.77 c #Conflicts: 1142000 | #Constraints: 45474
2768.58/2775.77 c #Conflicts: 1143000 | #Constraints: 46475
2768.58/2775.77 c #Conflicts: 1144000 | #Constraints: 47475
2768.58/2775.77 c #Conflicts: 1145000 | #Constraints: 48476
2768.58/2775.77 c #Conflicts: 1146000 | #Constraints: 49476
2768.58/2775.77 c INPROCESSING
2768.58/2775.77 c GARBAGE COLLECT
2768.58/2775.77 c rational objective 4501.5
2808.98/2816.28 c #Conflicts: 1147000 | #Constraints: 29239
2808.98/2816.28 c #Conflicts: 1148000 | #Constraints: 30239
2808.98/2816.28 c #Conflicts: 1149000 | #Constraints: 31239
2808.98/2816.28 c #Conflicts: 1150000 | #Constraints: 32239
2808.98/2816.28 c #Conflicts: 1151000 | #Constraints: 33239
2808.98/2816.28 c #Conflicts: 1152000 | #Constraints: 34239
2808.98/2816.28 c #Conflicts: 1153000 | #Constraints: 35239
2808.98/2816.28 c #Conflicts: 1154000 | #Constraints: 36241
2808.98/2816.28 c #Conflicts: 1155000 | #Constraints: 37241
2808.98/2816.28 c #Conflicts: 1156000 | #Constraints: 38242
2808.98/2816.28 c #Conflicts: 1157000 | #Constraints: 39242
2808.98/2816.28 c #Conflicts: 1158000 | #Constraints: 40242
2808.98/2816.28 c #Conflicts: 1159000 | #Constraints: 41242
2808.98/2816.28 c #Conflicts: 1160000 | #Constraints: 42242
2808.98/2816.28 c #Conflicts: 1161000 | #Constraints: 43242
2808.98/2816.28 c #Conflicts: 1162000 | #Constraints: 44242
2808.98/2816.28 c #Conflicts: 1163000 | #Constraints: 45242
2808.98/2816.28 c #Conflicts: 1164000 | #Constraints: 46242
2808.98/2816.28 c #Conflicts: 1165000 | #Constraints: 47242
2808.98/2816.28 c #Conflicts: 1166000 | #Constraints: 48242
2808.98/2816.28 c #Conflicts: 1167000 | #Constraints: 49242
2808.98/2816.28 c #Conflicts: 1168000 | #Constraints: 50242
2808.98/2816.28 c INPROCESSING
2808.98/2816.28 c GARBAGE COLLECT
2808.98/2816.28 c rational objective 4501.5
2838.61/2845.93 c #Conflicts: 1169000 | #Constraints: 29843
2838.61/2845.93 c #Conflicts: 1170000 | #Constraints: 30843
2838.61/2845.93 c #Conflicts: 1171000 | #Constraints: 31843
2838.61/2845.93 c #Conflicts: 1172000 | #Constraints: 32843
2838.61/2845.93 c #Conflicts: 1173000 | #Constraints: 33843
2838.61/2845.93 c #Conflicts: 1174000 | #Constraints: 34844
2838.61/2845.93 c #Conflicts: 1175000 | #Constraints: 35844
2838.61/2845.93 c #Conflicts: 1176000 | #Constraints: 36844
2838.61/2845.93 c #Conflicts: 1177000 | #Constraints: 37844
2838.61/2845.93 c #Conflicts: 1178000 | #Constraints: 38844
2838.61/2845.93 c #Conflicts: 1179000 | #Constraints: 39844
2838.61/2845.93 c #Conflicts: 1180000 | #Constraints: 40844
2838.61/2845.93 c #Conflicts: 1181000 | #Constraints: 41844
2838.61/2845.93 c #Conflicts: 1182000 | #Constraints: 42844
2838.61/2845.93 c #Conflicts: 1183000 | #Constraints: 43844
2838.61/2845.93 c #Conflicts: 1184000 | #Constraints: 44844
2838.61/2845.93 c #Conflicts: 1185000 | #Constraints: 45844
2838.61/2845.93 c #Conflicts: 1186000 | #Constraints: 46844
2838.61/2845.93 c #Conflicts: 1187000 | #Constraints: 47844
2838.61/2845.93 c #Conflicts: 1188000 | #Constraints: 48845
2838.61/2845.93 c #Conflicts: 1189000 | #Constraints: 49845
2838.61/2845.93 c #Conflicts: 1190000 | #Constraints: 50845
2838.61/2845.93 c INPROCESSING
2838.61/2845.93 c GARBAGE COLLECT
2838.61/2845.93 c rational objective 4501.5
2897.85/2905.36 c #Conflicts: 1191000 | #Constraints: 30217
2897.85/2905.36 c #Conflicts: 1192000 | #Constraints: 31217
2897.85/2905.36 c #Conflicts: 1193000 | #Constraints: 32217
2897.85/2905.36 c #Conflicts: 1194000 | #Constraints: 33217
2897.85/2905.36 c #Conflicts: 1195000 | #Constraints: 34217
2897.85/2905.36 c #Conflicts: 1196000 | #Constraints: 35217
2897.85/2905.36 c #Conflicts: 1197000 | #Constraints: 36217
2897.85/2905.36 c #Conflicts: 1198000 | #Constraints: 37217
2897.85/2905.36 c #Conflicts: 1199000 | #Constraints: 38217
2897.85/2905.36 c #Conflicts: 1200000 | #Constraints: 39217
2897.85/2905.36 c #Conflicts: 1201000 | #Constraints: 40217
2897.85/2905.36 c #Conflicts: 1202000 | #Constraints: 41217
2897.85/2905.36 c #Conflicts: 1203000 | #Constraints: 42217
2897.85/2905.36 c #Conflicts: 1204000 | #Constraints: 43217
2897.85/2905.36 c #Conflicts: 1205000 | #Constraints: 44217
2897.85/2905.36 c #Conflicts: 1206000 | #Constraints: 45217
2897.85/2905.36 c #Conflicts: 1207000 | #Constraints: 46217
2897.85/2905.36 c #Conflicts: 1208000 | #Constraints: 47217
2897.85/2905.36 c #Conflicts: 1209000 | #Constraints: 48217
2897.85/2905.36 c #Conflicts: 1210000 | #Constraints: 49217
2897.85/2905.36 c #Conflicts: 1211000 | #Constraints: 50217
2897.85/2905.36 c #Conflicts: 1212000 | #Constraints: 51217
2897.85/2905.36 c INPROCESSING
2897.85/2905.36 c GARBAGE COLLECT
2897.85/2905.36 c rational objective 4501.5
3016.64/3024.40 c #Conflicts: 1213000 | #Constraints: 30425
3016.64/3024.40 c #Conflicts: 1214000 | #Constraints: 31425
3016.64/3024.40 c #Conflicts: 1215000 | #Constraints: 32426
3016.64/3024.40 c #Conflicts: 1216000 | #Constraints: 33426
3016.64/3024.40 c #Conflicts: 1217000 | #Constraints: 34426
3016.64/3024.40 c #Conflicts: 1218000 | #Constraints: 35426
3016.64/3024.40 c #Conflicts: 1219000 | #Constraints: 36426
3016.64/3024.40 c #Conflicts: 1220000 | #Constraints: 37426
3016.64/3024.40 c #Conflicts: 1221000 | #Constraints: 38426
3016.64/3024.40 c #Conflicts: 1222000 | #Constraints: 39426
3016.64/3024.40 c #Conflicts: 1223000 | #Constraints: 40426
3016.64/3024.40 c #Conflicts: 1224000 | #Constraints: 41426
3016.64/3024.40 c #Conflicts: 1225000 | #Constraints: 42426
3016.64/3024.40 c #Conflicts: 1226000 | #Constraints: 43426
3016.64/3024.40 c #Conflicts: 1227000 | #Constraints: 44426
3016.64/3024.40 c #Conflicts: 1228000 | #Constraints: 45426
3016.64/3024.40 c #Conflicts: 1229000 | #Constraints: 46426
3016.64/3024.40 c #Conflicts: 1230000 | #Constraints: 47426
3016.64/3024.40 c #Conflicts: 1231000 | #Constraints: 48427
3016.64/3024.40 c #Conflicts: 1232000 | #Constraints: 49427
3016.64/3024.40 c #Conflicts: 1233000 | #Constraints: 50427
3016.64/3024.40 c #Conflicts: 1234000 | #Constraints: 51427
3016.64/3024.40 c INPROCESSING
3016.64/3024.40 c GARBAGE COLLECT
3016.64/3024.40 c rational objective 4501.5
3152.17/3160.34 c #Conflicts: 1235000 | #Constraints: 30410
3152.17/3160.34 c #Conflicts: 1236000 | #Constraints: 31410
3152.17/3160.34 c #Conflicts: 1237000 | #Constraints: 32410
3152.17/3160.34 c #Conflicts: 1238000 | #Constraints: 33410
3152.17/3160.34 c #Conflicts: 1239000 | #Constraints: 34410
3152.17/3160.34 c #Conflicts: 1240000 | #Constraints: 35410
3152.17/3160.34 c #Conflicts: 1241000 | #Constraints: 36410
3152.17/3160.34 c #Conflicts: 1242000 | #Constraints: 37410
3152.17/3160.34 c #Conflicts: 1243000 | #Constraints: 38411
3152.17/3160.34 c #Conflicts: 1244000 | #Constraints: 39411
3152.17/3160.34 c #Conflicts: 1245000 | #Constraints: 40411
3152.17/3160.34 c #Conflicts: 1246000 | #Constraints: 41411
3152.17/3160.34 c #Conflicts: 1247000 | #Constraints: 42411
3152.17/3160.34 c #Conflicts: 1248000 | #Constraints: 43411
3152.17/3160.34 c #Conflicts: 1249000 | #Constraints: 44411
3152.17/3160.34 c #Conflicts: 1250000 | #Constraints: 45411
3152.17/3160.34 c #Conflicts: 1251000 | #Constraints: 46411
3152.17/3160.34 c #Conflicts: 1252000 | #Constraints: 47411
3152.17/3160.34 c #Conflicts: 1253000 | #Constraints: 48411
3152.17/3160.34 c #Conflicts: 1254000 | #Constraints: 49411
3152.17/3160.34 c #Conflicts: 1255000 | #Constraints: 50411
3152.17/3160.34 c #Conflicts: 1256000 | #Constraints: 51411
3152.17/3160.34 c INPROCESSING
3152.17/3160.34 c GARBAGE COLLECT
3152.17/3160.34 c #Conflicts: 1257000 | #Constraints: 30213
3152.17/3160.34 c #Conflicts: 1258000 | #Constraints: 31213
3152.17/3160.34 c #Conflicts: 1259000 | #Constraints: 32213
3152.17/3160.34 c #Conflicts: 1260000 | #Constraints: 33213
3152.17/3160.34 c #Conflicts: 1261000 | #Constraints: 34213
3152.17/3160.34 c #Conflicts: 1262000 | #Constraints: 35213
3152.17/3160.34 c #Conflicts: 1263000 | #Constraints: 36213
3152.17/3160.34 c #Conflicts: 1264000 | #Constraints: 37213
3152.17/3160.34 c #Conflicts: 1265000 | #Constraints: 38213
3152.17/3160.34 c #Conflicts: 1266000 | #Constraints: 39213
3152.17/3160.34 c #Conflicts: 1267000 | #Constraints: 40213
3152.17/3160.34 c #Conflicts: 1268000 | #Constraints: 41213
3152.17/3160.34 c #Conflicts: 1269000 | #Constraints: 42213
3152.17/3160.34 c #Conflicts: 1270000 | #Constraints: 43213
3152.17/3160.34 c #Conflicts: 1271000 | #Constraints: 44213
3152.17/3160.34 c #Conflicts: 1272000 | #Constraints: 45213
3152.17/3160.34 c #Conflicts: 1273000 | #Constraints: 46213
3152.17/3160.34 c #Conflicts: 1274000 | #Constraints: 47213
3152.17/3160.34 c #Conflicts: 1275000 | #Constraints: 48213
3152.17/3160.34 c #Conflicts: 1276000 | #Constraints: 49213
3152.17/3160.34 c #Conflicts: 1277000 | #Constraints: 50213
3152.17/3160.34 c #Conflicts: 1278000 | #Constraints: 51213
3152.17/3160.34 c #Conflicts: 1279000 | #Constraints: 52213
3152.17/3160.34 c INPROCESSING
3152.17/3160.34 c GARBAGE COLLECT
3152.17/3160.34 c #Conflicts: 1280000 | #Constraints: 30807
3152.17/3160.34 c #Conflicts: 1281000 | #Constraints: 31807
3152.17/3160.34 c #Conflicts: 1282000 | #Constraints: 32807
3152.17/3160.34 c #Conflicts: 1283000 | #Constraints: 33807
3152.17/3160.34 c #Conflicts: 1284000 | #Constraints: 34807
3152.17/3160.34 c #Conflicts: 1285000 | #Constraints: 35807
3152.17/3160.34 c #Conflicts: 1286000 | #Constraints: 36807
3152.17/3160.34 c #Conflicts: 1287000 | #Constraints: 37807
3152.17/3160.34 c #Conflicts: 1288000 | #Constraints: 38807
3152.17/3160.34 c #Conflicts: 1289000 | #Constraints: 39807
3152.17/3160.34 c #Conflicts: 1290000 | #Constraints: 40809
3152.17/3160.34 c #Conflicts: 1291000 | #Constraints: 41809
3152.17/3160.34 c #Conflicts: 1292000 | #Constraints: 42809
3152.17/3160.34 c #Conflicts: 1293000 | #Constraints: 43809
3152.17/3160.34 c #Conflicts: 1294000 | #Constraints: 44809
3152.17/3160.34 c #Conflicts: 1295000 | #Constraints: 45810
3152.17/3160.34 c #Conflicts: 1296000 | #Constraints: 46810
3152.17/3160.34 c #Conflicts: 1297000 | #Constraints: 47810
3152.17/3160.34 c #Conflicts: 1298000 | #Constraints: 48810
3152.17/3160.34 c #Conflicts: 1299000 | #Constraints: 49810
3152.17/3160.34 c #Conflicts: 1300000 | #Constraints: 50810
3152.17/3160.34 c #Conflicts: 1301000 | #Constraints: 51810
3152.17/3160.34 c #Conflicts: 1302000 | #Constraints: 52811
3152.17/3160.34 c INPROCESSING
3152.17/3160.34 c GARBAGE COLLECT
3152.17/3160.34 c #Conflicts: 1303000 | #Constraints: 31288
3152.17/3160.34 c #Conflicts: 1304000 | #Constraints: 32288
3152.17/3160.34 c #Conflicts: 1305000 | #Constraints: 33288
3152.17/3160.34 c #Conflicts: 1306000 | #Constraints: 34288
3152.17/3160.34 c #Conflicts: 1307000 | #Constraints: 35289
3152.17/3160.34 c #Conflicts: 1308000 | #Constraints: 36289
3152.17/3160.34 c #Conflicts: 1309000 | #Constraints: 37289
3152.17/3160.34 c #Conflicts: 1310000 | #Constraints: 38289
3152.17/3160.34 c #Conflicts: 1311000 | #Constraints: 39289
3179.39/3187.62 c #Conflicts: 1312000 | #Constraints: 40289
3179.39/3187.62 c #Conflicts: 1313000 | #Constraints: 41289
3179.39/3187.62 c #Conflicts: 1314000 | #Constraints: 42289
3179.39/3187.62 c #Conflicts: 1315000 | #Constraints: 43289
3179.39/3187.62 c #Conflicts: 1316000 | #Constraints: 44289
3179.39/3187.62 c #Conflicts: 1317000 | #Constraints: 45289
3179.39/3187.62 c #Conflicts: 1318000 | #Constraints: 46289
3179.39/3187.62 c #Conflicts: 1319000 | #Constraints: 47290
3179.39/3187.62 c #Conflicts: 1320000 | #Constraints: 48290
3179.39/3187.62 c #Conflicts: 1321000 | #Constraints: 49290
3179.39/3187.62 c #Conflicts: 1322000 | #Constraints: 50290
3179.39/3187.62 c #Conflicts: 1323000 | #Constraints: 51290
3179.39/3187.62 c #Conflicts: 1324000 | #Constraints: 52290
3179.39/3187.62 c #Conflicts: 1325000 | #Constraints: 53290
3179.39/3187.62 c INPROCESSING
3179.39/3187.62 c GARBAGE COLLECT
3179.39/3187.62 c #Conflicts: 1326000 | #Constraints: 31560
3179.39/3187.62 c #Conflicts: 1327000 | #Constraints: 32560
3179.39/3187.62 c #Conflicts: 1328000 | #Constraints: 33560
3179.39/3187.62 c #Conflicts: 1329000 | #Constraints: 34560
3179.39/3187.62 c #Conflicts: 1330000 | #Constraints: 35560
3179.39/3187.62 c #Conflicts: 1331000 | #Constraints: 36560
3179.39/3187.62 c #Conflicts: 1332000 | #Constraints: 37560
3179.39/3187.62 c #Conflicts: 1333000 | #Constraints: 38560
3179.39/3187.62 c #Conflicts: 1334000 | #Constraints: 39560
3179.39/3187.62 c #Conflicts: 1335000 | #Constraints: 40560
3179.39/3187.62 c #Conflicts: 1336000 | #Constraints: 41560
3179.39/3187.62 c #Conflicts: 1337000 | #Constraints: 42560
3179.39/3187.62 c #Conflicts: 1338000 | #Constraints: 43560
3179.39/3187.62 c #Conflicts: 1339000 | #Constraints: 44560
3179.39/3187.62 c #Conflicts: 1340000 | #Constraints: 45560
3179.39/3187.62 c #Conflicts: 1341000 | #Constraints: 46561
3179.39/3187.62 c #Conflicts: 1342000 | #Constraints: 47561
3179.39/3187.62 c #Conflicts: 1343000 | #Constraints: 48562
3179.39/3187.62 c #Conflicts: 1344000 | #Constraints: 49562
3179.39/3187.62 c #Conflicts: 1345000 | #Constraints: 50562
3179.39/3187.62 c #Conflicts: 1346000 | #Constraints: 51562
3179.39/3187.62 c #Conflicts: 1347000 | #Constraints: 52562
3179.39/3187.62 c #Conflicts: 1348000 | #Constraints: 53563
3179.39/3187.62 c INPROCESSING
3179.39/3187.62 c GARBAGE COLLECT
3179.39/3187.62 c rational objective 4501.5
3238.81/3247.25 c #Conflicts: 1349000 | #Constraints: 31630
3238.81/3247.25 c #Conflicts: 1350000 | #Constraints: 32630
3238.81/3247.25 c #Conflicts: 1351000 | #Constraints: 33633
3238.81/3247.25 c #Conflicts: 1352000 | #Constraints: 34634
3238.81/3247.25 c #Conflicts: 1353000 | #Constraints: 35634
3238.81/3247.25 c #Conflicts: 1354000 | #Constraints: 36635
3238.81/3247.25 c #Conflicts: 1355000 | #Constraints: 37635
3238.81/3247.25 c #Conflicts: 1356000 | #Constraints: 38635
3238.81/3247.25 c #Conflicts: 1357000 | #Constraints: 39635
3238.81/3247.25 c #Conflicts: 1358000 | #Constraints: 40635
3238.81/3247.25 c #Conflicts: 1359000 | #Constraints: 41635
3238.81/3247.25 c #Conflicts: 1360000 | #Constraints: 42635
3238.81/3247.25 c #Conflicts: 1361000 | #Constraints: 43635
3238.81/3247.25 c #Conflicts: 1362000 | #Constraints: 44635
3238.81/3247.25 c #Conflicts: 1363000 | #Constraints: 45635
3238.81/3247.25 c #Conflicts: 1364000 | #Constraints: 46635
3238.81/3247.25 c #Conflicts: 1365000 | #Constraints: 47635
3238.81/3247.25 c #Conflicts: 1366000 | #Constraints: 48635
3238.81/3247.25 c #Conflicts: 1367000 | #Constraints: 49636
3238.81/3247.25 c #Conflicts: 1368000 | #Constraints: 50636
3238.81/3247.25 c #Conflicts: 1369000 | #Constraints: 51636
3238.81/3247.25 c #Conflicts: 1370000 | #Constraints: 52636
3238.81/3247.25 c #Conflicts: 1371000 | #Constraints: 53636
3238.81/3247.25 c INPROCESSING
3238.81/3247.25 c GARBAGE COLLECT
3238.81/3247.25 c #Conflicts: 1372000 | #Constraints: 31319
3238.81/3247.25 c #Conflicts: 1373000 | #Constraints: 32320
3238.81/3247.25 c #Conflicts: 1374000 | #Constraints: 33320
3238.81/3247.25 c #Conflicts: 1375000 | #Constraints: 34320
3238.81/3247.25 c #Conflicts: 1376000 | #Constraints: 35320
3238.81/3247.25 c #Conflicts: 1377000 | #Constraints: 36320
3238.81/3247.25 c #Conflicts: 1378000 | #Constraints: 37320
3238.81/3247.25 c #Conflicts: 1379000 | #Constraints: 38320
3238.81/3247.25 c #Conflicts: 1380000 | #Constraints: 39320
3238.81/3247.25 c #Conflicts: 1381000 | #Constraints: 40320
3238.81/3247.25 c #Conflicts: 1382000 | #Constraints: 41320
3238.81/3247.25 c #Conflicts: 1383000 | #Constraints: 42320
3238.81/3247.25 c #Conflicts: 1384000 | #Constraints: 43320
3238.81/3247.25 c #Conflicts: 1385000 | #Constraints: 44320
3238.81/3247.25 c #Conflicts: 1386000 | #Constraints: 45320
3238.81/3247.25 c #Conflicts: 1387000 | #Constraints: 46320
3238.81/3247.25 c #Conflicts: 1388000 | #Constraints: 47320
3238.81/3247.25 c #Conflicts: 1389000 | #Constraints: 48320
3238.81/3247.25 c #Conflicts: 1390000 | #Constraints: 49320
3238.81/3247.25 c #Conflicts: 1391000 | #Constraints: 50320
3238.81/3247.25 c #Conflicts: 1392000 | #Constraints: 51320
3238.81/3247.25 c #Conflicts: 1393000 | #Constraints: 52320
3238.81/3247.25 c #Conflicts: 1394000 | #Constraints: 53320
3238.81/3247.25 c #Conflicts: 1395000 | #Constraints: 54320
3238.81/3247.25 c INPROCESSING
3238.81/3247.25 c GARBAGE COLLECT
3238.81/3247.25 c rational objective 4501.5
3293.34/3301.90 c #Conflicts: 1396000 | #Constraints: 31863
3293.34/3301.90 c #Conflicts: 1397000 | #Constraints: 32863
3293.34/3301.90 c #Conflicts: 1398000 | #Constraints: 33864
3293.34/3301.90 c #Conflicts: 1399000 | #Constraints: 34864
3293.34/3301.90 c #Conflicts: 1400000 | #Constraints: 35864
3293.34/3301.90 c #Conflicts: 1401000 | #Constraints: 36864
3293.34/3301.90 c #Conflicts: 1402000 | #Constraints: 37864
3293.34/3301.90 c #Conflicts: 1403000 | #Constraints: 38864
3293.34/3301.90 c #Conflicts: 1404000 | #Constraints: 39864
3293.34/3301.90 c #Conflicts: 1405000 | #Constraints: 40864
3293.34/3301.90 c #Conflicts: 1406000 | #Constraints: 41864
3293.34/3301.90 c #Conflicts: 1407000 | #Constraints: 42865
3293.34/3301.90 c #Conflicts: 1408000 | #Constraints: 43865
3293.34/3301.90 c #Conflicts: 1409000 | #Constraints: 44865
3293.34/3301.90 c #Conflicts: 1410000 | #Constraints: 45865
3293.34/3301.90 c #Conflicts: 1411000 | #Constraints: 46865
3293.34/3301.90 c #Conflicts: 1412000 | #Constraints: 47865
3293.34/3301.90 c #Conflicts: 1413000 | #Constraints: 48865
3293.34/3301.90 c #Conflicts: 1414000 | #Constraints: 49865
3293.34/3301.90 c #Conflicts: 1415000 | #Constraints: 50865
3293.34/3301.90 c #Conflicts: 1416000 | #Constraints: 51865
3293.34/3301.90 c #Conflicts: 1417000 | #Constraints: 52865
3293.34/3301.90 c #Conflicts: 1418000 | #Constraints: 53865
3293.34/3301.90 c #Conflicts: 1419000 | #Constraints: 54865
3293.34/3301.90 c INPROCESSING
3293.34/3301.90 c GARBAGE COLLECT
3293.34/3301.90 c rational objective 4501.5
3377.28/3386.19 c #Conflicts: 1420000 | #Constraints: 32393
3377.28/3386.19 c #Conflicts: 1421000 | #Constraints: 33393
3377.28/3386.19 c #Conflicts: 1422000 | #Constraints: 34393
3377.28/3386.19 c #Conflicts: 1423000 | #Constraints: 35393
3377.28/3386.19 c #Conflicts: 1424000 | #Constraints: 36393
3377.28/3386.19 c #Conflicts: 1425000 | #Constraints: 37393
3377.28/3386.19 c #Conflicts: 1426000 | #Constraints: 38393
3377.28/3386.19 c #Conflicts: 1427000 | #Constraints: 39393
3377.28/3386.19 c #Conflicts: 1428000 | #Constraints: 40393
3377.28/3386.19 c #Conflicts: 1429000 | #Constraints: 41393
3377.28/3386.19 c #Conflicts: 1430000 | #Constraints: 42393
3377.28/3386.19 c #Conflicts: 1431000 | #Constraints: 43393
3377.28/3386.19 c #Conflicts: 1432000 | #Constraints: 44393
3377.28/3386.19 c #Conflicts: 1433000 | #Constraints: 45393
3377.28/3386.19 c #Conflicts: 1434000 | #Constraints: 46393
3377.28/3386.19 c #Conflicts: 1435000 | #Constraints: 47393
3377.28/3386.19 c #Conflicts: 1436000 | #Constraints: 48393
3377.28/3386.19 c #Conflicts: 1437000 | #Constraints: 49393
3377.28/3386.19 c #Conflicts: 1438000 | #Constraints: 50393
3377.28/3386.19 c #Conflicts: 1439000 | #Constraints: 51393
3377.28/3386.19 c #Conflicts: 1440000 | #Constraints: 52393
3377.28/3386.19 c #Conflicts: 1441000 | #Constraints: 53393
3377.28/3386.19 c #Conflicts: 1442000 | #Constraints: 54393
3377.28/3386.19 c #Conflicts: 1443000 | #Constraints: 55393
3377.28/3386.19 c INPROCESSING
3377.28/3386.19 c GARBAGE COLLECT
3377.28/3386.19 c rational objective 4501.5
3600.07/3609.63 c #Conflicts: 1444000 | #Constraints: 32498
3600.07/3609.63 c #Conflicts: 1445000 | #Constraints: 33498
3600.07/3609.63 c #Conflicts: 1446000 | #Constraints: 34498
3600.07/3609.63 c #Conflicts: 1447000 | #Constraints: 35498
3600.07/3609.63 c #Conflicts: 1448000 | #Constraints: 36498
3600.07/3609.63 c #Conflicts: 1449000 | #Constraints: 37498
3600.07/3609.63 c #Conflicts: 1450000 | #Constraints: 38499
3600.07/3609.63 c #Conflicts: 1451000 | #Constraints: 39499
3600.07/3609.63 c #Conflicts: 1452000 | #Constraints: 40499
3600.07/3609.63 c #Conflicts: 1453000 | #Constraints: 41499
3600.07/3609.63 c #Conflicts: 1454000 | #Constraints: 42499
3600.07/3609.63 c #Conflicts: 1455000 | #Constraints: 43499
3600.07/3609.63 c #Conflicts: 1456000 | #Constraints: 44499
3600.07/3609.63 c #Conflicts: 1457000 | #Constraints: 45499
3600.07/3609.63 c #Conflicts: 1458000 | #Constraints: 46499
3600.07/3609.63 c #Conflicts: 1459000 | #Constraints: 47499
3600.07/3609.63 c #Conflicts: 1460000 | #Constraints: 48499
3600.07/3609.63 c #Conflicts: 1461000 | #Constraints: 49499
3600.07/3609.63 c #Conflicts: 1462000 | #Constraints: 50499
3600.07/3609.63 c #Conflicts: 1463000 | #Constraints: 51499
3600.07/3609.63 c #Conflicts: 1464000 | #Constraints: 52499
3600.07/3609.63 c #Conflicts: 1465000 | #Constraints: 53499
3600.07/3609.63 c #Conflicts: 1466000 | #Constraints: 54499
3600.07/3609.63 c #Conflicts: 1467000 | #Constraints: 55499
3600.07/3609.63 c INPROCESSING
3600.07/3609.63 c GARBAGE COLLECT
3600.07/3609.63 c #Conflicts: 1468000 | #Constraints: 32452
3600.07/3609.63 c #Conflicts: 1469000 | #Constraints: 33453
3600.07/3609.63 c #Conflicts: 1470000 | #Constraints: 34453
3600.07/3609.63 c #Conflicts: 1471000 | #Constraints: 35453
3600.07/3609.63 c #Conflicts: 1472000 | #Constraints: 36453
3600.07/3609.63 c #Conflicts: 1473000 | #Constraints: 37453
3600.07/3609.63 c #Conflicts: 1474000 | #Constraints: 38453
3600.07/3609.63 c #Conflicts: 1475000 | #Constraints: 39453
3600.07/3609.63 c #Conflicts: 1476000 | #Constraints: 40453
3600.07/3609.63 c #Conflicts: 1477000 | #Constraints: 41453
3600.07/3609.63 c #Conflicts: 1478000 | #Constraints: 42453
3600.07/3609.63 c #Conflicts: 1479000 | #Constraints: 43453
3600.07/3609.63 c #Conflicts: 1480000 | #Constraints: 44453
3600.07/3609.63 c #Conflicts: 1481000 | #Constraints: 45453
3600.07/3609.63 c #Conflicts: 1482000 | #Constraints: 46453
3600.07/3609.63 c #Conflicts: 1483000 | #Constraints: 47453
3600.07/3609.63 c #Conflicts: 1484000 | #Constraints: 48453
3600.07/3609.63 c #Conflicts: 1485000 | #Constraints: 49454
3600.07/3609.63 c #Conflicts: 1486000 | #Constraints: 50454
3600.07/3609.63 c #Conflicts: 1487000 | #Constraints: 51454
3600.07/3609.63 c #Conflicts: 1488000 | #Constraints: 52454
3600.07/3609.63 c #Conflicts: 1489000 | #Constraints: 53454
3600.07/3609.63 c #Conflicts: 1490000 | #Constraints: 54454
3600.07/3609.63 c #Conflicts: 1491000 | #Constraints: 55454
3600.07/3609.63 c INPROCESSING
3600.07/3609.63 c GARBAGE COLLECT
3600.07/3609.63 c #Conflicts: 1492000 | #Constraints: 32483
3600.07/3609.63 c #Conflicts: 1493000 | #Constraints: 33483
3600.07/3609.63 c #Conflicts: 1494000 | #Constraints: 34483
3600.07/3609.63 c #Conflicts: 1495000 | #Constraints: 35483
3600.07/3609.63 c #Conflicts: 1496000 | #Constraints: 36483
3600.07/3609.63 c #Conflicts: 1497000 | #Constraints: 37483
3600.07/3609.63 c #Conflicts: 1498000 | #Constraints: 38483
3600.07/3609.63 c #Conflicts: 1499000 | #Constraints: 39483
3600.07/3609.63 c #Conflicts: 1500000 | #Constraints: 40483
3600.07/3609.63 c #Conflicts: 1501000 | #Constraints: 41483
3600.07/3609.63 c #Conflicts: 1502000 | #Constraints: 42483
3600.07/3609.63 c #Conflicts: 1503000 | #Constraints: 43483
3600.07/3609.63 c #Conflicts: 1504000 | #Constraints: 44483
3600.07/3609.63 c #Conflicts: 1505000 | #Constraints: 45483
3600.07/3609.63 c #Conflicts: 1506000 | #Constraints: 46483
3600.07/3609.63 c #Conflicts: 1507000 | #Constraints: 47483
3600.07/3609.63 c #Conflicts: 1508000 | #Constraints: 48483
3600.07/3609.63 c #Conflicts: 1509000 | #Constraints: 49483
3600.07/3609.63 c #Conflicts: 1510000 | #Constraints: 50483
3600.07/3609.63 c #Conflicts: 1511000 | #Constraints: 51483
3600.07/3609.63 c #Conflicts: 1512000 | #Constraints: 52483
3600.07/3609.63 c cpu time 3584.34 s
3600.07/3609.63 c deterministic time 464028719658 4.64e+11
3600.07/3609.63 c optimization time 93.6704 s
3600.07/3609.63 c total solve time 3490.65 s
3600.07/3609.63 c core-guided solve time 0 s
3600.07/3609.63 c propagation time 1632.34 s
3600.07/3609.63 c conflict analysis time 749.77 s
3600.07/3609.63 c propagations 592727111
3600.07/3609.63 c resolve steps 12127014
3600.07/3609.63 c decisions 12069015
3600.07/3609.63 c conflicts 1512394
3600.07/3609.63 c restarts 2939
3600.07/3609.63 c inprocessing phases 113
3600.07/3609.63 c garbage collections 113 ,( 100.00 )
3600.07/3609.63 c input clauses 6004 ,( 80.00 )
3600.07/3609.63 c input cardinalities 1500 ,( 19.99 )
3600.07/3609.63 c input general constraints 1 ,( 0.01 )
3600.07/3609.63 c input average constraint length 4.00
3600.07/3609.63 c input average constraint degree 2.40
3600.07/3609.63 c learned clauses 144766 ,( 9.57 )
3600.07/3609.63 c learned cardinalities 21474 ,( 1.42 )
3600.07/3609.63 c learned general constraints 1346463 ,( 89.01 )
3600.07/3609.63 c learned average constraint length 1742.16
3600.07/3609.63 c learned average constraint degree 1237053663.00
3600.07/3609.63 c watched CF 32, 64, 128, Arb: 954233 , 0 , 0 , 0
3600.07/3609.63 c counting CF 32, 64, 128, Arb: 392231 , 0 , 0 , 0
3600.07/3609.63 c watched constraints 954233 ,( 70.87 )
3600.07/3609.63 c counting constraints 392231 ,( 29.13 )
3600.07/3609.63 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 159247232 , 129184206 , 1249715641 ,( 744198013 , 505517628 )
3600.07/3609.63 c gcd simplifications 21115
3600.07/3609.63 c detected cardinalities 1326
3600.07/3609.63 c weakened non-implied lits 483508009
3600.07/3609.63 c weakened non-implying lits 101859
3600.07/3609.63 c original variables 9003
3600.07/3609.63 c clausal propagations 151293462
3600.07/3609.63 c cardinality propagations 67746574
3600.07/3609.63 c watched propagations 120165277
3600.07/3609.63 c counting propagations 152257127
3600.07/3609.63 c watch lookups 42054660375
3600.07/3609.63 c watch backjump lookups 0
3600.07/3609.63 c watch checks 283285303369
3600.07/3609.63 c propagation checks 132399484775
3600.07/3609.63 c constraint additions 5077860438
3600.07/3609.63 c trail pops 606302465
3600.07/3609.63 c formula constraints 7505
3600.07/3609.63 c learned constraints 1512152
3600.07/3609.63 c bound constraints 0
3600.07/3609.63 c core-guided constraints 0
3600.07/3609.63 c encountered formula constraints 10890942
3600.07/3609.63 c encountered learned constraints 2697076
3600.07/3609.63 c encountered bound constraints 0
3600.07/3609.63 c encountered core-guided constraints 0
3600.07/3609.63 c LP total time 74.56 s
3600.07/3609.63 c LP solve time 64.99 s
3600.07/3609.63 c LP constraints added 7574
3600.07/3609.63 c LP constraints removed 64
3600.07/3609.63 c LP pivots internal 155111
3600.07/3609.63 c LP pivots root 156998
3600.07/3609.63 c LP calls 277
3600.07/3609.63 c LP optimalities 31
3600.07/3609.63 c LP no pivot count 0
3600.07/3609.63 c LP infeasibilities 241
3600.07/3609.63 c LP valid Farkas constraints 241
3600.07/3609.63 c LP learned Farkas constraints 241
3600.07/3609.63 c LP basis resets 0
3600.07/3609.63 c LP cycling count 0
3600.07/3609.63 c LP singular count 0
3600.07/3609.63 c LP no primal count 0
3600.07/3609.63 c LP no farkas count 0
3600.07/3609.63 c LP other issue count 0
3600.07/3609.63 c LP Gomory cuts 69
3600.07/3609.63 c LP learned cuts 0
3600.07/3609.63 c LP deleted cuts 64
3600.07/3609.63 c LP encountered Gomory constraints 2
3600.07/3609.63 c LP encountered Farkas constraints 45566
3600.07/3609.63 c LP encountered learned Farkas constraints 5581
3600.07/3609.63 c CG auxiliary variables introduced 0
3600.07/3609.63 c CG solutions found 0
3600.07/3609.63 c CG cores constructed 0
3600.07/3609.63 c CG core cardinality constraints returned 0
3600.07/3609.63 c CG unit cores 0
3600.07/3609.63 c CG single cores 0
3600.07/3609.63 c CG blocks removed during cardinality reduction 0
3600.07/3609.63 c CG first core best 0
3600.07/3609.63 c CG decision core best 0
3600.07/3609.63 c CG core reduction tie 0
3600.07/3609.63 c CG core degree average 0.00
3600.07/3609.63 c CG core slack average 0.00
3600.07/3609.63 c CG core upper bound improvements 0
3600.07/3609.63 c STR number of successful calls 0
3600.07/3609.63 c STR number of unsuccessful calls 0
3600.07/3609.63 c STR number of inconclusive calls 0
3600.07/3609.63 c STR number of successful attempts 0
3600.07/3609.63 c STR number of unsuccessful attempts 0
3600.07/3609.63 c STR number of inconclusive attempts 0
3600.07/3609.63 c STR average degree increase per successful call inf
3600.07/3609.63 c STR average degree increase per successful attempt inf
3600.07/3609.63 c STR total number of conflicts for successful attempts 0
3600.07/3609.63 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.63 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.63 c STR average number of conflicts per successful attempt inf
3600.07/3609.63 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.63 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.63 c AVG.sumWPerc 28.81
3600.07/3609.63 c bigint constraints 0
3600.07/3609.63 s UNKNOWN
3600.07/3609.63 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 (57396 MiB free)
memory of node 1: 64465 MiB (54043 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544181-1753219519/watcher-4544181-1753219519 -o /tmp/evaluation-result-4544181-1753219519/solver-4544181-1753219519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164106 --watchdog 3760 run-dec-ls.sh HOME/instance-4544181-1753219519.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=167034, runsolver pid=167031
[startup+0.100062 s]*
/proc/loadavg: 4.09 4.09 4.09 5/268 167036
/proc/meminfo: memFree=114114992/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=73576 memory=29132 CPUtime=0.09 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 5201 0 0 0 7 2 0 0 20 0 1 0 237629439 75341824 7283 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 18394 7283 2304 1147 0 5821 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32076 KiB
[startup+0.20585 s]*
/proc/loadavg: 4.09 4.09 4.09 6/268 167036
/proc/meminfo: memFree=114114992/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=73576 memory=29132 CPUtime=0.19 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 5201 0 0 0 17 2 0 0 20 0 1 0 237629439 75341824 7283 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 18394 7283 2304 1147 0 5821 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32076 KiB
[startup+0.305953 s]*
/proc/loadavg: 4.09 4.09 4.09 6/268 167036
/proc/meminfo: memFree=114114992/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=73576 memory=29132 CPUtime=0.29 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 5201 0 0 0 27 2 0 0 20 0 1 0 237629439 75341824 7283 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 18394 7283 2304 1147 0 5821 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32076 KiB
[startup+0.700195 s]
/proc/loadavg: 4.09 4.09 4.09 6/268 167036
/proc/meminfo: memFree=114115116/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=73576 memory=29132 CPUtime=0.68 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 5204 0 0 0 66 2 0 0 20 0 1 0 237629439 75341824 7283 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 18394 7283 2304 1147 0 5821 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32076 KiB
[startup+1.50016 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 167036
/proc/meminfo: memFree=114115116/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=73576 memory=29132 CPUtime=1.48 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 5204 0 0 0 146 2 0 0 20 0 1 0 237629439 75341824 7283 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 18394 7283 2304 1147 0 5821 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32076 KiB
[startup+3.10588 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 167036
/proc/meminfo: memFree=114115020/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=73576 memory=29132 CPUtime=3.08 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 5204 0 0 0 306 2 0 0 20 0 1 0 237629439 75341824 7283 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 18394 7283 2304 1147 0 5821 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32076 KiB
[startup+6.30019 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 167036
/proc/meminfo: memFree=114115308/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=73576 memory=29132 CPUtime=6.27 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 5204 0 0 0 625 2 0 0 20 0 1 0 237629439 75341824 7283 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 18394 7283 2304 1147 0 5821 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 77768 KiB
Current children cumulated memory: 32076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 167036
/proc/meminfo: memFree=114092652/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=115384 memory=68372 CPUtime=12.65 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 11365 0 0 0 1258 7 0 0 20 0 1 0 237629439 118153216 17093 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 28846 17093 2368 1147 0 16273 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 119576 KiB
Current children cumulated memory: 71316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 167036
/proc/meminfo: memFree=114036016/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=160940 memory=110792 CPUtime=25.42 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 18385 0 0 0 2532 10 0 0 20 0 1 0 237629439 164802560 27698 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 40235 27698 2368 1147 0 27662 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 165132 KiB
Current children cumulated memory: 113736 KiB
[startup+51.1058 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 167037
/proc/meminfo: memFree=113974404/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=275204 memory=182284 CPUtime=50.96 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 27064 0 0 0 5078 18 0 0 20 0 1 0 237629439 281808896 45571 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 68801 45571 2368 1147 0 56228 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 279396 KiB
Current children cumulated memory: 185228 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 167038
/proc/meminfo: memFree=113859696/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=339512 memory=279640 CPUtime=102.04 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 41195 0 0 0 10169 35 0 0 20 0 1 0 237629439 347660288 69910 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 84878 69910 2368 1147 0 72305 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 343704 KiB
Current children cumulated memory: 282584 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 167042
/proc/meminfo: memFree=113606088/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=590552 memory=473836 CPUtime=161.91 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 77461 0 0 0 16134 57 0 0 20 0 1 0 237629439 604725248 118459 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 147638 118459 2400 1147 0 135065 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 594744 KiB
Current children cumulated memory: 476780 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 167045
/proc/meminfo: memFree=113533924/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=640824 memory=542020 CPUtime=221.77 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 88387 0 0 0 22103 74 0 0 20 0 1 0 237629439 656203776 135505 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 160206 135505 2400 1147 0 147633 0
################
# More data... #
################
/proc/167036/statm: 941710 822655 2400 1147 0 929137 0
Current children cumulated CPU time: 3034.49 s
Current children cumulated vsize: 3771032 KiB
Current children cumulated memory: 3293564 KiB
[startup+3102.3 s]
/proc/loadavg: 3.14 3.15 3.43 4/261 168030
/proc/meminfo: memFree=115874480/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=3778216 memory=3297788 CPUtime=3094.34 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 560887 0 0 0 308115 1319 0 0 20 0 1 0 237629439 3868893184 824447 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 944554 824447 2400 1147 0 931981 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 3782408 KiB
Current children cumulated memory: 3300732 KiB
[startup+3162.3 s]
/proc/loadavg: 3.11 3.14 3.41 4/261 168032
/proc/meminfo: memFree=115783480/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=3864428 memory=3351548 CPUtime=3154.17 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 574318 0 0 0 314055 1362 0 0 20 0 1 0 237629439 3957174272 837887 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 966107 837887 2400 1147 0 953534 0
Current children cumulated CPU time: 3154.17 s
Current children cumulated vsize: 3868620 KiB
Current children cumulated memory: 3354492 KiB
[startup+3222.3 s]
/proc/loadavg: 3.09 3.12 3.39 4/261 168034
/proc/meminfo: memFree=115748312/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=3870828 memory=3356668 CPUtime=3213.98 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 575596 0 0 0 320010 1388 0 0 20 0 1 0 237629439 3963727872 839167 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 967707 839167 2400 1147 0 955134 0
Current children cumulated CPU time: 3213.98 s
Current children cumulated vsize: 3875020 KiB
Current children cumulated memory: 3359612 KiB
[startup+3282.3 s]
/proc/loadavg: 3.07 3.11 3.36 4/261 168036
/proc/meminfo: memFree=115738352/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=3881632 memory=3368060 CPUtime=3273.8 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 578449 0 0 0 325956 1424 0 0 20 0 1 0 237629439 3974791168 842015 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 970408 842015 2400 1147 0 957835 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 3885824 KiB
Current children cumulated memory: 3371004 KiB
[startup+3342.3 s]
/proc/loadavg: 3.08 3.11 3.35 4/262 168039
/proc/meminfo: memFree=115738628/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=3892388 memory=3375228 CPUtime=3333.61 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 580227 0 0 0 331909 1452 0 0 20 0 1 0 237629439 3985805312 843807 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 973097 843807 2400 1147 0 960524 0
Current children cumulated CPU time: 3333.61 s
Current children cumulated vsize: 3896580 KiB
Current children cumulated memory: 3378172 KiB
[startup+3402.3 s]
/proc/loadavg: 3.07 3.10 3.33 4/262 168044
/proc/meminfo: memFree=115670912/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=3920360 memory=3454176 CPUtime=3393.43 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 586699 0 0 0 337859 1484 0 0 20 0 1 0 237629439 4014448640 863544 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 980090 863544 2400 1147 0 967517 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 3924552 KiB
Current children cumulated memory: 3457120 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.11 3.32 4/263 168052
/proc/meminfo: memFree=115675432/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=3921452 memory=3455200 CPUtime=3453.24 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 586979 0 0 0 343810 1514 0 0 20 0 1 0 237629439 4015566848 863800 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 980363 863800 2400 1147 0 967790 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 3925644 KiB
Current children cumulated memory: 3458144 KiB
[startup+3522.3 s]
/proc/loadavg: 3.23 3.16 3.32 4/263 168054
/proc/meminfo: memFree=115676284/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=3923688 memory=3456864 CPUtime=3513.05 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 587381 0 0 0 349754 1551 0 0 20 0 1 0 237629439 4017856512 864216 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 980922 864216 2400 1147 0 968349 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 3927880 KiB
Current children cumulated memory: 3459808 KiB
[startup+3582.3 s]
/proc/loadavg: 3.19 3.16 3.31 4/263 168056
/proc/meminfo: memFree=115669616/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=3925996 memory=3458144 CPUtime=3572.86 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 587711 0 0 0 355710 1576 0 0 20 0 1 0 237629439 4020219904 864536 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 981499 864536 2400 1147 0 968926 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 3930188 KiB
Current children cumulated memory: 3461088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 3.13 3.15 3.30 4/263 168057
/proc/meminfo: memFree=115602064/131250000 swapFree=33008356/33010684
[pid=167034] ppid=167031 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167034/stat : 167034 (run-dec-ls.sh) S 167031 167034 164094 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237629438 4292608 736 18446744073709551615 94869497163776 94869498058309 140723113611808 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94869498297360 94869498345104 94869526114304 140723113613669 140723113613795 140723113613795 140723113619399 0
/proc/167034/statm: 1048 736 672 219 0 110 0
[pid=167036] ppid=167034 vsize=3927788 memory=3459424 CPUtime=3600.07 cores=1,3
/proc/167036/stat : 167036 (roundingsat) R 167034 167034 164094 0 -1 4194304 588013 0 0 0 358430 1577 0 0 20 0 1 0 237629439 4022054912 864856 18446744073709551615 4227072 8923433 140721372968768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35127296 140721372977566 140721372977702 140721372977702 140721372983274 0
/proc/167036/statm: 981947 864856 2400 1147 0 969374 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3931980 KiB
Current children cumulated memory: 3462368 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 167034 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.002299 s
Sleeping 2 seconds
[startup+3609.67 s]
# the end of solver process 167036 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3584.35 s, system=15.8097 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.67
CPU time (s): 3600.16
CPU user time (s): 3584.35
CPU system time (s): 15.8097
CPU usage (%): 99.7363
Max. virtual memory (cumulated for all children) (KiB): 3931980
Max. memory (cumulated for all children) (KiB): 3462368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.35
system time used= 15.8097
maximum resident set size= 3459680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 328
involuntary context switches= 6445
# summary of solver processes directly reported to runsolver:
# pid: 167034,167036
# total CPU time (s): 3600.16
# total CPU user time (s): 3584.35
# total CPU system time (s): 15.8097
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14799 second user time and 17.73 second system time
The end
Begin job on nodeC019 at 2025-07-22 23:25:19
IDJOB=4544181
IDBENCH=174960
IDSOLVER=3353
FILE ID=nodeC019/4544181-1753219519
RUNJOBID= nodeC019-1753211625-164106
SLURM_JOB_ID= 9687797
Free space on /tmp= 432912 MiB
SOLVER NAME= roundingsat-ls 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544181-1753219519/watcher-4544181-1753219519 -o /tmp/evaluation-result-4544181-1753219519/solver-4544181-1753219519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164106 --watchdog 3760 run-dec-ls.sh HOME/instance-4544181-1753219519.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9d0f67967ac2bc71f5ce17bb15e814c1
RANDOM SEED=1586325466
nodeC019 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.733
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.37
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.674
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.909
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.677
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.37
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.668
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.666
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.37
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 : 3630.218
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.37
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 : 3603.493
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 114114848 kB
MemAvailable: 123659672 kB
Buffers: 904 kB
Cached: 10285560 kB
SwapCached: 416 kB
Active: 7145724 kB
Inactive: 9199140 kB
Active(anon): 6071048 kB
Inactive(anon): 12804 kB
Active(file): 1074676 kB
Inactive(file): 9186336 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7216 kB
Writeback: 28 kB
AnonPages: 6053476 kB
Mapped: 122956 kB
Shmem: 25452 kB
KReclaimable: 246104 kB
Slab: 342036 kB
SReclaimable: 246104 kB
SUnreclaim: 95932 kB
KernelStack: 4320 kB
PageTables: 15264 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6660924 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4409344 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433012 MiB
End job on nodeC019 at 2025-07-23 00:25:29