0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.13 c #variables 6256 #constraints 6442
41.64/41.87 c #Conflicts: 1000 | #Constraints: 7441
41.64/41.87 c #Conflicts: 2000 | #Constraints: 8441
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 3000 | #Constraints: 8069
41.64/41.87 c #Conflicts: 4000 | #Constraints: 9069
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 5000 | #Constraints: 8522
41.64/41.87 c #Conflicts: 6000 | #Constraints: 9522
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 7000 | #Constraints: 8568
41.64/41.87 c #Conflicts: 8000 | #Constraints: 9568
41.64/41.87 c #Conflicts: 9000 | #Constraints: 10568
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 10000 | #Constraints: 9308
41.64/41.87 c #Conflicts: 11000 | #Constraints: 10308
41.64/41.87 c #Conflicts: 12000 | #Constraints: 11308
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 13000 | #Constraints: 9800
41.64/41.87 c #Conflicts: 14000 | #Constraints: 10800
41.64/41.87 c #Conflicts: 15000 | #Constraints: 11800
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 16000 | #Constraints: 10080
41.64/41.87 c #Conflicts: 17000 | #Constraints: 11080
41.64/41.87 c #Conflicts: 18000 | #Constraints: 12080
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 19000 | #Constraints: 10111
41.64/41.87 c #Conflicts: 20000 | #Constraints: 11111
41.64/41.87 c #Conflicts: 21000 | #Constraints: 12112
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 22000 | #Constraints: 9918
41.64/41.87 c #Conflicts: 23000 | #Constraints: 10918
41.64/41.87 c #Conflicts: 24000 | #Constraints: 11918
41.64/41.87 c #Conflicts: 25000 | #Constraints: 12918
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 26000 | #Constraints: 10578
41.64/41.87 c #Conflicts: 27000 | #Constraints: 11578
41.64/41.87 c #Conflicts: 28000 | #Constraints: 12578
41.64/41.87 c #Conflicts: 29000 | #Constraints: 13578
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 30000 | #Constraints: 10986
41.64/41.87 c #Conflicts: 31000 | #Constraints: 11986
41.64/41.87 c #Conflicts: 32000 | #Constraints: 12986
41.64/41.87 c #Conflicts: 33000 | #Constraints: 13986
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 34000 | #Constraints: 11219
41.64/41.87 c #Conflicts: 35000 | #Constraints: 12219
41.64/41.87 c #Conflicts: 36000 | #Constraints: 13219
41.64/41.87 c #Conflicts: 37000 | #Constraints: 14219
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 38000 | #Constraints: 11238
41.64/41.87 c #Conflicts: 39000 | #Constraints: 12238
41.64/41.87 c #Conflicts: 40000 | #Constraints: 13238
41.64/41.87 c #Conflicts: 41000 | #Constraints: 14238
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 42000 | #Constraints: 11049
41.64/41.87 c #Conflicts: 43000 | #Constraints: 12049
41.64/41.87 c #Conflicts: 44000 | #Constraints: 13049
41.64/41.87 c #Conflicts: 45000 | #Constraints: 14049
41.64/41.87 c #Conflicts: 46000 | #Constraints: 15049
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 47000 | #Constraints: 11656
41.64/41.87 c #Conflicts: 48000 | #Constraints: 12656
41.64/41.87 c #Conflicts: 49000 | #Constraints: 13656
41.64/41.87 c #Conflicts: 50000 | #Constraints: 14656
41.64/41.87 c #Conflicts: 51000 | #Constraints: 15656
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 52000 | #Constraints: 12069
41.64/41.87 c #Conflicts: 53000 | #Constraints: 13069
41.64/41.87 c #Conflicts: 54000 | #Constraints: 14069
41.64/41.87 c #Conflicts: 55000 | #Constraints: 15069
41.64/41.87 c #Conflicts: 56000 | #Constraints: 16069
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 57000 | #Constraints: 12331
41.64/41.87 c #Conflicts: 58000 | #Constraints: 13331
41.64/41.87 c #Conflicts: 59000 | #Constraints: 14331
41.64/41.87 c #Conflicts: 60000 | #Constraints: 15331
41.64/41.87 c #Conflicts: 61000 | #Constraints: 16331
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 62000 | #Constraints: 12309
41.64/41.87 c #Conflicts: 63000 | #Constraints: 13309
41.64/41.87 c #Conflicts: 64000 | #Constraints: 14309
41.64/41.87 c #Conflicts: 65000 | #Constraints: 15309
41.64/41.87 c #Conflicts: 66000 | #Constraints: 16309
41.64/41.87 c INPROCESSING
41.64/41.87 c GARBAGE COLLECT
41.64/41.87 c #Conflicts: 67000 | #Constraints: 12117
41.64/41.87 c #Conflicts: 68000 | #Constraints: 13117
110.45/110.88 c #Conflicts: 69000 | #Constraints: 14117
110.45/110.88 c #Conflicts: 70000 | #Constraints: 15117
110.45/110.88 c #Conflicts: 71000 | #Constraints: 16117
110.45/110.88 c #Conflicts: 72000 | #Constraints: 17117
110.45/110.88 c #Conflicts: 73000 | #Constraints: 18117
110.45/110.88 c #Conflicts: 74000 | #Constraints: 19117
110.45/110.88 c #Conflicts: 75000 | #Constraints: 20117
110.45/110.88 c #Conflicts: 76000 | #Constraints: 21117
110.45/110.88 c #Conflicts: 77000 | #Constraints: 22117
110.45/110.88 c #Conflicts: 78000 | #Constraints: 23117
110.45/110.88 c #Conflicts: 79000 | #Constraints: 24117
110.45/110.88 c #Conflicts: 80000 | #Constraints: 25117
110.45/110.88 c #Conflicts: 81000 | #Constraints: 26118
110.45/110.88 c #Conflicts: 82000 | #Constraints: 27118
110.45/110.88 c #Conflicts: 83000 | #Constraints: 28118
110.45/110.88 c #Conflicts: 84000 | #Constraints: 29118
110.45/110.88 c #Conflicts: 85000 | #Constraints: 30118
110.45/110.88 c #Conflicts: 86000 | #Constraints: 31118
110.45/110.88 c #Conflicts: 87000 | #Constraints: 32118
110.45/110.88 c #Conflicts: 88000 | #Constraints: 33118
110.45/110.88 c #Conflicts: 89000 | #Constraints: 34118
110.45/110.88 c INPROCESSING
110.45/110.88 c GARBAGE COLLECT
110.45/110.88 c #Conflicts: 90000 | #Constraints: 21214
110.45/110.88 c #Conflicts: 91000 | #Constraints: 22214
110.45/110.88 c #Conflicts: 92000 | #Constraints: 23214
110.45/110.88 c #Conflicts: 93000 | #Constraints: 24214
110.45/110.88 c #Conflicts: 94000 | #Constraints: 25214
110.45/110.88 c #Conflicts: 95000 | #Constraints: 26214
110.45/110.88 c #Conflicts: 96000 | #Constraints: 27214
110.45/110.88 c INPROCESSING
110.45/110.88 c GARBAGE COLLECT
110.45/110.88 c #Conflicts: 97000 | #Constraints: 17932
110.45/110.88 c #Conflicts: 98000 | #Constraints: 18932
110.45/110.88 c #Conflicts: 99000 | #Constraints: 19932
110.45/110.88 c #Conflicts: 100000 | #Constraints: 20932
110.45/110.88 c #Conflicts: 101000 | #Constraints: 21932
110.45/110.88 c #Conflicts: 102000 | #Constraints: 22932
110.45/110.88 c INPROCESSING
110.45/110.88 c GARBAGE COLLECT
110.45/110.88 c #Conflicts: 103000 | #Constraints: 15370
110.45/110.88 c #Conflicts: 104000 | #Constraints: 16370
110.45/110.88 c #Conflicts: 105000 | #Constraints: 17370
110.45/110.88 c #Conflicts: 106000 | #Constraints: 18370
110.45/110.88 c #Conflicts: 107000 | #Constraints: 19370
110.45/110.88 c #Conflicts: 108000 | #Constraints: 20370
110.45/110.88 c #Conflicts: 109000 | #Constraints: 21370
110.45/110.88 c #Conflicts: 110000 | #Constraints: 22370
110.45/110.88 c INPROCESSING
110.45/110.88 c GARBAGE COLLECT
110.45/110.88 c #Conflicts: 111000 | #Constraints: 15512
110.45/110.88 c #Conflicts: 112000 | #Constraints: 16512
110.45/110.88 c #Conflicts: 113000 | #Constraints: 17512
110.45/110.88 c #Conflicts: 114000 | #Constraints: 18512
110.45/110.88 c #Conflicts: 115000 | #Constraints: 19512
110.45/110.88 c #Conflicts: 116000 | #Constraints: 20512
110.45/110.88 c #Conflicts: 117000 | #Constraints: 21512
110.45/110.88 c INPROCESSING
110.45/110.88 c GARBAGE COLLECT
110.45/110.88 c #Conflicts: 118000 | #Constraints: 14914
110.45/110.88 c #Conflicts: 119000 | #Constraints: 15914
110.45/110.88 c #Conflicts: 120000 | #Constraints: 16914
110.45/110.88 c #Conflicts: 121000 | #Constraints: 17915
110.45/110.88 c #Conflicts: 122000 | #Constraints: 18915
110.45/110.88 c #Conflicts: 123000 | #Constraints: 19915
110.45/110.88 c #Conflicts: 124000 | #Constraints: 20915
110.45/110.88 c #Conflicts: 125000 | #Constraints: 21915
110.45/110.88 c #Conflicts: 126000 | #Constraints: 22915
110.45/110.88 c #Conflicts: 127000 | #Constraints: 23915
110.45/110.88 c #Conflicts: 128000 | #Constraints: 24915
110.45/110.88 c #Conflicts: 129000 | #Constraints: 25915
110.45/110.88 c #Conflicts: 130000 | #Constraints: 26915
110.45/110.88 c #Conflicts: 131000 | #Constraints: 27915
110.45/110.88 c #Conflicts: 132000 | #Constraints: 28915
110.45/110.88 c #Conflicts: 133000 | #Constraints: 29915
110.45/110.88 c #Conflicts: 134000 | #Constraints: 30915
110.45/110.88 c #Conflicts: 135000 | #Constraints: 31915
110.45/110.88 c #Conflicts: 136000 | #Constraints: 32915
110.45/110.88 c #Conflicts: 137000 | #Constraints: 33915
110.45/110.88 c #Conflicts: 138000 | #Constraints: 34915
110.45/110.88 c #Conflicts: 139000 | #Constraints: 35915
110.45/110.88 c #Conflicts: 140000 | #Constraints: 36915
110.45/110.88 c #Conflicts: 141000 | #Constraints: 37915
110.45/110.88 c #Conflicts: 142000 | #Constraints: 38915
110.45/110.88 c #Conflicts: 143000 | #Constraints: 39915
121.42/121.88 c #Conflicts: 144000 | #Constraints: 40915
121.42/121.88 c #Conflicts: 145000 | #Constraints: 41915
121.42/121.88 c #Conflicts: 146000 | #Constraints: 42915
121.42/121.88 c INPROCESSING
121.42/121.88 c GARBAGE COLLECT
121.42/121.88 c rational objective 92
199.70/200.36 c #Conflicts: 147000 | #Constraints: 25600
199.70/200.36 c #Conflicts: 148000 | #Constraints: 26600
199.70/200.36 c #Conflicts: 149000 | #Constraints: 27600
199.70/200.36 c #Conflicts: 150000 | #Constraints: 28600
199.70/200.36 c #Conflicts: 151000 | #Constraints: 29600
199.70/200.36 c #Conflicts: 152000 | #Constraints: 30600
199.70/200.36 c #Conflicts: 153000 | #Constraints: 31601
199.70/200.36 c #Conflicts: 154000 | #Constraints: 32601
199.70/200.36 c #Conflicts: 155000 | #Constraints: 33601
199.70/200.36 c INPROCESSING
199.70/200.36 c GARBAGE COLLECT
199.70/200.36 c #Conflicts: 156000 | #Constraints: 21144
199.70/200.36 c #Conflicts: 157000 | #Constraints: 22144
199.70/200.36 c #Conflicts: 158000 | #Constraints: 23144
199.70/200.36 c #Conflicts: 159000 | #Constraints: 24144
199.70/200.36 c #Conflicts: 160000 | #Constraints: 25144
199.70/200.36 c #Conflicts: 161000 | #Constraints: 26144
199.70/200.36 c #Conflicts: 162000 | #Constraints: 27144
199.70/200.36 c #Conflicts: 163000 | #Constraints: 28144
199.70/200.36 c INPROCESSING
199.70/200.36 c GARBAGE COLLECT
199.70/200.36 c #Conflicts: 164000 | #Constraints: 18030
199.70/200.36 c #Conflicts: 165000 | #Constraints: 19030
199.70/200.36 c #Conflicts: 166000 | #Constraints: 20030
199.70/200.36 c #Conflicts: 167000 | #Constraints: 21030
199.70/200.36 c #Conflicts: 168000 | #Constraints: 22030
199.70/200.36 c #Conflicts: 169000 | #Constraints: 23030
199.70/200.36 c #Conflicts: 170000 | #Constraints: 24030
199.70/200.36 c #Conflicts: 171000 | #Constraints: 25030
199.70/200.36 c #Conflicts: 172000 | #Constraints: 26030
199.70/200.36 c INPROCESSING
199.70/200.36 c GARBAGE COLLECT
199.70/200.36 c #Conflicts: 173000 | #Constraints: 16983
199.70/200.36 c #Conflicts: 174000 | #Constraints: 17983
199.70/200.36 c #Conflicts: 175000 | #Constraints: 18983
199.70/200.36 c #Conflicts: 176000 | #Constraints: 19983
199.70/200.36 c #Conflicts: 177000 | #Constraints: 20983
199.70/200.36 c #Conflicts: 178000 | #Constraints: 21983
199.70/200.36 c #Conflicts: 179000 | #Constraints: 22983
199.70/200.36 c #Conflicts: 180000 | #Constraints: 23983
199.70/200.36 c #Conflicts: 181000 | #Constraints: 24983
199.70/200.36 c #Conflicts: 182000 | #Constraints: 25983
199.70/200.36 c INPROCESSING
199.70/200.36 c GARBAGE COLLECT
199.70/200.36 c #Conflicts: 183000 | #Constraints: 17347
199.70/200.36 c #Conflicts: 184000 | #Constraints: 18347
199.70/200.36 c #Conflicts: 185000 | #Constraints: 19347
199.70/200.36 c #Conflicts: 186000 | #Constraints: 20347
199.70/200.36 c #Conflicts: 187000 | #Constraints: 21347
199.70/200.36 c #Conflicts: 188000 | #Constraints: 22347
199.70/200.36 c #Conflicts: 189000 | #Constraints: 23347
199.70/200.36 c #Conflicts: 190000 | #Constraints: 24347
199.70/200.36 c #Conflicts: 191000 | #Constraints: 25347
199.70/200.36 c #Conflicts: 192000 | #Constraints: 26347
199.70/200.36 c #Conflicts: 193000 | #Constraints: 27347
199.70/200.36 c #Conflicts: 194000 | #Constraints: 28347
199.70/200.36 c #Conflicts: 195000 | #Constraints: 29347
199.70/200.36 c #Conflicts: 196000 | #Constraints: 30347
199.70/200.36 c #Conflicts: 197000 | #Constraints: 31347
199.70/200.36 c #Conflicts: 198000 | #Constraints: 32347
199.70/200.36 c #Conflicts: 199000 | #Constraints: 33347
199.70/200.36 c #Conflicts: 200000 | #Constraints: 34347
199.70/200.36 c #Conflicts: 201000 | #Constraints: 35347
199.70/200.36 c #Conflicts: 202000 | #Constraints: 36347
199.70/200.36 c #Conflicts: 203000 | #Constraints: 37347
199.70/200.36 c #Conflicts: 204000 | #Constraints: 38347
199.70/200.36 c #Conflicts: 205000 | #Constraints: 39347
199.70/200.36 c #Conflicts: 206000 | #Constraints: 40347
199.70/200.36 c #Conflicts: 207000 | #Constraints: 41347
199.70/200.36 c #Conflicts: 208000 | #Constraints: 42347
199.70/200.36 c #Conflicts: 209000 | #Constraints: 43347
199.70/200.36 c #Conflicts: 210000 | #Constraints: 44347
199.70/200.36 c #Conflicts: 211000 | #Constraints: 45347
199.70/200.36 c #Conflicts: 212000 | #Constraints: 46347
199.70/200.36 c #Conflicts: 213000 | #Constraints: 47347
199.70/200.36 c #Conflicts: 214000 | #Constraints: 48347
199.70/200.36 c #Conflicts: 215000 | #Constraints: 49347
199.70/200.36 c #Conflicts: 216000 | #Constraints: 50347
199.70/200.36 c #Conflicts: 217000 | #Constraints: 51347
199.70/200.36 c INPROCESSING
199.70/200.36 c GARBAGE COLLECT
199.70/200.36 c #Conflicts: 218000 | #Constraints: 29845
199.70/200.36 c #Conflicts: 219000 | #Constraints: 30845
199.70/200.36 c #Conflicts: 220000 | #Constraints: 31845
199.70/200.36 c #Conflicts: 221000 | #Constraints: 32845
199.70/200.36 c #Conflicts: 222000 | #Constraints: 33845
233.70/234.48 c #Conflicts: 223000 | #Constraints: 34845
233.70/234.48 c #Conflicts: 224000 | #Constraints: 35845
233.70/234.48 c #Conflicts: 225000 | #Constraints: 36845
233.70/234.48 c #Conflicts: 226000 | #Constraints: 37845
233.70/234.48 c #Conflicts: 227000 | #Constraints: 38845
233.70/234.48 c #Conflicts: 228000 | #Constraints: 39845
233.70/234.48 c INPROCESSING
233.70/234.48 c GARBAGE COLLECT
233.70/234.48 c #Conflicts: 229000 | #Constraints: 24284
233.70/234.48 c #Conflicts: 230000 | #Constraints: 25284
233.70/234.48 c #Conflicts: 231000 | #Constraints: 26284
233.70/234.48 c #Conflicts: 232000 | #Constraints: 27284
233.70/234.48 c #Conflicts: 233000 | #Constraints: 28284
233.70/234.48 c #Conflicts: 234000 | #Constraints: 29284
233.70/234.48 c #Conflicts: 235000 | #Constraints: 30284
233.70/234.48 c #Conflicts: 236000 | #Constraints: 31284
233.70/234.48 c #Conflicts: 237000 | #Constraints: 32284
233.70/234.48 c #Conflicts: 238000 | #Constraints: 33284
233.70/234.48 c INPROCESSING
233.70/234.48 c GARBAGE COLLECT
233.70/234.48 c #Conflicts: 239000 | #Constraints: 20713
233.70/234.48 c #Conflicts: 240000 | #Constraints: 21713
233.70/234.48 c #Conflicts: 241000 | #Constraints: 22713
233.70/234.48 c #Conflicts: 242000 | #Constraints: 23713
233.70/234.48 c #Conflicts: 243000 | #Constraints: 24713
233.70/234.48 c #Conflicts: 244000 | #Constraints: 25713
233.70/234.48 c #Conflicts: 245000 | #Constraints: 26713
233.70/234.48 c #Conflicts: 246000 | #Constraints: 27713
233.70/234.48 c #Conflicts: 247000 | #Constraints: 28713
233.70/234.48 c #Conflicts: 248000 | #Constraints: 29713
233.70/234.48 c #Conflicts: 249000 | #Constraints: 30713
233.70/234.48 c INPROCESSING
233.70/234.48 c GARBAGE COLLECT
233.70/234.48 c rational objective 92
244.87/245.70 c #Conflicts: 250000 | #Constraints: 19485
244.87/245.70 c #Conflicts: 251000 | #Constraints: 20485
244.87/245.70 c #Conflicts: 252000 | #Constraints: 21485
244.87/245.70 c #Conflicts: 253000 | #Constraints: 22485
244.87/245.70 c #Conflicts: 254000 | #Constraints: 23485
244.87/245.70 c #Conflicts: 255000 | #Constraints: 24485
244.87/245.70 c #Conflicts: 256000 | #Constraints: 25485
244.87/245.70 c #Conflicts: 257000 | #Constraints: 26485
244.87/245.70 c #Conflicts: 258000 | #Constraints: 27485
244.87/245.70 c #Conflicts: 259000 | #Constraints: 28485
244.87/245.70 c #Conflicts: 260000 | #Constraints: 29485
244.87/245.70 c INPROCESSING
244.87/245.70 c GARBAGE COLLECT
244.87/245.70 c rational objective 92
305.80/306.72 c #Conflicts: 261000 | #Constraints: 18786
305.80/306.72 c #Conflicts: 262000 | #Constraints: 19786
305.80/306.72 c #Conflicts: 263000 | #Constraints: 20786
305.80/306.72 c #Conflicts: 264000 | #Constraints: 21786
305.80/306.72 c #Conflicts: 265000 | #Constraints: 22786
305.80/306.72 c #Conflicts: 266000 | #Constraints: 23786
305.80/306.72 c #Conflicts: 267000 | #Constraints: 24786
305.80/306.72 c #Conflicts: 268000 | #Constraints: 25786
305.80/306.72 c #Conflicts: 269000 | #Constraints: 26786
305.80/306.72 c #Conflicts: 270000 | #Constraints: 27786
305.80/306.72 c #Conflicts: 271000 | #Constraints: 28786
305.80/306.72 c #Conflicts: 272000 | #Constraints: 29786
305.80/306.72 c #Conflicts: 273000 | #Constraints: 30786
305.80/306.72 c #Conflicts: 274000 | #Constraints: 31786
305.80/306.72 c #Conflicts: 275000 | #Constraints: 32786
305.80/306.72 c #Conflicts: 276000 | #Constraints: 33786
305.80/306.72 c #Conflicts: 277000 | #Constraints: 34786
305.80/306.72 c #Conflicts: 278000 | #Constraints: 35786
305.80/306.72 c #Conflicts: 279000 | #Constraints: 36786
305.80/306.72 c #Conflicts: 280000 | #Constraints: 37786
305.80/306.72 c #Conflicts: 281000 | #Constraints: 38786
305.80/306.72 c #Conflicts: 282000 | #Constraints: 39786
305.80/306.72 c #Conflicts: 283000 | #Constraints: 40786
305.80/306.72 c #Conflicts: 284000 | #Constraints: 41786
305.80/306.72 c #Conflicts: 285000 | #Constraints: 42786
305.80/306.72 c #Conflicts: 286000 | #Constraints: 43786
305.80/306.72 c #Conflicts: 287000 | #Constraints: 44786
305.80/306.72 c #Conflicts: 288000 | #Constraints: 45786
305.80/306.72 c #Conflicts: 289000 | #Constraints: 46786
305.80/306.72 c #Conflicts: 290000 | #Constraints: 47786
305.80/306.72 c #Conflicts: 291000 | #Constraints: 48786
305.80/306.72 c #Conflicts: 292000 | #Constraints: 49786
305.80/306.72 c #Conflicts: 293000 | #Constraints: 50786
305.80/306.72 c #Conflicts: 294000 | #Constraints: 51786
305.80/306.72 c #Conflicts: 295000 | #Constraints: 52786
305.80/306.72 c #Conflicts: 296000 | #Constraints: 53786
305.80/306.72 c #Conflicts: 297000 | #Constraints: 54786
305.80/306.72 c #Conflicts: 298000 | #Constraints: 55786
305.80/306.72 c #Conflicts: 299000 | #Constraints: 56786
305.80/306.72 c #Conflicts: 300000 | #Constraints: 57786
305.80/306.72 c #Conflicts: 301000 | #Constraints: 58786
305.80/306.72 c #Conflicts: 302000 | #Constraints: 59786
305.80/306.72 c INPROCESSING
305.80/306.72 c GARBAGE COLLECT
305.80/306.72 c rational objective 92
389.99/391.17 c #Conflicts: 303000 | #Constraints: 34036
389.99/391.17 c #Conflicts: 304000 | #Constraints: 35036
389.99/391.17 c #Conflicts: 305000 | #Constraints: 36036
389.99/391.17 c #Conflicts: 306000 | #Constraints: 37036
389.99/391.17 c #Conflicts: 307000 | #Constraints: 38036
389.99/391.17 c #Conflicts: 308000 | #Constraints: 39036
389.99/391.17 c #Conflicts: 309000 | #Constraints: 40036
389.99/391.17 c #Conflicts: 310000 | #Constraints: 41036
389.99/391.17 c #Conflicts: 311000 | #Constraints: 42036
389.99/391.17 c #Conflicts: 312000 | #Constraints: 43036
389.99/391.17 c #Conflicts: 313000 | #Constraints: 44036
389.99/391.17 c #Conflicts: 314000 | #Constraints: 45036
389.99/391.17 c #Conflicts: 315000 | #Constraints: 46036
389.99/391.17 c INPROCESSING
389.99/391.17 c GARBAGE COLLECT
389.99/391.17 c #Conflicts: 316000 | #Constraints: 27462
389.99/391.17 c #Conflicts: 317000 | #Constraints: 28462
389.99/391.17 c #Conflicts: 318000 | #Constraints: 29462
389.99/391.17 c #Conflicts: 319000 | #Constraints: 30462
389.99/391.17 c #Conflicts: 320000 | #Constraints: 31462
389.99/391.17 c #Conflicts: 321000 | #Constraints: 32462
389.99/391.17 c #Conflicts: 322000 | #Constraints: 33462
389.99/391.17 c #Conflicts: 323000 | #Constraints: 34462
389.99/391.17 c #Conflicts: 324000 | #Constraints: 35462
389.99/391.17 c #Conflicts: 325000 | #Constraints: 36462
389.99/391.17 c #Conflicts: 326000 | #Constraints: 37462
389.99/391.17 c #Conflicts: 327000 | #Constraints: 38462
389.99/391.17 c INPROCESSING
389.99/391.17 c GARBAGE COLLECT
389.99/391.17 c #Conflicts: 328000 | #Constraints: 23420
389.99/391.17 c #Conflicts: 329000 | #Constraints: 24420
389.99/391.17 c #Conflicts: 330000 | #Constraints: 25420
389.99/391.17 c #Conflicts: 331000 | #Constraints: 26420
389.99/391.17 c #Conflicts: 332000 | #Constraints: 27420
389.99/391.17 c #Conflicts: 333000 | #Constraints: 28420
389.99/391.17 c #Conflicts: 334000 | #Constraints: 29420
389.99/391.17 c #Conflicts: 335000 | #Constraints: 30420
389.99/391.17 c #Conflicts: 336000 | #Constraints: 31420
389.99/391.17 c #Conflicts: 337000 | #Constraints: 32420
389.99/391.17 c #Conflicts: 338000 | #Constraints: 33420
389.99/391.17 c #Conflicts: 339000 | #Constraints: 34420
389.99/391.17 c #Conflicts: 340000 | #Constraints: 35420
389.99/391.17 c INPROCESSING
389.99/391.17 c GARBAGE COLLECT
389.99/391.17 c #Conflicts: 341000 | #Constraints: 22019
389.99/391.17 c #Conflicts: 342000 | #Constraints: 23019
389.99/391.17 c #Conflicts: 343000 | #Constraints: 24019
389.99/391.17 c #Conflicts: 344000 | #Constraints: 25019
389.99/391.17 c #Conflicts: 345000 | #Constraints: 26019
389.99/391.17 c #Conflicts: 346000 | #Constraints: 27019
389.99/391.17 c #Conflicts: 347000 | #Constraints: 28019
389.99/391.17 c #Conflicts: 348000 | #Constraints: 29019
389.99/391.17 c #Conflicts: 349000 | #Constraints: 30020
389.99/391.17 c #Conflicts: 350000 | #Constraints: 31020
389.99/391.17 c #Conflicts: 351000 | #Constraints: 32020
389.99/391.17 c #Conflicts: 352000 | #Constraints: 33020
389.99/391.17 c #Conflicts: 353000 | #Constraints: 34020
389.99/391.17 c INPROCESSING
389.99/391.17 c GARBAGE COLLECT
389.99/391.17 c #Conflicts: 354000 | #Constraints: 21213
389.99/391.17 c #Conflicts: 355000 | #Constraints: 22213
389.99/391.17 c #Conflicts: 356000 | #Constraints: 23213
389.99/391.17 c #Conflicts: 357000 | #Constraints: 24213
389.99/391.17 c #Conflicts: 358000 | #Constraints: 25213
389.99/391.17 c #Conflicts: 359000 | #Constraints: 26213
389.99/391.17 c #Conflicts: 360000 | #Constraints: 27213
389.99/391.17 c #Conflicts: 361000 | #Constraints: 28213
389.99/391.17 c #Conflicts: 362000 | #Constraints: 29213
389.99/391.17 c #Conflicts: 363000 | #Constraints: 30213
389.99/391.17 c #Conflicts: 364000 | #Constraints: 31213
389.99/391.17 c #Conflicts: 365000 | #Constraints: 32213
389.99/391.17 c #Conflicts: 366000 | #Constraints: 33213
389.99/391.17 c #Conflicts: 367000 | #Constraints: 34213
389.99/391.17 c #Conflicts: 368000 | #Constraints: 35213
389.99/391.17 c #Conflicts: 369000 | #Constraints: 36213
389.99/391.17 c #Conflicts: 370000 | #Constraints: 37213
389.99/391.17 c #Conflicts: 371000 | #Constraints: 38213
389.99/391.17 c #Conflicts: 372000 | #Constraints: 39213
389.99/391.17 c #Conflicts: 373000 | #Constraints: 40213
389.99/391.17 c #Conflicts: 374000 | #Constraints: 41213
389.99/391.17 c #Conflicts: 375000 | #Constraints: 42213
389.99/391.17 c #Conflicts: 376000 | #Constraints: 43213
389.99/391.17 c #Conflicts: 377000 | #Constraints: 44213
389.99/391.17 c #Conflicts: 378000 | #Constraints: 45213
389.99/391.17 c #Conflicts: 379000 | #Constraints: 46213
475.94/477.36 c #Conflicts: 380000 | #Constraints: 47213
475.94/477.36 c #Conflicts: 381000 | #Constraints: 48213
475.94/477.36 c #Conflicts: 382000 | #Constraints: 49213
475.94/477.36 c #Conflicts: 383000 | #Constraints: 50213
475.94/477.36 c #Conflicts: 384000 | #Constraints: 51213
475.94/477.36 c #Conflicts: 385000 | #Constraints: 52213
475.94/477.36 c #Conflicts: 386000 | #Constraints: 53213
475.94/477.36 c #Conflicts: 387000 | #Constraints: 54213
475.94/477.36 c #Conflicts: 388000 | #Constraints: 55213
475.94/477.36 c #Conflicts: 389000 | #Constraints: 56213
475.94/477.36 c #Conflicts: 390000 | #Constraints: 57213
475.94/477.36 c #Conflicts: 391000 | #Constraints: 58213
475.94/477.36 c #Conflicts: 392000 | #Constraints: 59213
475.94/477.36 c #Conflicts: 393000 | #Constraints: 60213
475.94/477.36 c #Conflicts: 394000 | #Constraints: 61213
475.94/477.36 c #Conflicts: 395000 | #Constraints: 62213
475.94/477.36 c #Conflicts: 396000 | #Constraints: 63213
475.94/477.36 c #Conflicts: 397000 | #Constraints: 64213
475.94/477.36 c #Conflicts: 398000 | #Constraints: 65213
475.94/477.36 c #Conflicts: 399000 | #Constraints: 66213
475.94/477.36 c #Conflicts: 400000 | #Constraints: 67213
475.94/477.36 c #Conflicts: 401000 | #Constraints: 68213
475.94/477.36 c INPROCESSING
475.94/477.36 c GARBAGE COLLECT
475.94/477.36 c #Conflicts: 402000 | #Constraints: 38210
475.94/477.36 c #Conflicts: 403000 | #Constraints: 39210
475.94/477.36 c #Conflicts: 404000 | #Constraints: 40210
475.94/477.36 c #Conflicts: 405000 | #Constraints: 41210
475.94/477.36 c #Conflicts: 406000 | #Constraints: 42210
475.94/477.36 c #Conflicts: 407000 | #Constraints: 43210
475.94/477.36 c #Conflicts: 408000 | #Constraints: 44210
475.94/477.36 c #Conflicts: 409000 | #Constraints: 45210
475.94/477.36 c #Conflicts: 410000 | #Constraints: 46210
475.94/477.36 c #Conflicts: 411000 | #Constraints: 47210
475.94/477.36 c #Conflicts: 412000 | #Constraints: 48210
475.94/477.36 c #Conflicts: 413000 | #Constraints: 49210
475.94/477.36 c #Conflicts: 414000 | #Constraints: 50210
475.94/477.36 c #Conflicts: 415000 | #Constraints: 51210
475.94/477.36 c #Conflicts: 416000 | #Constraints: 52210
475.94/477.36 c INPROCESSING
475.94/477.36 c GARBAGE COLLECT
475.94/477.36 c #Conflicts: 417000 | #Constraints: 30579
475.94/477.36 c #Conflicts: 418000 | #Constraints: 31579
475.94/477.36 c #Conflicts: 419000 | #Constraints: 32579
475.94/477.36 c #Conflicts: 420000 | #Constraints: 33579
475.94/477.36 c #Conflicts: 421000 | #Constraints: 34579
475.94/477.36 c #Conflicts: 422000 | #Constraints: 35579
475.94/477.36 c #Conflicts: 423000 | #Constraints: 36579
475.94/477.36 c #Conflicts: 424000 | #Constraints: 37579
475.94/477.36 c #Conflicts: 425000 | #Constraints: 38579
475.94/477.36 c #Conflicts: 426000 | #Constraints: 39579
475.94/477.36 c #Conflicts: 427000 | #Constraints: 40579
475.94/477.36 c #Conflicts: 428000 | #Constraints: 41579
475.94/477.36 c #Conflicts: 429000 | #Constraints: 42579
475.94/477.36 c #Conflicts: 430000 | #Constraints: 43579
475.94/477.36 c INPROCESSING
475.94/477.36 c GARBAGE COLLECT
475.94/477.36 c rational objective 92
497.38/498.82 c #Conflicts: 431000 | #Constraints: 26006
497.38/498.82 c #Conflicts: 432000 | #Constraints: 27006
497.38/498.82 c #Conflicts: 433000 | #Constraints: 28006
497.38/498.82 c #Conflicts: 434000 | #Constraints: 29006
497.38/498.82 c #Conflicts: 435000 | #Constraints: 30006
497.38/498.82 c #Conflicts: 436000 | #Constraints: 31006
497.38/498.82 c #Conflicts: 437000 | #Constraints: 32006
497.38/498.82 c #Conflicts: 438000 | #Constraints: 33006
497.38/498.82 c #Conflicts: 439000 | #Constraints: 34006
497.38/498.82 c #Conflicts: 440000 | #Constraints: 35006
497.38/498.82 c #Conflicts: 441000 | #Constraints: 36006
497.38/498.82 c #Conflicts: 442000 | #Constraints: 37006
497.38/498.82 c #Conflicts: 443000 | #Constraints: 38006
497.38/498.82 c #Conflicts: 444000 | #Constraints: 39006
497.38/498.82 c #Conflicts: 445000 | #Constraints: 40006
497.38/498.82 c INPROCESSING
497.38/498.82 c GARBAGE COLLECT
497.38/498.82 c rational objective 92
619.65/621.44 c #Conflicts: 446000 | #Constraints: 24348
619.65/621.44 c #Conflicts: 447000 | #Constraints: 25348
619.65/621.44 c #Conflicts: 448000 | #Constraints: 26348
619.65/621.44 c #Conflicts: 449000 | #Constraints: 27348
619.65/621.44 c #Conflicts: 450000 | #Constraints: 28348
619.65/621.44 c #Conflicts: 451000 | #Constraints: 29348
619.65/621.44 c #Conflicts: 452000 | #Constraints: 30348
619.65/621.44 c #Conflicts: 453000 | #Constraints: 31348
619.65/621.44 c #Conflicts: 454000 | #Constraints: 32348
619.65/621.44 c #Conflicts: 455000 | #Constraints: 33348
619.65/621.44 c #Conflicts: 456000 | #Constraints: 34348
619.65/621.44 c #Conflicts: 457000 | #Constraints: 35348
619.65/621.44 c #Conflicts: 458000 | #Constraints: 36348
619.65/621.44 c #Conflicts: 459000 | #Constraints: 37348
619.65/621.44 c #Conflicts: 460000 | #Constraints: 38348
619.65/621.44 c INPROCESSING
619.65/621.44 c GARBAGE COLLECT
619.65/621.44 c #Conflicts: 461000 | #Constraints: 23553
619.65/621.44 c #Conflicts: 462000 | #Constraints: 24553
619.65/621.44 c #Conflicts: 463000 | #Constraints: 25553
619.65/621.44 c #Conflicts: 464000 | #Constraints: 26553
619.65/621.44 c #Conflicts: 465000 | #Constraints: 27553
619.65/621.44 c #Conflicts: 466000 | #Constraints: 28553
619.65/621.44 c #Conflicts: 467000 | #Constraints: 29553
619.65/621.44 c #Conflicts: 468000 | #Constraints: 30553
619.65/621.44 c #Conflicts: 469000 | #Constraints: 31553
619.65/621.44 c #Conflicts: 470000 | #Constraints: 32553
619.65/621.44 c #Conflicts: 471000 | #Constraints: 33553
619.65/621.44 c #Conflicts: 472000 | #Constraints: 34553
619.65/621.44 c #Conflicts: 473000 | #Constraints: 35553
619.65/621.44 c #Conflicts: 474000 | #Constraints: 36553
619.65/621.44 c #Conflicts: 475000 | #Constraints: 37553
619.65/621.44 c #Conflicts: 476000 | #Constraints: 38553
619.65/621.44 c #Conflicts: 477000 | #Constraints: 39553
619.65/621.44 c #Conflicts: 478000 | #Constraints: 40553
619.65/621.44 c #Conflicts: 479000 | #Constraints: 41553
619.65/621.44 c #Conflicts: 480000 | #Constraints: 42553
619.65/621.44 c #Conflicts: 481000 | #Constraints: 43553
619.65/621.44 c #Conflicts: 482000 | #Constraints: 44553
619.65/621.44 c #Conflicts: 483000 | #Constraints: 45553
619.65/621.44 c #Conflicts: 484000 | #Constraints: 46553
619.65/621.44 c #Conflicts: 485000 | #Constraints: 47553
619.65/621.44 c #Conflicts: 486000 | #Constraints: 48553
619.65/621.44 c #Conflicts: 487000 | #Constraints: 49553
619.65/621.44 c #Conflicts: 488000 | #Constraints: 50553
619.65/621.44 c #Conflicts: 489000 | #Constraints: 51553
619.65/621.44 c #Conflicts: 490000 | #Constraints: 52553
619.65/621.44 c #Conflicts: 491000 | #Constraints: 53553
619.65/621.44 c #Conflicts: 492000 | #Constraints: 54553
619.65/621.44 c #Conflicts: 493000 | #Constraints: 55553
619.65/621.44 c #Conflicts: 494000 | #Constraints: 56553
619.65/621.44 c #Conflicts: 495000 | #Constraints: 57553
619.65/621.44 c #Conflicts: 496000 | #Constraints: 58553
619.65/621.44 c #Conflicts: 497000 | #Constraints: 59553
619.65/621.44 c #Conflicts: 498000 | #Constraints: 60553
619.65/621.44 c #Conflicts: 499000 | #Constraints: 61553
619.65/621.44 c #Conflicts: 500000 | #Constraints: 62553
619.65/621.44 c #Conflicts: 501000 | #Constraints: 63553
619.65/621.44 c #Conflicts: 502000 | #Constraints: 64553
619.65/621.44 c #Conflicts: 503000 | #Constraints: 65553
619.65/621.44 c #Conflicts: 504000 | #Constraints: 66553
619.65/621.44 c #Conflicts: 505000 | #Constraints: 67553
619.65/621.44 c #Conflicts: 506000 | #Constraints: 68553
619.65/621.44 c #Conflicts: 507000 | #Constraints: 69553
619.65/621.44 c #Conflicts: 508000 | #Constraints: 70553
619.65/621.44 c #Conflicts: 509000 | #Constraints: 71553
619.65/621.44 c #Conflicts: 510000 | #Constraints: 72553
619.65/621.44 c #Conflicts: 511000 | #Constraints: 73553
619.65/621.44 c #Conflicts: 512000 | #Constraints: 74553
619.65/621.44 c #Conflicts: 513000 | #Constraints: 75553
619.65/621.44 c #Conflicts: 514000 | #Constraints: 76553
619.65/621.44 c INPROCESSING
619.65/621.44 c GARBAGE COLLECT
619.65/621.44 c #Conflicts: 515000 | #Constraints: 42336
619.65/621.44 c #Conflicts: 516000 | #Constraints: 43336
619.65/621.44 c #Conflicts: 517000 | #Constraints: 44336
619.65/621.44 c #Conflicts: 518000 | #Constraints: 45336
619.65/621.44 c #Conflicts: 519000 | #Constraints: 46336
619.65/621.44 c #Conflicts: 520000 | #Constraints: 47336
619.65/621.44 c #Conflicts: 521000 | #Constraints: 48336
619.65/621.44 c #Conflicts: 522000 | #Constraints: 49336
619.65/621.44 c #Conflicts: 523000 | #Constraints: 50336
670.91/672.88 c #Conflicts: 524000 | #Constraints: 51336
670.91/672.88 c #Conflicts: 525000 | #Constraints: 52336
670.91/672.88 c #Conflicts: 526000 | #Constraints: 53336
670.91/672.88 c #Conflicts: 527000 | #Constraints: 54336
670.91/672.88 c #Conflicts: 528000 | #Constraints: 55336
670.91/672.88 c #Conflicts: 529000 | #Constraints: 56336
670.91/672.88 c #Conflicts: 530000 | #Constraints: 57336
670.91/672.88 c #Conflicts: 531000 | #Constraints: 58336
670.91/672.88 c INPROCESSING
670.91/672.88 c GARBAGE COLLECT
670.91/672.88 c #Conflicts: 532000 | #Constraints: 33665
670.91/672.88 c #Conflicts: 533000 | #Constraints: 34665
670.91/672.88 c #Conflicts: 534000 | #Constraints: 35665
670.91/672.88 c #Conflicts: 535000 | #Constraints: 36665
670.91/672.88 c #Conflicts: 536000 | #Constraints: 37665
670.91/672.88 c #Conflicts: 537000 | #Constraints: 38665
670.91/672.88 c #Conflicts: 538000 | #Constraints: 39665
670.91/672.88 c #Conflicts: 539000 | #Constraints: 40665
670.91/672.88 c #Conflicts: 540000 | #Constraints: 41665
670.91/672.88 c #Conflicts: 541000 | #Constraints: 42665
670.91/672.88 c #Conflicts: 542000 | #Constraints: 43665
670.91/672.88 c #Conflicts: 543000 | #Constraints: 44665
670.91/672.88 c #Conflicts: 544000 | #Constraints: 45665
670.91/672.88 c #Conflicts: 545000 | #Constraints: 46665
670.91/672.88 c #Conflicts: 546000 | #Constraints: 47665
670.91/672.88 c #Conflicts: 547000 | #Constraints: 48665
670.91/672.88 c INPROCESSING
670.91/672.88 c GARBAGE COLLECT
670.91/672.88 c #Conflicts: 548000 | #Constraints: 28590
670.91/672.88 c #Conflicts: 549000 | #Constraints: 29590
670.91/672.88 c #Conflicts: 550000 | #Constraints: 30590
670.91/672.88 c #Conflicts: 551000 | #Constraints: 31590
670.91/672.88 c #Conflicts: 552000 | #Constraints: 32590
670.91/672.88 c #Conflicts: 553000 | #Constraints: 33590
670.91/672.88 c #Conflicts: 554000 | #Constraints: 34590
670.91/672.88 c #Conflicts: 555000 | #Constraints: 35590
670.91/672.88 c #Conflicts: 556000 | #Constraints: 36590
670.91/672.88 c #Conflicts: 557000 | #Constraints: 37590
670.91/672.88 c #Conflicts: 558000 | #Constraints: 38590
670.91/672.88 c #Conflicts: 559000 | #Constraints: 39590
670.91/672.88 c #Conflicts: 560000 | #Constraints: 40590
670.91/672.88 c #Conflicts: 561000 | #Constraints: 41590
670.91/672.88 c #Conflicts: 562000 | #Constraints: 42590
670.91/672.88 c #Conflicts: 563000 | #Constraints: 43590
670.91/672.88 c #Conflicts: 564000 | #Constraints: 44590
670.91/672.88 c INPROCESSING
670.91/672.88 c GARBAGE COLLECT
670.91/672.88 c rational objective 92
695.06/697.05 c #Conflicts: 565000 | #Constraints: 26829
695.06/697.05 c #Conflicts: 566000 | #Constraints: 27829
695.06/697.05 c #Conflicts: 567000 | #Constraints: 28829
695.06/697.05 c #Conflicts: 568000 | #Constraints: 29829
695.06/697.05 c #Conflicts: 569000 | #Constraints: 30829
695.06/697.05 c #Conflicts: 570000 | #Constraints: 31829
695.06/697.05 c #Conflicts: 571000 | #Constraints: 32829
695.06/697.05 c #Conflicts: 572000 | #Constraints: 33829
695.06/697.05 c #Conflicts: 573000 | #Constraints: 34829
695.06/697.05 c #Conflicts: 574000 | #Constraints: 35829
695.06/697.05 c #Conflicts: 575000 | #Constraints: 36829
695.06/697.05 c #Conflicts: 576000 | #Constraints: 37829
695.06/697.05 c #Conflicts: 577000 | #Constraints: 38829
695.06/697.05 c #Conflicts: 578000 | #Constraints: 39829
695.06/697.05 c #Conflicts: 579000 | #Constraints: 40829
695.06/697.05 c #Conflicts: 580000 | #Constraints: 41829
695.06/697.05 c INPROCESSING
695.06/697.05 c GARBAGE COLLECT
695.06/697.05 c rational objective 92
849.58/852.03 c #Conflicts: 581000 | #Constraints: 25021
849.58/852.03 c #Conflicts: 582000 | #Constraints: 26021
849.58/852.03 c #Conflicts: 583000 | #Constraints: 27021
849.58/852.03 c #Conflicts: 584000 | #Constraints: 28021
849.58/852.03 c #Conflicts: 585000 | #Constraints: 29021
849.58/852.03 c #Conflicts: 586000 | #Constraints: 30021
849.58/852.03 c #Conflicts: 587000 | #Constraints: 31021
849.58/852.03 c #Conflicts: 588000 | #Constraints: 32021
849.58/852.03 c #Conflicts: 589000 | #Constraints: 33021
849.58/852.03 c #Conflicts: 590000 | #Constraints: 34021
849.58/852.03 c #Conflicts: 591000 | #Constraints: 35021
849.58/852.03 c #Conflicts: 592000 | #Constraints: 36021
849.58/852.03 c #Conflicts: 593000 | #Constraints: 37021
849.58/852.03 c #Conflicts: 594000 | #Constraints: 38021
849.58/852.03 c #Conflicts: 595000 | #Constraints: 39021
849.58/852.03 c #Conflicts: 596000 | #Constraints: 40021
849.58/852.03 c #Conflicts: 597000 | #Constraints: 41021
849.58/852.03 c #Conflicts: 598000 | #Constraints: 42021
849.58/852.03 c #Conflicts: 599000 | #Constraints: 43021
849.58/852.03 c #Conflicts: 600000 | #Constraints: 44021
849.58/852.03 c #Conflicts: 601000 | #Constraints: 45021
849.58/852.03 c #Conflicts: 602000 | #Constraints: 46022
849.58/852.03 c #Conflicts: 603000 | #Constraints: 47022
849.58/852.03 c #Conflicts: 604000 | #Constraints: 48022
849.58/852.03 c #Conflicts: 605000 | #Constraints: 49022
849.58/852.03 c #Conflicts: 606000 | #Constraints: 50022
849.58/852.03 c #Conflicts: 607000 | #Constraints: 51022
849.58/852.03 c #Conflicts: 608000 | #Constraints: 52022
849.58/852.03 c #Conflicts: 609000 | #Constraints: 53022
849.58/852.03 c #Conflicts: 610000 | #Constraints: 54022
849.58/852.03 c #Conflicts: 611000 | #Constraints: 55022
849.58/852.03 c #Conflicts: 612000 | #Constraints: 56022
849.58/852.03 c #Conflicts: 613000 | #Constraints: 57022
849.58/852.03 c #Conflicts: 614000 | #Constraints: 58022
849.58/852.03 c #Conflicts: 615000 | #Constraints: 59022
849.58/852.03 c #Conflicts: 616000 | #Constraints: 60022
849.58/852.03 c #Conflicts: 617000 | #Constraints: 61022
849.58/852.03 c #Conflicts: 618000 | #Constraints: 62022
849.58/852.03 c #Conflicts: 619000 | #Constraints: 63022
849.58/852.03 c #Conflicts: 620000 | #Constraints: 64022
849.58/852.03 c #Conflicts: 621000 | #Constraints: 65022
849.58/852.03 c #Conflicts: 622000 | #Constraints: 66022
849.58/852.03 c #Conflicts: 623000 | #Constraints: 67022
849.58/852.03 c #Conflicts: 624000 | #Constraints: 68022
849.58/852.03 c #Conflicts: 625000 | #Constraints: 69022
849.58/852.03 c #Conflicts: 626000 | #Constraints: 70022
849.58/852.03 c #Conflicts: 627000 | #Constraints: 71022
849.58/852.03 c #Conflicts: 628000 | #Constraints: 72022
849.58/852.03 c #Conflicts: 629000 | #Constraints: 73022
849.58/852.03 c #Conflicts: 630000 | #Constraints: 74022
849.58/852.03 c #Conflicts: 631000 | #Constraints: 75022
849.58/852.03 c #Conflicts: 632000 | #Constraints: 76022
849.58/852.03 c #Conflicts: 633000 | #Constraints: 77022
849.58/852.03 c #Conflicts: 634000 | #Constraints: 78022
849.58/852.03 c #Conflicts: 635000 | #Constraints: 79022
849.58/852.03 c #Conflicts: 636000 | #Constraints: 80022
849.58/852.03 c #Conflicts: 637000 | #Constraints: 81022
849.58/852.03 c #Conflicts: 638000 | #Constraints: 82022
849.58/852.03 c #Conflicts: 639000 | #Constraints: 83022
849.58/852.03 c #Conflicts: 640000 | #Constraints: 84022
849.58/852.03 c #Conflicts: 641000 | #Constraints: 85022
849.58/852.03 c INPROCESSING
849.58/852.03 c GARBAGE COLLECT
849.58/852.03 c #Conflicts: 642000 | #Constraints: 46557
849.58/852.03 c #Conflicts: 643000 | #Constraints: 47557
849.58/852.03 c #Conflicts: 644000 | #Constraints: 48557
849.58/852.03 c #Conflicts: 645000 | #Constraints: 49557
849.58/852.03 c #Conflicts: 646000 | #Constraints: 50557
849.58/852.03 c #Conflicts: 647000 | #Constraints: 51557
849.58/852.03 c #Conflicts: 648000 | #Constraints: 52557
849.58/852.03 c #Conflicts: 649000 | #Constraints: 53557
849.58/852.03 c #Conflicts: 650000 | #Constraints: 54557
849.58/852.03 c #Conflicts: 651000 | #Constraints: 55557
849.58/852.03 c #Conflicts: 652000 | #Constraints: 56557
849.58/852.03 c #Conflicts: 653000 | #Constraints: 57557
849.58/852.03 c #Conflicts: 654000 | #Constraints: 58557
849.58/852.03 c #Conflicts: 655000 | #Constraints: 59557
849.58/852.03 c #Conflicts: 656000 | #Constraints: 60557
849.58/852.03 c #Conflicts: 657000 | #Constraints: 61557
849.58/852.03 c #Conflicts: 658000 | #Constraints: 62557
849.58/852.03 c #Conflicts: 659000 | #Constraints: 63557
952.36/955.12 c #Conflicts: 660000 | #Constraints: 64557
952.36/955.12 c INPROCESSING
952.36/955.12 c GARBAGE COLLECT
952.36/955.12 c #Conflicts: 661000 | #Constraints: 36786
952.36/955.12 c #Conflicts: 662000 | #Constraints: 37786
952.36/955.12 c #Conflicts: 663000 | #Constraints: 38786
952.36/955.12 c #Conflicts: 664000 | #Constraints: 39786
952.36/955.12 c #Conflicts: 665000 | #Constraints: 40786
952.36/955.12 c #Conflicts: 666000 | #Constraints: 41786
952.36/955.12 c #Conflicts: 667000 | #Constraints: 42786
952.36/955.12 c #Conflicts: 668000 | #Constraints: 43786
952.36/955.12 c #Conflicts: 669000 | #Constraints: 44786
952.36/955.12 c #Conflicts: 670000 | #Constraints: 45786
952.36/955.12 c #Conflicts: 671000 | #Constraints: 46786
952.36/955.12 c #Conflicts: 672000 | #Constraints: 47786
952.36/955.12 c #Conflicts: 673000 | #Constraints: 48786
952.36/955.12 c #Conflicts: 674000 | #Constraints: 49786
952.36/955.12 c #Conflicts: 675000 | #Constraints: 50786
952.36/955.12 c #Conflicts: 676000 | #Constraints: 51786
952.36/955.12 c #Conflicts: 677000 | #Constraints: 52786
952.36/955.12 c #Conflicts: 678000 | #Constraints: 53786
952.36/955.12 c INPROCESSING
952.36/955.12 c GARBAGE COLLECT
952.36/955.12 c #Conflicts: 679000 | #Constraints: 31278
952.36/955.12 c #Conflicts: 680000 | #Constraints: 32278
952.36/955.12 c #Conflicts: 681000 | #Constraints: 33278
952.36/955.12 c #Conflicts: 682000 | #Constraints: 34278
952.36/955.12 c #Conflicts: 683000 | #Constraints: 35278
952.36/955.12 c #Conflicts: 684000 | #Constraints: 36278
952.36/955.12 c #Conflicts: 685000 | #Constraints: 37278
952.36/955.12 c #Conflicts: 686000 | #Constraints: 38278
952.36/955.12 c #Conflicts: 687000 | #Constraints: 39278
952.36/955.12 c #Conflicts: 688000 | #Constraints: 40278
952.36/955.12 c #Conflicts: 689000 | #Constraints: 41278
952.36/955.12 c #Conflicts: 690000 | #Constraints: 42278
952.36/955.12 c #Conflicts: 691000 | #Constraints: 43278
952.36/955.12 c #Conflicts: 692000 | #Constraints: 44278
952.36/955.12 c #Conflicts: 693000 | #Constraints: 45278
952.36/955.12 c #Conflicts: 694000 | #Constraints: 46278
952.36/955.12 c #Conflicts: 695000 | #Constraints: 47278
952.36/955.12 c #Conflicts: 696000 | #Constraints: 48278
952.36/955.12 c INPROCESSING
952.36/955.12 c GARBAGE COLLECT
952.36/955.12 c #Conflicts: 697000 | #Constraints: 28260
952.36/955.12 c #Conflicts: 698000 | #Constraints: 29260
952.36/955.12 c #Conflicts: 699000 | #Constraints: 30260
952.36/955.12 c #Conflicts: 700000 | #Constraints: 31260
952.36/955.12 c #Conflicts: 701000 | #Constraints: 32260
952.36/955.12 c #Conflicts: 702000 | #Constraints: 33260
952.36/955.12 c #Conflicts: 703000 | #Constraints: 34260
952.36/955.12 c #Conflicts: 704000 | #Constraints: 35260
952.36/955.12 c #Conflicts: 705000 | #Constraints: 36260
952.36/955.12 c #Conflicts: 706000 | #Constraints: 37260
952.36/955.12 c #Conflicts: 707000 | #Constraints: 38260
952.36/955.12 c #Conflicts: 708000 | #Constraints: 39260
952.36/955.12 c #Conflicts: 709000 | #Constraints: 40260
952.36/955.12 c #Conflicts: 710000 | #Constraints: 41260
952.36/955.12 c #Conflicts: 711000 | #Constraints: 42260
952.36/955.12 c #Conflicts: 712000 | #Constraints: 43260
952.36/955.12 c #Conflicts: 713000 | #Constraints: 44260
952.36/955.12 c #Conflicts: 714000 | #Constraints: 45260
952.36/955.12 c #Conflicts: 715000 | #Constraints: 46260
952.36/955.12 c INPROCESSING
952.36/955.12 c GARBAGE COLLECT
952.36/955.12 c #Conflicts: 716000 | #Constraints: 27446
952.36/955.12 c #Conflicts: 717000 | #Constraints: 28446
952.36/955.12 c #Conflicts: 718000 | #Constraints: 29446
952.36/955.12 c #Conflicts: 719000 | #Constraints: 30446
952.36/955.12 c #Conflicts: 720000 | #Constraints: 31446
952.36/955.12 c #Conflicts: 721000 | #Constraints: 32446
952.36/955.12 c #Conflicts: 722000 | #Constraints: 33446
952.36/955.12 c #Conflicts: 723000 | #Constraints: 34446
952.36/955.12 c #Conflicts: 724000 | #Constraints: 35446
952.36/955.12 c #Conflicts: 725000 | #Constraints: 36446
952.36/955.12 c #Conflicts: 726000 | #Constraints: 37446
952.36/955.12 c #Conflicts: 727000 | #Constraints: 38446
952.36/955.12 c #Conflicts: 728000 | #Constraints: 39446
952.36/955.12 c #Conflicts: 729000 | #Constraints: 40446
952.36/955.12 c #Conflicts: 730000 | #Constraints: 41446
952.36/955.12 c #Conflicts: 731000 | #Constraints: 42446
952.36/955.12 c #Conflicts: 732000 | #Constraints: 43446
952.36/955.12 c #Conflicts: 733000 | #Constraints: 44446
952.36/955.12 c #Conflicts: 734000 | #Constraints: 45446
952.36/955.12 c #Conflicts: 735000 | #Constraints: 46446
1112.09/1115.38 c #Conflicts: 736000 | #Constraints: 47446
1112.09/1115.38 c #Conflicts: 737000 | #Constraints: 48446
1112.09/1115.38 c #Conflicts: 738000 | #Constraints: 49446
1112.09/1115.38 c #Conflicts: 739000 | #Constraints: 50446
1112.09/1115.38 c #Conflicts: 740000 | #Constraints: 51446
1112.09/1115.38 c #Conflicts: 741000 | #Constraints: 52446
1112.09/1115.38 c #Conflicts: 742000 | #Constraints: 53446
1112.09/1115.38 c #Conflicts: 743000 | #Constraints: 54446
1112.09/1115.38 c #Conflicts: 744000 | #Constraints: 55446
1112.09/1115.38 c #Conflicts: 745000 | #Constraints: 56446
1112.09/1115.38 c #Conflicts: 746000 | #Constraints: 57446
1112.09/1115.38 c #Conflicts: 747000 | #Constraints: 58446
1112.09/1115.38 c #Conflicts: 748000 | #Constraints: 59446
1112.09/1115.38 c #Conflicts: 749000 | #Constraints: 60446
1112.09/1115.38 c #Conflicts: 750000 | #Constraints: 61446
1112.09/1115.38 c #Conflicts: 751000 | #Constraints: 62446
1112.09/1115.38 c #Conflicts: 752000 | #Constraints: 63446
1112.09/1115.38 c #Conflicts: 753000 | #Constraints: 64446
1112.09/1115.38 c #Conflicts: 754000 | #Constraints: 65446
1112.09/1115.38 c #Conflicts: 755000 | #Constraints: 66446
1112.09/1115.38 c #Conflicts: 756000 | #Constraints: 67446
1112.09/1115.38 c #Conflicts: 757000 | #Constraints: 68446
1112.09/1115.38 c #Conflicts: 758000 | #Constraints: 69446
1112.09/1115.38 c #Conflicts: 759000 | #Constraints: 70446
1112.09/1115.38 c #Conflicts: 760000 | #Constraints: 71446
1112.09/1115.38 c #Conflicts: 761000 | #Constraints: 72446
1112.09/1115.38 c #Conflicts: 762000 | #Constraints: 73446
1112.09/1115.38 c #Conflicts: 763000 | #Constraints: 74446
1112.09/1115.38 c #Conflicts: 764000 | #Constraints: 75446
1112.09/1115.38 c #Conflicts: 765000 | #Constraints: 76446
1112.09/1115.38 c #Conflicts: 766000 | #Constraints: 77446
1112.09/1115.38 c #Conflicts: 767000 | #Constraints: 78446
1112.09/1115.38 c #Conflicts: 768000 | #Constraints: 79446
1112.09/1115.38 c #Conflicts: 769000 | #Constraints: 80446
1112.09/1115.38 c #Conflicts: 770000 | #Constraints: 81446
1112.09/1115.38 c #Conflicts: 771000 | #Constraints: 82446
1112.09/1115.38 c #Conflicts: 772000 | #Constraints: 83446
1112.09/1115.38 c #Conflicts: 773000 | #Constraints: 84446
1112.09/1115.38 c #Conflicts: 774000 | #Constraints: 85446
1112.09/1115.38 c #Conflicts: 775000 | #Constraints: 86446
1112.09/1115.38 c #Conflicts: 776000 | #Constraints: 87446
1112.09/1115.38 c #Conflicts: 777000 | #Constraints: 88446
1112.09/1115.38 c #Conflicts: 778000 | #Constraints: 89447
1112.09/1115.38 c #Conflicts: 779000 | #Constraints: 90447
1112.09/1115.38 c #Conflicts: 780000 | #Constraints: 91447
1112.09/1115.38 c #Conflicts: 781000 | #Constraints: 92447
1112.09/1115.38 c #Conflicts: 782000 | #Constraints: 93447
1112.09/1115.38 c #Conflicts: 783000 | #Constraints: 94447
1112.09/1115.38 c INPROCESSING
1112.09/1115.38 c GARBAGE COLLECT
1112.09/1115.38 c #Conflicts: 784000 | #Constraints: 51814
1112.09/1115.38 c #Conflicts: 785000 | #Constraints: 52814
1112.09/1115.38 c #Conflicts: 786000 | #Constraints: 53814
1112.09/1115.38 c #Conflicts: 787000 | #Constraints: 54814
1112.09/1115.38 c #Conflicts: 788000 | #Constraints: 55814
1112.09/1115.38 c #Conflicts: 789000 | #Constraints: 56814
1112.09/1115.38 c #Conflicts: 790000 | #Constraints: 57814
1112.09/1115.38 c #Conflicts: 791000 | #Constraints: 58814
1112.09/1115.38 c #Conflicts: 792000 | #Constraints: 59814
1112.09/1115.38 c #Conflicts: 793000 | #Constraints: 60814
1112.09/1115.38 c #Conflicts: 794000 | #Constraints: 61814
1112.09/1115.38 c #Conflicts: 795000 | #Constraints: 62814
1112.09/1115.38 c #Conflicts: 796000 | #Constraints: 63814
1112.09/1115.38 c #Conflicts: 797000 | #Constraints: 64814
1112.09/1115.38 c #Conflicts: 798000 | #Constraints: 65814
1112.09/1115.38 c #Conflicts: 799000 | #Constraints: 66814
1112.09/1115.38 c #Conflicts: 800000 | #Constraints: 67814
1112.09/1115.38 c #Conflicts: 801000 | #Constraints: 68814
1112.09/1115.38 c #Conflicts: 802000 | #Constraints: 69814
1112.09/1115.38 c #Conflicts: 803000 | #Constraints: 70814
1112.09/1115.38 c INPROCESSING
1112.09/1115.38 c GARBAGE COLLECT
1112.09/1115.38 c #Conflicts: 804000 | #Constraints: 39880
1112.09/1115.38 c #Conflicts: 805000 | #Constraints: 40880
1112.09/1115.38 c #Conflicts: 806000 | #Constraints: 41880
1112.09/1115.38 c #Conflicts: 807000 | #Constraints: 42880
1112.09/1115.38 c #Conflicts: 808000 | #Constraints: 43880
1112.09/1115.38 c #Conflicts: 809000 | #Constraints: 44880
1112.09/1115.38 c #Conflicts: 810000 | #Constraints: 45880
1112.09/1115.38 c #Conflicts: 811000 | #Constraints: 46880
1112.09/1115.38 c #Conflicts: 812000 | #Constraints: 47880
1188.30/1191.72 c #Conflicts: 813000 | #Constraints: 48880
1188.30/1191.72 c #Conflicts: 814000 | #Constraints: 49880
1188.30/1191.72 c #Conflicts: 815000 | #Constraints: 50880
1188.30/1191.72 c #Conflicts: 816000 | #Constraints: 51880
1188.30/1191.72 c #Conflicts: 817000 | #Constraints: 52880
1188.30/1191.72 c #Conflicts: 818000 | #Constraints: 53880
1188.30/1191.72 c #Conflicts: 819000 | #Constraints: 54880
1188.30/1191.72 c #Conflicts: 820000 | #Constraints: 55880
1188.30/1191.72 c #Conflicts: 821000 | #Constraints: 56880
1188.30/1191.72 c #Conflicts: 822000 | #Constraints: 57880
1188.30/1191.72 c #Conflicts: 823000 | #Constraints: 58880
1188.30/1191.72 c INPROCESSING
1188.30/1191.72 c GARBAGE COLLECT
1188.30/1191.72 c #Conflicts: 824000 | #Constraints: 33919
1188.30/1191.72 c #Conflicts: 825000 | #Constraints: 34919
1188.30/1191.72 c #Conflicts: 826000 | #Constraints: 35919
1188.30/1191.72 c #Conflicts: 827000 | #Constraints: 36919
1188.30/1191.72 c #Conflicts: 828000 | #Constraints: 37919
1188.30/1191.72 c #Conflicts: 829000 | #Constraints: 38919
1188.30/1191.72 c #Conflicts: 830000 | #Constraints: 39919
1188.30/1191.72 c #Conflicts: 831000 | #Constraints: 40919
1188.30/1191.73 c #Conflicts: 832000 | #Constraints: 41919
1188.30/1191.73 c #Conflicts: 833000 | #Constraints: 42919
1188.30/1191.73 c #Conflicts: 834000 | #Constraints: 43919
1188.30/1191.73 c #Conflicts: 835000 | #Constraints: 44919
1188.30/1191.73 c #Conflicts: 836000 | #Constraints: 45919
1188.30/1191.73 c #Conflicts: 837000 | #Constraints: 46919
1188.30/1191.73 c #Conflicts: 838000 | #Constraints: 47919
1188.30/1191.73 c #Conflicts: 839000 | #Constraints: 48919
1188.30/1191.73 c #Conflicts: 840000 | #Constraints: 49919
1188.30/1191.73 c #Conflicts: 841000 | #Constraints: 50919
1188.30/1191.73 c #Conflicts: 842000 | #Constraints: 51919
1188.30/1191.73 c #Conflicts: 843000 | #Constraints: 52919
1188.30/1191.73 c INPROCESSING
1188.30/1191.73 c GARBAGE COLLECT
1188.30/1191.73 c #Conflicts: 844000 | #Constraints: 30776
1188.30/1191.73 c #Conflicts: 845000 | #Constraints: 31776
1188.30/1191.73 c #Conflicts: 846000 | #Constraints: 32776
1188.30/1191.73 c #Conflicts: 847000 | #Constraints: 33776
1188.30/1191.73 c #Conflicts: 848000 | #Constraints: 34776
1188.30/1191.73 c #Conflicts: 849000 | #Constraints: 35776
1188.30/1191.73 c #Conflicts: 850000 | #Constraints: 36776
1188.30/1191.73 c #Conflicts: 851000 | #Constraints: 37776
1188.30/1191.73 c #Conflicts: 852000 | #Constraints: 38776
1188.30/1191.73 c #Conflicts: 853000 | #Constraints: 39776
1188.30/1191.73 c #Conflicts: 854000 | #Constraints: 40776
1188.30/1191.73 c #Conflicts: 855000 | #Constraints: 41776
1188.30/1191.73 c #Conflicts: 856000 | #Constraints: 42776
1188.30/1191.73 c #Conflicts: 857000 | #Constraints: 43776
1188.30/1191.73 c #Conflicts: 858000 | #Constraints: 44776
1188.30/1191.73 c #Conflicts: 859000 | #Constraints: 45776
1188.30/1191.73 c #Conflicts: 860000 | #Constraints: 46776
1188.30/1191.73 c #Conflicts: 861000 | #Constraints: 47776
1188.30/1191.73 c #Conflicts: 862000 | #Constraints: 48776
1188.30/1191.73 c #Conflicts: 863000 | #Constraints: 49776
1188.30/1191.73 c #Conflicts: 864000 | #Constraints: 50776
1188.30/1191.73 c INPROCESSING
1188.30/1191.73 c GARBAGE COLLECT
1188.30/1191.73 c rational objective 92
1215.82/1219.37 c #Conflicts: 865000 | #Constraints: 29796
1215.82/1219.37 c #Conflicts: 866000 | #Constraints: 30796
1215.82/1219.37 c #Conflicts: 867000 | #Constraints: 31796
1215.82/1219.37 c #Conflicts: 868000 | #Constraints: 32796
1215.82/1219.37 c #Conflicts: 869000 | #Constraints: 33796
1215.82/1219.37 c #Conflicts: 870000 | #Constraints: 34796
1215.82/1219.37 c #Conflicts: 871000 | #Constraints: 35796
1215.82/1219.37 c #Conflicts: 872000 | #Constraints: 36796
1215.82/1219.37 c #Conflicts: 873000 | #Constraints: 37796
1215.82/1219.37 c #Conflicts: 874000 | #Constraints: 38796
1215.82/1219.37 c #Conflicts: 875000 | #Constraints: 39796
1215.82/1219.37 c #Conflicts: 876000 | #Constraints: 40796
1215.82/1219.37 c #Conflicts: 877000 | #Constraints: 41796
1215.82/1219.37 c #Conflicts: 878000 | #Constraints: 42796
1215.82/1219.37 c #Conflicts: 879000 | #Constraints: 43796
1215.82/1219.37 c #Conflicts: 880000 | #Constraints: 44796
1215.82/1219.37 c #Conflicts: 881000 | #Constraints: 45796
1215.82/1219.37 c #Conflicts: 882000 | #Constraints: 46796
1215.82/1219.37 c #Conflicts: 883000 | #Constraints: 47796
1215.82/1219.37 c #Conflicts: 884000 | #Constraints: 48796
1215.82/1219.37 c #Conflicts: 885000 | #Constraints: 49796
1215.82/1219.37 c INPROCESSING
1215.82/1219.37 c GARBAGE COLLECT
1215.82/1219.37 c rational objective 92
1411.61/1415.64 c #Conflicts: 886000 | #Constraints: 29451
1411.61/1415.64 c #Conflicts: 887000 | #Constraints: 30451
1411.61/1415.64 c #Conflicts: 888000 | #Constraints: 31451
1411.61/1415.64 c #Conflicts: 889000 | #Constraints: 32451
1411.61/1415.64 c #Conflicts: 890000 | #Constraints: 33451
1411.61/1415.64 c #Conflicts: 891000 | #Constraints: 34451
1411.61/1415.64 c #Conflicts: 892000 | #Constraints: 35451
1411.61/1415.64 c #Conflicts: 893000 | #Constraints: 36451
1411.61/1415.64 c #Conflicts: 894000 | #Constraints: 37451
1411.61/1415.64 c #Conflicts: 895000 | #Constraints: 38451
1411.61/1415.64 c #Conflicts: 896000 | #Constraints: 39451
1411.61/1415.64 c #Conflicts: 897000 | #Constraints: 40451
1411.61/1415.64 c #Conflicts: 898000 | #Constraints: 41451
1411.61/1415.64 c #Conflicts: 899000 | #Constraints: 42451
1411.61/1415.64 c #Conflicts: 900000 | #Constraints: 43451
1411.61/1415.64 c #Conflicts: 901000 | #Constraints: 44451
1411.61/1415.64 c #Conflicts: 902000 | #Constraints: 45451
1411.61/1415.64 c #Conflicts: 903000 | #Constraints: 46451
1411.61/1415.64 c #Conflicts: 904000 | #Constraints: 47451
1411.61/1415.64 c #Conflicts: 905000 | #Constraints: 48451
1411.61/1415.64 c #Conflicts: 906000 | #Constraints: 49451
1411.61/1415.64 c #Conflicts: 907000 | #Constraints: 50451
1411.61/1415.64 c #Conflicts: 908000 | #Constraints: 51451
1411.61/1415.64 c #Conflicts: 909000 | #Constraints: 52451
1411.61/1415.64 c #Conflicts: 910000 | #Constraints: 53451
1411.61/1415.64 c #Conflicts: 911000 | #Constraints: 54451
1411.61/1415.64 c #Conflicts: 912000 | #Constraints: 55451
1411.61/1415.64 c #Conflicts: 913000 | #Constraints: 56451
1411.61/1415.64 c #Conflicts: 914000 | #Constraints: 57451
1411.61/1415.64 c #Conflicts: 915000 | #Constraints: 58451
1411.61/1415.64 c #Conflicts: 916000 | #Constraints: 59451
1411.61/1415.64 c #Conflicts: 917000 | #Constraints: 60451
1411.61/1415.64 c #Conflicts: 918000 | #Constraints: 61451
1411.61/1415.64 c #Conflicts: 919000 | #Constraints: 62451
1411.61/1415.64 c #Conflicts: 920000 | #Constraints: 63451
1411.61/1415.64 c #Conflicts: 921000 | #Constraints: 64451
1411.61/1415.64 c #Conflicts: 922000 | #Constraints: 65451
1411.61/1415.64 c #Conflicts: 923000 | #Constraints: 66451
1411.61/1415.64 c #Conflicts: 924000 | #Constraints: 67451
1411.61/1415.64 c #Conflicts: 925000 | #Constraints: 68451
1411.61/1415.64 c #Conflicts: 926000 | #Constraints: 69451
1411.61/1415.64 c #Conflicts: 927000 | #Constraints: 70451
1411.61/1415.64 c #Conflicts: 928000 | #Constraints: 71451
1411.61/1415.64 c #Conflicts: 929000 | #Constraints: 72451
1411.61/1415.64 c #Conflicts: 930000 | #Constraints: 73451
1411.61/1415.64 c #Conflicts: 931000 | #Constraints: 74451
1411.61/1415.64 c #Conflicts: 932000 | #Constraints: 75451
1411.61/1415.64 c #Conflicts: 933000 | #Constraints: 76451
1411.61/1415.64 c #Conflicts: 934000 | #Constraints: 77451
1411.61/1415.64 c #Conflicts: 935000 | #Constraints: 78451
1411.61/1415.64 c #Conflicts: 936000 | #Constraints: 79451
1411.61/1415.64 c #Conflicts: 937000 | #Constraints: 80451
1411.61/1415.64 c #Conflicts: 938000 | #Constraints: 81451
1411.61/1415.64 c #Conflicts: 939000 | #Constraints: 82451
1411.61/1415.64 c #Conflicts: 940000 | #Constraints: 83451
1411.61/1415.64 c #Conflicts: 941000 | #Constraints: 84451
1411.61/1415.64 c #Conflicts: 942000 | #Constraints: 85451
1411.61/1415.64 c #Conflicts: 943000 | #Constraints: 86451
1411.61/1415.64 c #Conflicts: 944000 | #Constraints: 87451
1411.61/1415.64 c #Conflicts: 945000 | #Constraints: 88451
1411.61/1415.64 c #Conflicts: 946000 | #Constraints: 89451
1411.61/1415.64 c #Conflicts: 947000 | #Constraints: 90451
1411.61/1415.64 c #Conflicts: 948000 | #Constraints: 91451
1411.61/1415.64 c #Conflicts: 949000 | #Constraints: 92451
1411.61/1415.64 c #Conflicts: 950000 | #Constraints: 93451
1411.61/1415.64 c #Conflicts: 951000 | #Constraints: 94451
1411.61/1415.64 c #Conflicts: 952000 | #Constraints: 95451
1411.61/1415.64 c #Conflicts: 953000 | #Constraints: 96451
1411.61/1415.64 c #Conflicts: 954000 | #Constraints: 97451
1411.61/1415.64 c #Conflicts: 955000 | #Constraints: 98451
1411.61/1415.64 c #Conflicts: 956000 | #Constraints: 99451
1411.61/1415.64 c #Conflicts: 957000 | #Constraints: 100451
1411.61/1415.64 c #Conflicts: 958000 | #Constraints: 101451
1411.61/1415.64 c #Conflicts: 959000 | #Constraints: 102451
1411.61/1415.64 c #Conflicts: 960000 | #Constraints: 103451
1411.61/1415.64 c INPROCESSING
1411.61/1415.64 c GARBAGE COLLECT
1411.61/1415.64 c #Conflicts: 961000 | #Constraints: 56318
1411.61/1415.64 c #Conflicts: 962000 | #Constraints: 57318
1411.61/1415.64 c #Conflicts: 963000 | #Constraints: 58318
1411.61/1415.64 c #Conflicts: 964000 | #Constraints: 59318
1526.53/1530.86 c #Conflicts: 965000 | #Constraints: 60318
1526.53/1530.86 c #Conflicts: 966000 | #Constraints: 61318
1526.53/1530.86 c #Conflicts: 967000 | #Constraints: 62318
1526.53/1530.86 c #Conflicts: 968000 | #Constraints: 63318
1526.53/1530.86 c #Conflicts: 969000 | #Constraints: 64318
1526.53/1530.86 c #Conflicts: 970000 | #Constraints: 65318
1526.53/1530.86 c #Conflicts: 971000 | #Constraints: 66318
1526.53/1530.86 c #Conflicts: 972000 | #Constraints: 67318
1526.53/1530.86 c #Conflicts: 973000 | #Constraints: 68318
1526.53/1530.86 c #Conflicts: 974000 | #Constraints: 69318
1526.53/1530.86 c #Conflicts: 975000 | #Constraints: 70318
1526.53/1530.86 c #Conflicts: 976000 | #Constraints: 71318
1526.53/1530.86 c #Conflicts: 977000 | #Constraints: 72318
1526.53/1530.86 c #Conflicts: 978000 | #Constraints: 73318
1526.53/1530.86 c #Conflicts: 979000 | #Constraints: 74318
1526.53/1530.86 c #Conflicts: 980000 | #Constraints: 75318
1526.53/1530.86 c #Conflicts: 981000 | #Constraints: 76318
1526.53/1530.86 c #Conflicts: 982000 | #Constraints: 77318
1526.53/1530.86 c INPROCESSING
1526.53/1530.86 c GARBAGE COLLECT
1526.53/1530.86 c #Conflicts: 983000 | #Constraints: 43194
1526.53/1530.86 c #Conflicts: 984000 | #Constraints: 44194
1526.53/1530.86 c #Conflicts: 985000 | #Constraints: 45194
1526.53/1530.86 c #Conflicts: 986000 | #Constraints: 46194
1526.53/1530.86 c #Conflicts: 987000 | #Constraints: 47194
1526.53/1530.86 c #Conflicts: 988000 | #Constraints: 48194
1526.53/1530.86 c #Conflicts: 989000 | #Constraints: 49194
1526.53/1530.86 c #Conflicts: 990000 | #Constraints: 50194
1526.53/1530.86 c #Conflicts: 991000 | #Constraints: 51194
1526.53/1530.86 c #Conflicts: 992000 | #Constraints: 52194
1526.53/1530.86 c #Conflicts: 993000 | #Constraints: 53194
1526.53/1530.86 c #Conflicts: 994000 | #Constraints: 54194
1526.53/1530.86 c #Conflicts: 995000 | #Constraints: 55194
1526.53/1530.86 c #Conflicts: 996000 | #Constraints: 56194
1526.53/1530.86 c #Conflicts: 997000 | #Constraints: 57194
1526.53/1530.86 c #Conflicts: 998000 | #Constraints: 58194
1526.53/1530.86 c #Conflicts: 999000 | #Constraints: 59194
1526.53/1530.86 c #Conflicts: 1000000 | #Constraints: 60194
1526.53/1530.86 c #Conflicts: 1001000 | #Constraints: 61194
1526.53/1530.86 c #Conflicts: 1002000 | #Constraints: 62194
1526.53/1530.86 c #Conflicts: 1003000 | #Constraints: 63194
1526.53/1530.86 c #Conflicts: 1004000 | #Constraints: 64194
1526.53/1530.86 c INPROCESSING
1526.53/1530.86 c GARBAGE COLLECT
1526.53/1530.86 c #Conflicts: 1005000 | #Constraints: 36536
1526.53/1530.86 c #Conflicts: 1006000 | #Constraints: 37536
1526.53/1530.86 c #Conflicts: 1007000 | #Constraints: 38536
1526.53/1530.86 c #Conflicts: 1008000 | #Constraints: 39536
1526.53/1530.86 c #Conflicts: 1009000 | #Constraints: 40536
1526.53/1530.86 c #Conflicts: 1010000 | #Constraints: 41536
1526.53/1530.86 c #Conflicts: 1011000 | #Constraints: 42536
1526.53/1530.86 c #Conflicts: 1012000 | #Constraints: 43536
1526.53/1530.86 c #Conflicts: 1013000 | #Constraints: 44536
1526.53/1530.86 c #Conflicts: 1014000 | #Constraints: 45536
1526.53/1530.86 c #Conflicts: 1015000 | #Constraints: 46536
1526.53/1530.86 c #Conflicts: 1016000 | #Constraints: 47536
1526.53/1530.86 c #Conflicts: 1017000 | #Constraints: 48536
1526.53/1530.86 c #Conflicts: 1018000 | #Constraints: 49536
1526.53/1530.86 c #Conflicts: 1019000 | #Constraints: 50536
1526.53/1530.86 c #Conflicts: 1020000 | #Constraints: 51536
1526.53/1530.86 c #Conflicts: 1021000 | #Constraints: 52536
1526.53/1530.86 c #Conflicts: 1022000 | #Constraints: 53536
1526.53/1530.86 c #Conflicts: 1023000 | #Constraints: 54536
1526.53/1530.86 c #Conflicts: 1024000 | #Constraints: 55536
1526.53/1530.86 c #Conflicts: 1025000 | #Constraints: 56536
1526.53/1530.86 c #Conflicts: 1026000 | #Constraints: 57536
1526.53/1530.86 c INPROCESSING
1526.53/1530.86 c GARBAGE COLLECT
1526.53/1530.86 c rational objective 92
1564.83/1569.20 c #Conflicts: 1027000 | #Constraints: 32865
1564.83/1569.20 c #Conflicts: 1028000 | #Constraints: 33865
1564.83/1569.20 c #Conflicts: 1029000 | #Constraints: 34865
1564.83/1569.20 c #Conflicts: 1030000 | #Constraints: 35865
1564.83/1569.20 c #Conflicts: 1031000 | #Constraints: 36865
1564.83/1569.20 c #Conflicts: 1032000 | #Constraints: 37865
1564.83/1569.20 c #Conflicts: 1033000 | #Constraints: 38865
1564.83/1569.20 c #Conflicts: 1034000 | #Constraints: 39865
1564.83/1569.20 c #Conflicts: 1035000 | #Constraints: 40865
1564.83/1569.20 c #Conflicts: 1036000 | #Constraints: 41865
1564.83/1569.20 c #Conflicts: 1037000 | #Constraints: 42865
1564.83/1569.20 c #Conflicts: 1038000 | #Constraints: 43865
1564.83/1569.20 c #Conflicts: 1039000 | #Constraints: 44865
1564.83/1569.20 c #Conflicts: 1040000 | #Constraints: 45865
1564.83/1569.20 c #Conflicts: 1041000 | #Constraints: 46865
1564.83/1569.20 c #Conflicts: 1042000 | #Constraints: 47865
1564.83/1569.20 c #Conflicts: 1043000 | #Constraints: 48865
1564.83/1569.20 c #Conflicts: 1044000 | #Constraints: 49865
1564.83/1569.20 c #Conflicts: 1045000 | #Constraints: 50865
1564.83/1569.20 c #Conflicts: 1046000 | #Constraints: 51865
1564.83/1569.20 c #Conflicts: 1047000 | #Constraints: 52865
1564.83/1569.20 c #Conflicts: 1048000 | #Constraints: 53865
1564.83/1569.20 c #Conflicts: 1049000 | #Constraints: 54865
1564.83/1569.20 c INPROCESSING
1564.83/1569.20 c GARBAGE COLLECT
1564.83/1569.20 c rational objective 92
1603.54/1608.02 c #Conflicts: 1050000 | #Constraints: 31670
1603.54/1608.02 c #Conflicts: 1051000 | #Constraints: 32670
1603.54/1608.02 c #Conflicts: 1052000 | #Constraints: 33670
1603.54/1608.02 c #Conflicts: 1053000 | #Constraints: 34670
1603.54/1608.02 c #Conflicts: 1054000 | #Constraints: 35670
1603.54/1608.02 c #Conflicts: 1055000 | #Constraints: 36670
1603.54/1608.02 c #Conflicts: 1056000 | #Constraints: 37670
1603.54/1608.02 c #Conflicts: 1057000 | #Constraints: 38670
1603.54/1608.02 c #Conflicts: 1058000 | #Constraints: 39670
1603.54/1608.02 c #Conflicts: 1059000 | #Constraints: 40670
1603.54/1608.02 c #Conflicts: 1060000 | #Constraints: 41670
1603.54/1608.02 c #Conflicts: 1061000 | #Constraints: 42670
1603.54/1608.02 c #Conflicts: 1062000 | #Constraints: 43670
1603.54/1608.02 c #Conflicts: 1063000 | #Constraints: 44670
1603.54/1608.02 c #Conflicts: 1064000 | #Constraints: 45670
1603.54/1608.02 c #Conflicts: 1065000 | #Constraints: 46670
1603.54/1608.02 c #Conflicts: 1066000 | #Constraints: 47670
1603.54/1608.02 c #Conflicts: 1067000 | #Constraints: 48670
1603.54/1608.02 c #Conflicts: 1068000 | #Constraints: 49670
1603.54/1608.02 c #Conflicts: 1069000 | #Constraints: 50670
1603.54/1608.02 c #Conflicts: 1070000 | #Constraints: 51670
1603.54/1608.02 c #Conflicts: 1071000 | #Constraints: 52670
1603.54/1608.02 c #Conflicts: 1072000 | #Constraints: 53670
1603.54/1608.02 c INPROCESSING
1603.54/1608.02 c GARBAGE COLLECT
1603.54/1608.02 c rational objective 92
1743.13/1748.07 c #Conflicts: 1073000 | #Constraints: 31247
1743.13/1748.07 c #Conflicts: 1074000 | #Constraints: 32247
1743.13/1748.07 c #Conflicts: 1075000 | #Constraints: 33247
1743.13/1748.07 c #Conflicts: 1076000 | #Constraints: 34247
1743.13/1748.07 c #Conflicts: 1077000 | #Constraints: 35247
1743.13/1748.07 c #Conflicts: 1078000 | #Constraints: 36247
1743.13/1748.07 c #Conflicts: 1079000 | #Constraints: 37247
1743.13/1748.07 c #Conflicts: 1080000 | #Constraints: 38247
1743.13/1748.07 c #Conflicts: 1081000 | #Constraints: 39247
1743.13/1748.07 c #Conflicts: 1082000 | #Constraints: 40247
1743.13/1748.07 c #Conflicts: 1083000 | #Constraints: 41247
1743.13/1748.07 c #Conflicts: 1084000 | #Constraints: 42247
1743.13/1748.07 c #Conflicts: 1085000 | #Constraints: 43247
1743.13/1748.07 c #Conflicts: 1086000 | #Constraints: 44247
1743.13/1748.07 c #Conflicts: 1087000 | #Constraints: 45247
1743.13/1748.07 c #Conflicts: 1088000 | #Constraints: 46247
1743.13/1748.07 c #Conflicts: 1089000 | #Constraints: 47247
1743.13/1748.07 c #Conflicts: 1090000 | #Constraints: 48247
1743.13/1748.07 c #Conflicts: 1091000 | #Constraints: 49247
1743.13/1748.07 c #Conflicts: 1092000 | #Constraints: 50247
1743.13/1748.07 c #Conflicts: 1093000 | #Constraints: 51247
1743.13/1748.07 c #Conflicts: 1094000 | #Constraints: 52247
1743.13/1748.07 c #Conflicts: 1095000 | #Constraints: 53247
1743.13/1748.07 c INPROCESSING
1743.13/1748.07 c GARBAGE COLLECT
1743.13/1748.07 c #Conflicts: 1096000 | #Constraints: 30911
1743.13/1748.07 c #Conflicts: 1097000 | #Constraints: 31911
1743.13/1748.07 c #Conflicts: 1098000 | #Constraints: 32911
1743.13/1748.07 c #Conflicts: 1099000 | #Constraints: 33912
1743.13/1748.07 c #Conflicts: 1100000 | #Constraints: 34912
1743.13/1748.07 c #Conflicts: 1101000 | #Constraints: 35912
1743.13/1748.07 c #Conflicts: 1102000 | #Constraints: 36912
1743.13/1748.07 c #Conflicts: 1103000 | #Constraints: 37912
1743.13/1748.07 c #Conflicts: 1104000 | #Constraints: 38912
1743.13/1748.07 c #Conflicts: 1105000 | #Constraints: 39912
1743.13/1748.07 c #Conflicts: 1106000 | #Constraints: 40912
1743.13/1748.07 c #Conflicts: 1107000 | #Constraints: 41912
1743.13/1748.07 c #Conflicts: 1108000 | #Constraints: 42912
1743.13/1748.07 c #Conflicts: 1109000 | #Constraints: 43912
1743.13/1748.07 c #Conflicts: 1110000 | #Constraints: 44912
1743.13/1748.07 c #Conflicts: 1111000 | #Constraints: 45912
1743.13/1748.07 c #Conflicts: 1112000 | #Constraints: 46912
1743.13/1748.07 c #Conflicts: 1113000 | #Constraints: 47912
1743.13/1748.07 c #Conflicts: 1114000 | #Constraints: 48912
1743.13/1748.07 c #Conflicts: 1115000 | #Constraints: 49912
1743.13/1748.07 c #Conflicts: 1116000 | #Constraints: 50912
1743.13/1748.07 c #Conflicts: 1117000 | #Constraints: 51912
1743.13/1748.07 c #Conflicts: 1118000 | #Constraints: 52912
1743.13/1748.07 c #Conflicts: 1119000 | #Constraints: 53912
1743.13/1748.07 c #Conflicts: 1120000 | #Constraints: 54912
1743.13/1748.07 c #Conflicts: 1121000 | #Constraints: 55912
1743.13/1748.07 c #Conflicts: 1122000 | #Constraints: 56912
1743.13/1748.07 c #Conflicts: 1123000 | #Constraints: 57912
1743.13/1748.07 c #Conflicts: 1124000 | #Constraints: 58912
1743.13/1748.07 c #Conflicts: 1125000 | #Constraints: 59912
1743.13/1748.07 c #Conflicts: 1126000 | #Constraints: 60912
1743.13/1748.07 c #Conflicts: 1127000 | #Constraints: 61912
1743.13/1748.07 c #Conflicts: 1128000 | #Constraints: 62912
1743.13/1748.07 c #Conflicts: 1129000 | #Constraints: 63912
1743.13/1748.07 c #Conflicts: 1130000 | #Constraints: 64912
1743.13/1748.07 c #Conflicts: 1131000 | #Constraints: 65912
1743.13/1748.07 c #Conflicts: 1132000 | #Constraints: 66912
1743.13/1748.07 c #Conflicts: 1133000 | #Constraints: 67912
1743.13/1748.07 c #Conflicts: 1134000 | #Constraints: 68912
1743.13/1748.07 c #Conflicts: 1135000 | #Constraints: 69912
1743.13/1748.07 c #Conflicts: 1136000 | #Constraints: 70912
1743.13/1748.07 c #Conflicts: 1137000 | #Constraints: 71912
1743.13/1748.07 c #Conflicts: 1138000 | #Constraints: 72912
1743.13/1748.07 c #Conflicts: 1139000 | #Constraints: 73912
1743.13/1748.07 c #Conflicts: 1140000 | #Constraints: 74912
1743.13/1748.07 c #Conflicts: 1141000 | #Constraints: 75912
1743.13/1748.07 c #Conflicts: 1142000 | #Constraints: 76912
1743.13/1748.07 c #Conflicts: 1143000 | #Constraints: 77912
1743.13/1748.07 c #Conflicts: 1144000 | #Constraints: 78912
1743.13/1748.07 c #Conflicts: 1145000 | #Constraints: 79912
1743.13/1748.07 c #Conflicts: 1146000 | #Constraints: 80912
1743.13/1748.07 c #Conflicts: 1147000 | #Constraints: 81912
1743.13/1748.07 c #Conflicts: 1148000 | #Constraints: 82912
1743.13/1748.07 c #Conflicts: 1149000 | #Constraints: 83912
1743.13/1748.07 c #Conflicts: 1150000 | #Constraints: 84912
1743.13/1748.07 c #Conflicts: 1151000 | #Constraints: 85912
1846.79/1852.05 c #Conflicts: 1152000 | #Constraints: 86912
1846.79/1852.05 c #Conflicts: 1153000 | #Constraints: 87912
1846.79/1852.05 c #Conflicts: 1154000 | #Constraints: 88912
1846.79/1852.05 c #Conflicts: 1155000 | #Constraints: 89912
1846.79/1852.05 c #Conflicts: 1156000 | #Constraints: 90912
1846.79/1852.05 c #Conflicts: 1157000 | #Constraints: 91912
1846.79/1852.05 c #Conflicts: 1158000 | #Constraints: 92912
1846.79/1852.05 c #Conflicts: 1159000 | #Constraints: 93912
1846.79/1852.05 c #Conflicts: 1160000 | #Constraints: 94912
1846.79/1852.05 c #Conflicts: 1161000 | #Constraints: 95912
1846.79/1852.05 c #Conflicts: 1162000 | #Constraints: 96912
1846.79/1852.05 c #Conflicts: 1163000 | #Constraints: 97912
1846.79/1852.05 c #Conflicts: 1164000 | #Constraints: 98912
1846.79/1852.05 c #Conflicts: 1165000 | #Constraints: 99912
1846.79/1852.05 c #Conflicts: 1166000 | #Constraints: 100912
1846.79/1852.05 c #Conflicts: 1167000 | #Constraints: 101912
1846.79/1852.05 c #Conflicts: 1168000 | #Constraints: 102912
1846.79/1852.05 c #Conflicts: 1169000 | #Constraints: 103912
1846.79/1852.05 c #Conflicts: 1170000 | #Constraints: 104912
1846.79/1852.05 c #Conflicts: 1171000 | #Constraints: 105912
1846.79/1852.05 c #Conflicts: 1172000 | #Constraints: 106912
1846.79/1852.05 c #Conflicts: 1173000 | #Constraints: 107912
1846.79/1852.05 c #Conflicts: 1174000 | #Constraints: 108912
1846.79/1852.05 c #Conflicts: 1175000 | #Constraints: 109912
1846.79/1852.05 c #Conflicts: 1176000 | #Constraints: 110912
1846.79/1852.05 c #Conflicts: 1177000 | #Constraints: 111912
1846.79/1852.05 c #Conflicts: 1178000 | #Constraints: 112912
1846.79/1852.05 c #Conflicts: 1179000 | #Constraints: 113912
1846.79/1852.05 c INPROCESSING
1846.79/1852.05 c GARBAGE COLLECT
1846.79/1852.05 c rational objective 92
1996.44/2002.19 c #Conflicts: 1180000 | #Constraints: 61433
1996.44/2002.19 c #Conflicts: 1181000 | #Constraints: 62433
1996.44/2002.19 c #Conflicts: 1182000 | #Constraints: 63433
1996.44/2002.19 c #Conflicts: 1183000 | #Constraints: 64433
1996.44/2002.19 c #Conflicts: 1184000 | #Constraints: 65433
1996.44/2002.19 c #Conflicts: 1185000 | #Constraints: 66433
1996.44/2002.19 c #Conflicts: 1186000 | #Constraints: 67433
1996.44/2002.19 c #Conflicts: 1187000 | #Constraints: 68433
1996.44/2002.19 c #Conflicts: 1188000 | #Constraints: 69433
1996.44/2002.19 c #Conflicts: 1189000 | #Constraints: 70433
1996.44/2002.19 c #Conflicts: 1190000 | #Constraints: 71433
1996.44/2002.19 c #Conflicts: 1191000 | #Constraints: 72433
1996.44/2002.19 c #Conflicts: 1192000 | #Constraints: 73433
1996.44/2002.19 c #Conflicts: 1193000 | #Constraints: 74433
1996.44/2002.19 c #Conflicts: 1194000 | #Constraints: 75433
1996.44/2002.19 c #Conflicts: 1195000 | #Constraints: 76433
1996.44/2002.19 c #Conflicts: 1196000 | #Constraints: 77433
1996.44/2002.19 c #Conflicts: 1197000 | #Constraints: 78433
1996.44/2002.19 c #Conflicts: 1198000 | #Constraints: 79433
1996.44/2002.19 c #Conflicts: 1199000 | #Constraints: 80433
1996.44/2002.19 c #Conflicts: 1200000 | #Constraints: 81433
1996.44/2002.19 c #Conflicts: 1201000 | #Constraints: 82433
1996.44/2002.19 c #Conflicts: 1202000 | #Constraints: 83433
1996.44/2002.19 c #Conflicts: 1203000 | #Constraints: 84433
1996.44/2002.19 c INPROCESSING
1996.44/2002.19 c GARBAGE COLLECT
1996.44/2002.19 c #Conflicts: 1204000 | #Constraints: 46489
1996.44/2002.19 c #Conflicts: 1205000 | #Constraints: 47489
1996.44/2002.19 c #Conflicts: 1206000 | #Constraints: 48489
1996.44/2002.19 c #Conflicts: 1207000 | #Constraints: 49489
1996.44/2002.19 c #Conflicts: 1208000 | #Constraints: 50489
1996.44/2002.19 c #Conflicts: 1209000 | #Constraints: 51489
1996.44/2002.19 c #Conflicts: 1210000 | #Constraints: 52489
1996.44/2002.19 c #Conflicts: 1211000 | #Constraints: 53489
1996.44/2002.19 c #Conflicts: 1212000 | #Constraints: 54489
1996.44/2002.19 c #Conflicts: 1213000 | #Constraints: 55489
1996.44/2002.19 c #Conflicts: 1214000 | #Constraints: 56489
1996.44/2002.19 c #Conflicts: 1215000 | #Constraints: 57489
1996.44/2002.19 c #Conflicts: 1216000 | #Constraints: 58489
1996.44/2002.19 c #Conflicts: 1217000 | #Constraints: 59489
1996.44/2002.19 c #Conflicts: 1218000 | #Constraints: 60489
1996.44/2002.19 c #Conflicts: 1219000 | #Constraints: 61489
1996.44/2002.19 c #Conflicts: 1220000 | #Constraints: 62490
1996.44/2002.19 c #Conflicts: 1221000 | #Constraints: 63490
1996.44/2002.19 c #Conflicts: 1222000 | #Constraints: 64490
1996.44/2002.19 c #Conflicts: 1223000 | #Constraints: 65490
1996.44/2002.19 c #Conflicts: 1224000 | #Constraints: 66490
1996.44/2002.19 c #Conflicts: 1225000 | #Constraints: 67490
1996.44/2002.19 c #Conflicts: 1226000 | #Constraints: 68490
1996.44/2002.19 c #Conflicts: 1227000 | #Constraints: 69490
1996.44/2002.19 c #Conflicts: 1228000 | #Constraints: 70490
1996.44/2002.19 c INPROCESSING
1996.44/2002.19 c GARBAGE COLLECT
1996.44/2002.19 c #Conflicts: 1229000 | #Constraints: 39690
1996.44/2002.19 c #Conflicts: 1230000 | #Constraints: 40690
1996.44/2002.19 c #Conflicts: 1231000 | #Constraints: 41690
1996.44/2002.19 c #Conflicts: 1232000 | #Constraints: 42690
1996.44/2002.19 c #Conflicts: 1233000 | #Constraints: 43690
1996.44/2002.19 c #Conflicts: 1234000 | #Constraints: 44690
1996.44/2002.19 c #Conflicts: 1235000 | #Constraints: 45690
1996.44/2002.19 c #Conflicts: 1236000 | #Constraints: 46690
1996.44/2002.19 c #Conflicts: 1237000 | #Constraints: 47690
1996.44/2002.19 c #Conflicts: 1238000 | #Constraints: 48690
1996.44/2002.19 c #Conflicts: 1239000 | #Constraints: 49690
1996.44/2002.19 c #Conflicts: 1240000 | #Constraints: 50690
1996.44/2002.19 c #Conflicts: 1241000 | #Constraints: 51690
1996.44/2002.19 c #Conflicts: 1242000 | #Constraints: 52690
1996.44/2002.19 c #Conflicts: 1243000 | #Constraints: 53690
1996.44/2002.19 c #Conflicts: 1244000 | #Constraints: 54690
1996.44/2002.19 c #Conflicts: 1245000 | #Constraints: 55690
1996.44/2002.19 c #Conflicts: 1246000 | #Constraints: 56690
1996.44/2002.19 c #Conflicts: 1247000 | #Constraints: 57690
1996.44/2002.19 c #Conflicts: 1248000 | #Constraints: 58690
1996.44/2002.19 c #Conflicts: 1249000 | #Constraints: 59690
1996.44/2002.19 c #Conflicts: 1250000 | #Constraints: 60690
1996.44/2002.19 c #Conflicts: 1251000 | #Constraints: 61690
1996.44/2002.19 c #Conflicts: 1252000 | #Constraints: 62690
1996.44/2002.19 c #Conflicts: 1253000 | #Constraints: 63690
1996.44/2002.19 c INPROCESSING
1996.44/2002.19 c GARBAGE COLLECT
1996.44/2002.19 c #Conflicts: 1254000 | #Constraints: 36396
1996.44/2002.19 c #Conflicts: 1255000 | #Constraints: 37396
1996.44/2002.19 c #Conflicts: 1256000 | #Constraints: 38396
2107.68/2113.74 c #Conflicts: 1257000 | #Constraints: 39396
2107.68/2113.74 c #Conflicts: 1258000 | #Constraints: 40396
2107.68/2113.74 c #Conflicts: 1259000 | #Constraints: 41396
2107.68/2113.74 c #Conflicts: 1260000 | #Constraints: 42396
2107.68/2113.74 c #Conflicts: 1261000 | #Constraints: 43396
2107.68/2113.74 c #Conflicts: 1262000 | #Constraints: 44396
2107.68/2113.74 c #Conflicts: 1263000 | #Constraints: 45396
2107.68/2113.74 c #Conflicts: 1264000 | #Constraints: 46396
2107.68/2113.74 c #Conflicts: 1265000 | #Constraints: 47396
2107.68/2113.74 c #Conflicts: 1266000 | #Constraints: 48396
2107.68/2113.74 c #Conflicts: 1267000 | #Constraints: 49396
2107.68/2113.74 c #Conflicts: 1268000 | #Constraints: 50396
2107.68/2113.74 c #Conflicts: 1269000 | #Constraints: 51396
2107.68/2113.74 c #Conflicts: 1270000 | #Constraints: 52396
2107.68/2113.74 c #Conflicts: 1271000 | #Constraints: 53396
2107.68/2113.74 c #Conflicts: 1272000 | #Constraints: 54396
2107.68/2113.74 c #Conflicts: 1273000 | #Constraints: 55396
2107.68/2113.74 c #Conflicts: 1274000 | #Constraints: 56396
2107.68/2113.74 c #Conflicts: 1275000 | #Constraints: 57396
2107.68/2113.74 c #Conflicts: 1276000 | #Constraints: 58396
2107.68/2113.74 c #Conflicts: 1277000 | #Constraints: 59396
2107.68/2113.74 c #Conflicts: 1278000 | #Constraints: 60396
2107.68/2113.74 c INPROCESSING
2107.68/2113.74 c GARBAGE COLLECT
2107.68/2113.74 c #Conflicts: 1279000 | #Constraints: 34807
2107.68/2113.74 c #Conflicts: 1280000 | #Constraints: 35807
2107.68/2113.74 c #Conflicts: 1281000 | #Constraints: 36807
2107.68/2113.74 c #Conflicts: 1282000 | #Constraints: 37807
2107.68/2113.74 c #Conflicts: 1283000 | #Constraints: 38807
2107.68/2113.74 c #Conflicts: 1284000 | #Constraints: 39807
2107.68/2113.74 c #Conflicts: 1285000 | #Constraints: 40807
2107.68/2113.74 c #Conflicts: 1286000 | #Constraints: 41807
2107.68/2113.74 c #Conflicts: 1287000 | #Constraints: 42807
2107.68/2113.74 c #Conflicts: 1288000 | #Constraints: 43807
2107.68/2113.74 c #Conflicts: 1289000 | #Constraints: 44807
2107.68/2113.74 c #Conflicts: 1290000 | #Constraints: 45807
2107.68/2113.74 c #Conflicts: 1291000 | #Constraints: 46807
2107.68/2113.74 c #Conflicts: 1292000 | #Constraints: 47807
2107.68/2113.74 c #Conflicts: 1293000 | #Constraints: 48807
2107.68/2113.74 c #Conflicts: 1294000 | #Constraints: 49807
2107.68/2113.74 c #Conflicts: 1295000 | #Constraints: 50807
2107.68/2113.74 c #Conflicts: 1296000 | #Constraints: 51807
2107.68/2113.74 c #Conflicts: 1297000 | #Constraints: 52807
2107.68/2113.74 c #Conflicts: 1298000 | #Constraints: 53807
2107.68/2113.74 c #Conflicts: 1299000 | #Constraints: 54807
2107.68/2113.74 c #Conflicts: 1300000 | #Constraints: 55807
2107.68/2113.74 c #Conflicts: 1301000 | #Constraints: 56808
2107.68/2113.74 c #Conflicts: 1302000 | #Constraints: 57808
2107.68/2113.74 c #Conflicts: 1303000 | #Constraints: 58808
2107.68/2113.74 c INPROCESSING
2107.68/2113.74 c GARBAGE COLLECT
2107.68/2113.74 c #Conflicts: 1304000 | #Constraints: 33852
2107.68/2113.74 c #Conflicts: 1305000 | #Constraints: 34852
2107.68/2113.74 c #Conflicts: 1306000 | #Constraints: 35852
2107.68/2113.74 c #Conflicts: 1307000 | #Constraints: 36852
2107.68/2113.74 c #Conflicts: 1308000 | #Constraints: 37852
2107.68/2113.74 c #Conflicts: 1309000 | #Constraints: 38852
2107.68/2113.74 c #Conflicts: 1310000 | #Constraints: 39852
2107.68/2113.74 c #Conflicts: 1311000 | #Constraints: 40852
2107.68/2113.74 c #Conflicts: 1312000 | #Constraints: 41852
2107.68/2113.74 c #Conflicts: 1313000 | #Constraints: 42852
2107.68/2113.74 c #Conflicts: 1314000 | #Constraints: 43852
2107.68/2113.74 c #Conflicts: 1315000 | #Constraints: 44852
2107.68/2113.74 c #Conflicts: 1316000 | #Constraints: 45852
2107.68/2113.74 c #Conflicts: 1317000 | #Constraints: 46852
2107.68/2113.74 c #Conflicts: 1318000 | #Constraints: 47852
2107.68/2113.74 c #Conflicts: 1319000 | #Constraints: 48852
2107.68/2113.74 c #Conflicts: 1320000 | #Constraints: 49852
2107.68/2113.74 c #Conflicts: 1321000 | #Constraints: 50852
2107.68/2113.74 c #Conflicts: 1322000 | #Constraints: 51852
2107.68/2113.74 c #Conflicts: 1323000 | #Constraints: 52852
2107.68/2113.74 c #Conflicts: 1324000 | #Constraints: 53852
2107.68/2113.74 c #Conflicts: 1325000 | #Constraints: 54852
2107.68/2113.74 c #Conflicts: 1326000 | #Constraints: 55852
2107.68/2113.74 c #Conflicts: 1327000 | #Constraints: 56852
2107.68/2113.74 c #Conflicts: 1328000 | #Constraints: 57852
2107.68/2113.74 c #Conflicts: 1329000 | #Constraints: 58852
2107.68/2113.74 c #Conflicts: 1330000 | #Constraints: 59852
2107.68/2113.74 c #Conflicts: 1331000 | #Constraints: 60852
2107.68/2113.74 c #Conflicts: 1332000 | #Constraints: 61852
2107.68/2113.74 c #Conflicts: 1333000 | #Constraints: 62852
2107.68/2113.74 c #Conflicts: 1334000 | #Constraints: 63852
2318.93/2325.67 c #Conflicts: 1335000 | #Constraints: 64852
2318.93/2325.67 c #Conflicts: 1336000 | #Constraints: 65852
2318.93/2325.67 c #Conflicts: 1337000 | #Constraints: 66852
2318.93/2325.67 c #Conflicts: 1338000 | #Constraints: 67852
2318.93/2325.67 c #Conflicts: 1339000 | #Constraints: 68852
2318.93/2325.67 c #Conflicts: 1340000 | #Constraints: 69852
2318.93/2325.67 c #Conflicts: 1341000 | #Constraints: 70852
2318.93/2325.67 c #Conflicts: 1342000 | #Constraints: 71852
2318.93/2325.67 c #Conflicts: 1343000 | #Constraints: 72852
2318.93/2325.67 c #Conflicts: 1344000 | #Constraints: 73852
2318.93/2325.67 c #Conflicts: 1345000 | #Constraints: 74852
2318.93/2325.67 c #Conflicts: 1346000 | #Constraints: 75852
2318.93/2325.67 c #Conflicts: 1347000 | #Constraints: 76852
2318.93/2325.67 c #Conflicts: 1348000 | #Constraints: 77852
2318.93/2325.67 c #Conflicts: 1349000 | #Constraints: 78852
2318.93/2325.67 c #Conflicts: 1350000 | #Constraints: 79852
2318.93/2325.67 c #Conflicts: 1351000 | #Constraints: 80852
2318.93/2325.67 c #Conflicts: 1352000 | #Constraints: 81852
2318.93/2325.67 c #Conflicts: 1353000 | #Constraints: 82852
2318.93/2325.67 c #Conflicts: 1354000 | #Constraints: 83852
2318.93/2325.67 c #Conflicts: 1355000 | #Constraints: 84852
2318.93/2325.67 c #Conflicts: 1356000 | #Constraints: 85852
2318.93/2325.67 c #Conflicts: 1357000 | #Constraints: 86852
2318.93/2325.67 c #Conflicts: 1358000 | #Constraints: 87852
2318.93/2325.67 c #Conflicts: 1359000 | #Constraints: 88852
2318.93/2325.67 c #Conflicts: 1360000 | #Constraints: 89852
2318.93/2325.67 c #Conflicts: 1361000 | #Constraints: 90852
2318.93/2325.67 c #Conflicts: 1362000 | #Constraints: 91852
2318.93/2325.67 c #Conflicts: 1363000 | #Constraints: 92852
2318.93/2325.67 c #Conflicts: 1364000 | #Constraints: 93852
2318.93/2325.67 c #Conflicts: 1365000 | #Constraints: 94852
2318.93/2325.67 c #Conflicts: 1366000 | #Constraints: 95852
2318.93/2325.67 c #Conflicts: 1367000 | #Constraints: 96852
2318.93/2325.67 c #Conflicts: 1368000 | #Constraints: 97852
2318.93/2325.67 c #Conflicts: 1369000 | #Constraints: 98852
2318.93/2325.67 c #Conflicts: 1370000 | #Constraints: 99852
2318.93/2325.67 c #Conflicts: 1371000 | #Constraints: 100852
2318.93/2325.67 c #Conflicts: 1372000 | #Constraints: 101852
2318.93/2325.67 c #Conflicts: 1373000 | #Constraints: 102852
2318.93/2325.67 c #Conflicts: 1374000 | #Constraints: 103852
2318.93/2325.67 c #Conflicts: 1375000 | #Constraints: 104852
2318.93/2325.67 c #Conflicts: 1376000 | #Constraints: 105852
2318.93/2325.67 c #Conflicts: 1377000 | #Constraints: 106852
2318.93/2325.67 c #Conflicts: 1378000 | #Constraints: 107852
2318.93/2325.67 c #Conflicts: 1379000 | #Constraints: 108852
2318.93/2325.67 c #Conflicts: 1380000 | #Constraints: 109852
2318.93/2325.67 c #Conflicts: 1381000 | #Constraints: 110852
2318.93/2325.67 c #Conflicts: 1382000 | #Constraints: 111852
2318.93/2325.67 c #Conflicts: 1383000 | #Constraints: 112852
2318.93/2325.67 c #Conflicts: 1384000 | #Constraints: 113852
2318.93/2325.67 c #Conflicts: 1385000 | #Constraints: 114852
2318.93/2325.67 c #Conflicts: 1386000 | #Constraints: 115852
2318.93/2325.67 c #Conflicts: 1387000 | #Constraints: 116852
2318.93/2325.67 c #Conflicts: 1388000 | #Constraints: 117852
2318.93/2325.67 c #Conflicts: 1389000 | #Constraints: 118852
2318.93/2325.67 c #Conflicts: 1390000 | #Constraints: 119852
2318.93/2325.67 c #Conflicts: 1391000 | #Constraints: 120852
2318.93/2325.67 c #Conflicts: 1392000 | #Constraints: 121852
2318.93/2325.67 c #Conflicts: 1393000 | #Constraints: 122852
2318.93/2325.67 c #Conflicts: 1394000 | #Constraints: 123852
2318.93/2325.67 c INPROCESSING
2318.93/2325.67 c GARBAGE COLLECT
2318.93/2325.67 c rational objective 92
2384.52/2391.43 c #Conflicts: 1395000 | #Constraints: 66384
2384.52/2391.43 c #Conflicts: 1396000 | #Constraints: 67384
2384.52/2391.43 c #Conflicts: 1397000 | #Constraints: 68384
2384.52/2391.43 c #Conflicts: 1398000 | #Constraints: 69384
2384.52/2391.43 c #Conflicts: 1399000 | #Constraints: 70384
2384.52/2391.43 c #Conflicts: 1400000 | #Constraints: 71384
2384.52/2391.43 c #Conflicts: 1401000 | #Constraints: 72384
2384.52/2391.43 c #Conflicts: 1402000 | #Constraints: 73384
2384.52/2391.43 c #Conflicts: 1403000 | #Constraints: 74384
2384.52/2391.43 c #Conflicts: 1404000 | #Constraints: 75384
2384.52/2391.43 c #Conflicts: 1405000 | #Constraints: 76384
2384.52/2391.43 c #Conflicts: 1406000 | #Constraints: 77384
2384.52/2391.43 c #Conflicts: 1407000 | #Constraints: 78384
2384.52/2391.43 c #Conflicts: 1408000 | #Constraints: 79384
2384.52/2391.43 c #Conflicts: 1409000 | #Constraints: 80384
2384.52/2391.43 c #Conflicts: 1410000 | #Constraints: 81384
2384.52/2391.43 c #Conflicts: 1411000 | #Constraints: 82384
2384.52/2391.43 c #Conflicts: 1412000 | #Constraints: 83384
2384.52/2391.43 c #Conflicts: 1413000 | #Constraints: 84384
2384.52/2391.43 c #Conflicts: 1414000 | #Constraints: 85384
2384.52/2391.43 c #Conflicts: 1415000 | #Constraints: 86384
2384.52/2391.43 c #Conflicts: 1416000 | #Constraints: 87384
2384.52/2391.43 c #Conflicts: 1417000 | #Constraints: 88384
2384.52/2391.43 c #Conflicts: 1418000 | #Constraints: 89384
2384.52/2391.43 c #Conflicts: 1419000 | #Constraints: 90384
2384.52/2391.43 c #Conflicts: 1420000 | #Constraints: 91384
2384.52/2391.43 c INPROCESSING
2384.52/2391.43 c GARBAGE COLLECT
2384.52/2391.43 c rational objective 92
2440.07/2447.17 c #Conflicts: 1421000 | #Constraints: 49924
2440.07/2447.17 c #Conflicts: 1422000 | #Constraints: 50924
2440.07/2447.17 c #Conflicts: 1423000 | #Constraints: 51924
2440.07/2447.17 c #Conflicts: 1424000 | #Constraints: 52924
2440.07/2447.17 c #Conflicts: 1425000 | #Constraints: 53924
2440.07/2447.17 c #Conflicts: 1426000 | #Constraints: 54924
2440.07/2447.17 c #Conflicts: 1427000 | #Constraints: 55924
2440.07/2447.17 c #Conflicts: 1428000 | #Constraints: 56924
2440.07/2447.17 c #Conflicts: 1429000 | #Constraints: 57924
2440.07/2447.17 c #Conflicts: 1430000 | #Constraints: 58924
2440.07/2447.17 c #Conflicts: 1431000 | #Constraints: 59924
2440.07/2447.17 c #Conflicts: 1432000 | #Constraints: 60924
2440.07/2447.17 c #Conflicts: 1433000 | #Constraints: 61924
2440.07/2447.17 c #Conflicts: 1434000 | #Constraints: 62924
2440.07/2447.17 c #Conflicts: 1435000 | #Constraints: 63924
2440.07/2447.17 c #Conflicts: 1436000 | #Constraints: 64924
2440.07/2447.17 c #Conflicts: 1437000 | #Constraints: 65924
2440.07/2447.17 c #Conflicts: 1438000 | #Constraints: 66924
2440.07/2447.17 c #Conflicts: 1439000 | #Constraints: 67924
2440.07/2447.17 c #Conflicts: 1440000 | #Constraints: 68924
2440.07/2447.17 c #Conflicts: 1441000 | #Constraints: 69924
2440.07/2447.17 c #Conflicts: 1442000 | #Constraints: 70924
2440.07/2447.17 c #Conflicts: 1443000 | #Constraints: 71924
2440.07/2447.17 c #Conflicts: 1444000 | #Constraints: 72924
2440.07/2447.17 c #Conflicts: 1445000 | #Constraints: 73924
2440.07/2447.17 c #Conflicts: 1446000 | #Constraints: 74924
2440.07/2447.17 c #Conflicts: 1447000 | #Constraints: 75924
2440.07/2447.17 c INPROCESSING
2440.07/2447.17 c GARBAGE COLLECT
2440.07/2447.17 c rational objective 92
2561.78/2569.28 c #Conflicts: 1448000 | #Constraints: 42279
2561.78/2569.28 c #Conflicts: 1449000 | #Constraints: 43279
2561.78/2569.28 c #Conflicts: 1450000 | #Constraints: 44279
2561.78/2569.28 c #Conflicts: 1451000 | #Constraints: 45279
2561.78/2569.28 c #Conflicts: 1452000 | #Constraints: 46279
2561.78/2569.28 c #Conflicts: 1453000 | #Constraints: 47279
2561.78/2569.28 c #Conflicts: 1454000 | #Constraints: 48279
2561.78/2569.28 c #Conflicts: 1455000 | #Constraints: 49279
2561.78/2569.28 c #Conflicts: 1456000 | #Constraints: 50279
2561.78/2569.28 c #Conflicts: 1457000 | #Constraints: 51279
2561.78/2569.28 c #Conflicts: 1458000 | #Constraints: 52279
2561.78/2569.28 c #Conflicts: 1459000 | #Constraints: 53279
2561.78/2569.28 c #Conflicts: 1460000 | #Constraints: 54279
2561.78/2569.28 c #Conflicts: 1461000 | #Constraints: 55279
2561.78/2569.28 c #Conflicts: 1462000 | #Constraints: 56279
2561.78/2569.28 c #Conflicts: 1463000 | #Constraints: 57279
2561.78/2569.28 c #Conflicts: 1464000 | #Constraints: 58279
2561.78/2569.28 c #Conflicts: 1465000 | #Constraints: 59279
2561.78/2569.28 c #Conflicts: 1466000 | #Constraints: 60279
2561.78/2569.28 c #Conflicts: 1467000 | #Constraints: 61279
2561.78/2569.28 c #Conflicts: 1468000 | #Constraints: 62279
2561.78/2569.28 c #Conflicts: 1469000 | #Constraints: 63279
2561.78/2569.28 c #Conflicts: 1470000 | #Constraints: 64279
2561.78/2569.28 c #Conflicts: 1471000 | #Constraints: 65279
2561.78/2569.28 c #Conflicts: 1472000 | #Constraints: 66279
2561.78/2569.28 c #Conflicts: 1473000 | #Constraints: 67279
2561.78/2569.28 c #Conflicts: 1474000 | #Constraints: 68279
2561.78/2569.28 c INPROCESSING
2561.78/2569.28 c GARBAGE COLLECT
2561.78/2569.28 c #Conflicts: 1475000 | #Constraints: 38591
2561.78/2569.28 c #Conflicts: 1476000 | #Constraints: 39591
2561.78/2569.28 c #Conflicts: 1477000 | #Constraints: 40591
2561.78/2569.28 c #Conflicts: 1478000 | #Constraints: 41591
2561.78/2569.28 c #Conflicts: 1479000 | #Constraints: 42591
2561.78/2569.28 c #Conflicts: 1480000 | #Constraints: 43591
2561.78/2569.28 c #Conflicts: 1481000 | #Constraints: 44591
2561.78/2569.28 c #Conflicts: 1482000 | #Constraints: 45591
2561.78/2569.28 c #Conflicts: 1483000 | #Constraints: 46591
2561.78/2569.28 c #Conflicts: 1484000 | #Constraints: 47591
2561.78/2569.28 c #Conflicts: 1485000 | #Constraints: 48591
2561.78/2569.28 c #Conflicts: 1486000 | #Constraints: 49591
2561.78/2569.28 c #Conflicts: 1487000 | #Constraints: 50591
2561.78/2569.28 c #Conflicts: 1488000 | #Constraints: 51591
2561.78/2569.28 c #Conflicts: 1489000 | #Constraints: 52591
2561.78/2569.28 c #Conflicts: 1490000 | #Constraints: 53591
2561.78/2569.28 c #Conflicts: 1491000 | #Constraints: 54591
2561.78/2569.28 c #Conflicts: 1492000 | #Constraints: 55591
2561.78/2569.28 c #Conflicts: 1493000 | #Constraints: 56591
2561.78/2569.28 c #Conflicts: 1494000 | #Constraints: 57591
2561.78/2569.28 c #Conflicts: 1495000 | #Constraints: 58591
2561.78/2569.28 c #Conflicts: 1496000 | #Constraints: 59591
2561.78/2569.28 c #Conflicts: 1497000 | #Constraints: 60591
2561.78/2569.28 c #Conflicts: 1498000 | #Constraints: 61591
2561.78/2569.28 c #Conflicts: 1499000 | #Constraints: 62591
2561.78/2569.28 c #Conflicts: 1500000 | #Constraints: 63591
2561.78/2569.28 c #Conflicts: 1501000 | #Constraints: 64591
2561.78/2569.28 c INPROCESSING
2561.78/2569.28 c GARBAGE COLLECT
2561.78/2569.28 c #Conflicts: 1502000 | #Constraints: 36675
2561.78/2569.28 c #Conflicts: 1503000 | #Constraints: 37675
2561.78/2569.28 c #Conflicts: 1504000 | #Constraints: 38675
2561.78/2569.28 c #Conflicts: 1505000 | #Constraints: 39675
2561.78/2569.28 c #Conflicts: 1506000 | #Constraints: 40675
2561.78/2569.28 c #Conflicts: 1507000 | #Constraints: 41675
2561.78/2569.28 c #Conflicts: 1508000 | #Constraints: 42675
2561.78/2569.28 c #Conflicts: 1509000 | #Constraints: 43675
2561.78/2569.28 c #Conflicts: 1510000 | #Constraints: 44675
2561.78/2569.28 c #Conflicts: 1511000 | #Constraints: 45675
2561.78/2569.28 c #Conflicts: 1512000 | #Constraints: 46675
2561.78/2569.28 c #Conflicts: 1513000 | #Constraints: 47675
2561.78/2569.28 c #Conflicts: 1514000 | #Constraints: 48675
2561.78/2569.28 c #Conflicts: 1515000 | #Constraints: 49675
2561.78/2569.28 c #Conflicts: 1516000 | #Constraints: 50675
2561.78/2569.28 c #Conflicts: 1517000 | #Constraints: 51675
2561.78/2569.28 c #Conflicts: 1518000 | #Constraints: 52675
2561.78/2569.28 c #Conflicts: 1519000 | #Constraints: 53675
2561.78/2569.28 c #Conflicts: 1520000 | #Constraints: 54675
2561.78/2569.28 c #Conflicts: 1521000 | #Constraints: 55675
2561.78/2569.28 c #Conflicts: 1522000 | #Constraints: 56675
2561.78/2569.28 c #Conflicts: 1523000 | #Constraints: 57675
2561.78/2569.28 c #Conflicts: 1524000 | #Constraints: 58675
2561.78/2569.28 c #Conflicts: 1525000 | #Constraints: 59675
2745.72/2753.74 c #Conflicts: 1526000 | #Constraints: 60675
2745.72/2753.74 c #Conflicts: 1527000 | #Constraints: 61675
2745.72/2753.74 c #Conflicts: 1528000 | #Constraints: 62675
2745.72/2753.74 c INPROCESSING
2745.72/2753.74 c GARBAGE COLLECT
2745.72/2753.74 c #Conflicts: 1529000 | #Constraints: 35562
2745.72/2753.74 c #Conflicts: 1530000 | #Constraints: 36562
2745.72/2753.74 c #Conflicts: 1531000 | #Constraints: 37562
2745.72/2753.74 c #Conflicts: 1532000 | #Constraints: 38562
2745.72/2753.74 c #Conflicts: 1533000 | #Constraints: 39562
2745.72/2753.74 c #Conflicts: 1534000 | #Constraints: 40562
2745.72/2753.74 c #Conflicts: 1535000 | #Constraints: 41562
2745.72/2753.74 c #Conflicts: 1536000 | #Constraints: 42562
2745.72/2753.74 c #Conflicts: 1537000 | #Constraints: 43562
2745.72/2753.74 c #Conflicts: 1538000 | #Constraints: 44562
2745.72/2753.74 c #Conflicts: 1539000 | #Constraints: 45562
2745.72/2753.74 c #Conflicts: 1540000 | #Constraints: 46562
2745.72/2753.74 c #Conflicts: 1541000 | #Constraints: 47562
2745.72/2753.74 c #Conflicts: 1542000 | #Constraints: 48562
2745.72/2753.74 c #Conflicts: 1543000 | #Constraints: 49562
2745.72/2753.74 c #Conflicts: 1544000 | #Constraints: 50562
2745.72/2753.74 c #Conflicts: 1545000 | #Constraints: 51562
2745.72/2753.74 c #Conflicts: 1546000 | #Constraints: 52562
2745.72/2753.74 c #Conflicts: 1547000 | #Constraints: 53562
2745.72/2753.74 c #Conflicts: 1548000 | #Constraints: 54562
2745.72/2753.74 c #Conflicts: 1549000 | #Constraints: 55562
2745.72/2753.74 c #Conflicts: 1550000 | #Constraints: 56562
2745.72/2753.74 c #Conflicts: 1551000 | #Constraints: 57562
2745.72/2753.74 c #Conflicts: 1552000 | #Constraints: 58562
2745.72/2753.74 c #Conflicts: 1553000 | #Constraints: 59562
2745.72/2753.74 c #Conflicts: 1554000 | #Constraints: 60562
2745.72/2753.74 c #Conflicts: 1555000 | #Constraints: 61562
2745.72/2753.74 c #Conflicts: 1556000 | #Constraints: 62562
2745.72/2753.74 c #Conflicts: 1557000 | #Constraints: 63562
2745.72/2753.74 c #Conflicts: 1558000 | #Constraints: 64562
2745.72/2753.74 c #Conflicts: 1559000 | #Constraints: 65562
2745.72/2753.74 c #Conflicts: 1560000 | #Constraints: 66562
2745.72/2753.74 c #Conflicts: 1561000 | #Constraints: 67562
2745.72/2753.74 c #Conflicts: 1562000 | #Constraints: 68562
2745.72/2753.74 c #Conflicts: 1563000 | #Constraints: 69562
2745.72/2753.74 c #Conflicts: 1564000 | #Constraints: 70562
2745.72/2753.74 c #Conflicts: 1565000 | #Constraints: 71562
2745.72/2753.74 c #Conflicts: 1566000 | #Constraints: 72562
2745.72/2753.74 c #Conflicts: 1567000 | #Constraints: 73562
2745.72/2753.74 c #Conflicts: 1568000 | #Constraints: 74562
2745.72/2753.74 c #Conflicts: 1569000 | #Constraints: 75562
2745.72/2753.74 c #Conflicts: 1570000 | #Constraints: 76562
2745.72/2753.74 c #Conflicts: 1571000 | #Constraints: 77562
2745.72/2753.74 c #Conflicts: 1572000 | #Constraints: 78562
2745.72/2753.74 c #Conflicts: 1573000 | #Constraints: 79562
2745.72/2753.74 c #Conflicts: 1574000 | #Constraints: 80562
2745.72/2753.74 c #Conflicts: 1575000 | #Constraints: 81562
2745.72/2753.74 c #Conflicts: 1576000 | #Constraints: 82562
2745.72/2753.74 c #Conflicts: 1577000 | #Constraints: 83562
2745.72/2753.74 c #Conflicts: 1578000 | #Constraints: 84562
2745.72/2753.74 c #Conflicts: 1579000 | #Constraints: 85562
2745.72/2753.74 c #Conflicts: 1580000 | #Constraints: 86562
2745.72/2753.74 c #Conflicts: 1581000 | #Constraints: 87562
2745.72/2753.74 c #Conflicts: 1582000 | #Constraints: 88562
2745.72/2753.74 c #Conflicts: 1583000 | #Constraints: 89562
2745.72/2753.74 c #Conflicts: 1584000 | #Constraints: 90562
2745.72/2753.74 c #Conflicts: 1585000 | #Constraints: 91562
2745.72/2753.74 c #Conflicts: 1586000 | #Constraints: 92562
2745.72/2753.74 c #Conflicts: 1587000 | #Constraints: 93562
2745.72/2753.74 c #Conflicts: 1588000 | #Constraints: 94562
2745.72/2753.74 c #Conflicts: 1589000 | #Constraints: 95562
2745.72/2753.74 c #Conflicts: 1590000 | #Constraints: 96562
2745.72/2753.74 c #Conflicts: 1591000 | #Constraints: 97562
2745.72/2753.74 c #Conflicts: 1592000 | #Constraints: 98562
2745.72/2753.74 c #Conflicts: 1593000 | #Constraints: 99562
2745.72/2753.74 c #Conflicts: 1594000 | #Constraints: 100562
2745.72/2753.74 c #Conflicts: 1595000 | #Constraints: 101562
2745.72/2753.74 c #Conflicts: 1596000 | #Constraints: 102562
2745.72/2753.74 c #Conflicts: 1597000 | #Constraints: 103562
2745.72/2753.74 c #Conflicts: 1598000 | #Constraints: 104562
2745.72/2753.74 c #Conflicts: 1599000 | #Constraints: 105562
2745.72/2753.74 c #Conflicts: 1600000 | #Constraints: 106562
2745.72/2753.74 c #Conflicts: 1601000 | #Constraints: 107562
2745.72/2753.74 c #Conflicts: 1602000 | #Constraints: 108562
2745.72/2753.74 c #Conflicts: 1603000 | #Constraints: 109562
2861.72/2870.10 c #Conflicts: 1604000 | #Constraints: 110562
2861.72/2870.10 c #Conflicts: 1605000 | #Constraints: 111562
2861.72/2870.10 c #Conflicts: 1606000 | #Constraints: 112562
2861.72/2870.10 c #Conflicts: 1607000 | #Constraints: 113562
2861.72/2870.10 c #Conflicts: 1608000 | #Constraints: 114562
2861.72/2870.10 c #Conflicts: 1609000 | #Constraints: 115562
2861.72/2870.10 c #Conflicts: 1610000 | #Constraints: 116562
2861.72/2870.10 c #Conflicts: 1611000 | #Constraints: 117562
2861.72/2870.10 c #Conflicts: 1612000 | #Constraints: 118562
2861.72/2870.10 c #Conflicts: 1613000 | #Constraints: 119562
2861.72/2870.10 c #Conflicts: 1614000 | #Constraints: 120562
2861.72/2870.10 c #Conflicts: 1615000 | #Constraints: 121562
2861.72/2870.10 c #Conflicts: 1616000 | #Constraints: 122562
2861.72/2870.10 c #Conflicts: 1617000 | #Constraints: 123562
2861.72/2870.10 c #Conflicts: 1618000 | #Constraints: 124562
2861.72/2870.10 c #Conflicts: 1619000 | #Constraints: 125562
2861.72/2870.10 c #Conflicts: 1620000 | #Constraints: 126562
2861.72/2870.10 c #Conflicts: 1621000 | #Constraints: 127562
2861.72/2870.10 c #Conflicts: 1622000 | #Constraints: 128562
2861.72/2870.10 c #Conflicts: 1623000 | #Constraints: 129562
2861.72/2870.10 c #Conflicts: 1624000 | #Constraints: 130562
2861.72/2870.10 c #Conflicts: 1625000 | #Constraints: 131562
2861.72/2870.10 c #Conflicts: 1626000 | #Constraints: 132562
2861.72/2870.10 c #Conflicts: 1627000 | #Constraints: 133562
2861.72/2870.10 c INPROCESSING
2861.72/2870.10 c GARBAGE COLLECT
2861.72/2870.10 c rational objective 92
2937.21/2945.71 c #Conflicts: 1628000 | #Constraints: 71202
2937.21/2945.71 c #Conflicts: 1629000 | #Constraints: 72202
2937.21/2945.71 c #Conflicts: 1630000 | #Constraints: 73202
2937.21/2945.71 c #Conflicts: 1631000 | #Constraints: 74202
2937.21/2945.71 c #Conflicts: 1632000 | #Constraints: 75202
2937.21/2945.71 c #Conflicts: 1633000 | #Constraints: 76202
2937.21/2945.71 c #Conflicts: 1634000 | #Constraints: 77202
2937.21/2945.71 c #Conflicts: 1635000 | #Constraints: 78202
2937.21/2945.71 c #Conflicts: 1636000 | #Constraints: 79202
2937.21/2945.71 c #Conflicts: 1637000 | #Constraints: 80202
2937.21/2945.71 c #Conflicts: 1638000 | #Constraints: 81202
2937.21/2945.71 c #Conflicts: 1639000 | #Constraints: 82202
2937.21/2945.71 c #Conflicts: 1640000 | #Constraints: 83202
2937.21/2945.71 c #Conflicts: 1641000 | #Constraints: 84202
2937.21/2945.71 c #Conflicts: 1642000 | #Constraints: 85202
2937.21/2945.71 c #Conflicts: 1643000 | #Constraints: 86202
2937.21/2945.71 c #Conflicts: 1644000 | #Constraints: 87202
2937.21/2945.71 c #Conflicts: 1645000 | #Constraints: 88202
2937.21/2945.71 c #Conflicts: 1646000 | #Constraints: 89202
2937.21/2945.71 c #Conflicts: 1647000 | #Constraints: 90202
2937.21/2945.71 c #Conflicts: 1648000 | #Constraints: 91202
2937.21/2945.71 c #Conflicts: 1649000 | #Constraints: 92202
2937.21/2945.71 c #Conflicts: 1650000 | #Constraints: 93202
2937.21/2945.71 c #Conflicts: 1651000 | #Constraints: 94202
2937.21/2945.71 c #Conflicts: 1652000 | #Constraints: 95202
2937.21/2945.71 c #Conflicts: 1653000 | #Constraints: 96202
2937.21/2945.71 c #Conflicts: 1654000 | #Constraints: 97202
2937.21/2945.71 c #Conflicts: 1655000 | #Constraints: 98202
2937.21/2945.71 c #Conflicts: 1656000 | #Constraints: 99202
2937.21/2945.71 c INPROCESSING
2937.21/2945.71 c GARBAGE COLLECT
2937.21/2945.71 c rational objective 92
2992.96/3001.67 c #Conflicts: 1657000 | #Constraints: 54263
2992.96/3001.67 c #Conflicts: 1658000 | #Constraints: 55263
2992.96/3001.67 c #Conflicts: 1659000 | #Constraints: 56263
2992.96/3001.67 c #Conflicts: 1660000 | #Constraints: 57263
2992.96/3001.67 c #Conflicts: 1661000 | #Constraints: 58263
2992.96/3001.67 c #Conflicts: 1662000 | #Constraints: 59263
2992.96/3001.67 c #Conflicts: 1663000 | #Constraints: 60263
2992.96/3001.67 c #Conflicts: 1664000 | #Constraints: 61263
2992.96/3001.67 c #Conflicts: 1665000 | #Constraints: 62263
2992.96/3001.67 c #Conflicts: 1666000 | #Constraints: 63263
2992.96/3001.67 c #Conflicts: 1667000 | #Constraints: 64263
2992.96/3001.67 c #Conflicts: 1668000 | #Constraints: 65263
2992.96/3001.67 c #Conflicts: 1669000 | #Constraints: 66263
2992.96/3001.67 c #Conflicts: 1670000 | #Constraints: 67263
2992.96/3001.67 c #Conflicts: 1671000 | #Constraints: 68263
2992.96/3001.67 c #Conflicts: 1672000 | #Constraints: 69263
2992.96/3001.67 c #Conflicts: 1673000 | #Constraints: 70263
2992.96/3001.67 c #Conflicts: 1674000 | #Constraints: 71263
2992.96/3001.67 c #Conflicts: 1675000 | #Constraints: 72263
2992.96/3001.67 c #Conflicts: 1676000 | #Constraints: 73263
2992.96/3001.67 c #Conflicts: 1677000 | #Constraints: 74263
2992.96/3001.67 c #Conflicts: 1678000 | #Constraints: 75263
2992.96/3001.67 c #Conflicts: 1679000 | #Constraints: 76263
2992.96/3001.67 c #Conflicts: 1680000 | #Constraints: 77263
2992.96/3001.67 c #Conflicts: 1681000 | #Constraints: 78263
2992.96/3001.67 c #Conflicts: 1682000 | #Constraints: 79263
2992.96/3001.67 c #Conflicts: 1683000 | #Constraints: 80263
2992.96/3001.67 c #Conflicts: 1684000 | #Constraints: 81263
2992.96/3001.67 c INPROCESSING
2992.96/3001.67 c GARBAGE COLLECT
2992.96/3001.67 c rational objective 92
3061.78/3070.62 c #Conflicts: 1685000 | #Constraints: 44890
3061.78/3070.62 c #Conflicts: 1686000 | #Constraints: 45890
3061.78/3070.62 c #Conflicts: 1687000 | #Constraints: 46890
3061.78/3070.62 c #Conflicts: 1688000 | #Constraints: 47890
3061.78/3070.62 c #Conflicts: 1689000 | #Constraints: 48890
3061.78/3070.62 c #Conflicts: 1690000 | #Constraints: 49890
3061.78/3070.62 c #Conflicts: 1691000 | #Constraints: 50890
3061.78/3070.62 c #Conflicts: 1692000 | #Constraints: 51891
3061.78/3070.62 c #Conflicts: 1693000 | #Constraints: 52891
3061.78/3070.62 c #Conflicts: 1694000 | #Constraints: 53891
3061.78/3070.62 c #Conflicts: 1695000 | #Constraints: 54891
3061.78/3070.62 c #Conflicts: 1696000 | #Constraints: 55891
3061.78/3070.62 c #Conflicts: 1697000 | #Constraints: 56891
3061.78/3070.62 c #Conflicts: 1698000 | #Constraints: 57891
3061.78/3070.62 c #Conflicts: 1699000 | #Constraints: 58891
3061.78/3070.62 c #Conflicts: 1700000 | #Constraints: 59891
3061.78/3070.62 c #Conflicts: 1701000 | #Constraints: 60891
3061.78/3070.62 c #Conflicts: 1702000 | #Constraints: 61891
3061.78/3070.62 c #Conflicts: 1703000 | #Constraints: 62891
3061.78/3070.62 c #Conflicts: 1704000 | #Constraints: 63891
3061.78/3070.62 c #Conflicts: 1705000 | #Constraints: 64891
3061.78/3070.62 c #Conflicts: 1706000 | #Constraints: 65891
3061.78/3070.62 c #Conflicts: 1707000 | #Constraints: 66891
3061.78/3070.62 c #Conflicts: 1708000 | #Constraints: 67891
3061.78/3070.62 c #Conflicts: 1709000 | #Constraints: 68891
3061.78/3070.62 c #Conflicts: 1710000 | #Constraints: 69891
3061.78/3070.62 c #Conflicts: 1711000 | #Constraints: 70891
3061.78/3070.62 c #Conflicts: 1712000 | #Constraints: 71891
3061.78/3070.62 c #Conflicts: 1713000 | #Constraints: 72891
3061.78/3070.62 c INPROCESSING
3061.78/3070.62 c GARBAGE COLLECT
3061.78/3070.62 c rational objective 92
3184.26/3193.42 c #Conflicts: 1714000 | #Constraints: 40695
3184.26/3193.42 c #Conflicts: 1715000 | #Constraints: 41695
3184.26/3193.42 c #Conflicts: 1716000 | #Constraints: 42695
3184.26/3193.42 c #Conflicts: 1717000 | #Constraints: 43695
3184.26/3193.42 c #Conflicts: 1718000 | #Constraints: 44695
3184.26/3193.42 c #Conflicts: 1719000 | #Constraints: 45695
3184.26/3193.42 c #Conflicts: 1720000 | #Constraints: 46695
3184.26/3193.42 c #Conflicts: 1721000 | #Constraints: 47695
3184.26/3193.42 c #Conflicts: 1722000 | #Constraints: 48695
3184.26/3193.42 c #Conflicts: 1723000 | #Constraints: 49695
3184.26/3193.42 c #Conflicts: 1724000 | #Constraints: 50695
3184.26/3193.42 c #Conflicts: 1725000 | #Constraints: 51695
3184.26/3193.42 c #Conflicts: 1726000 | #Constraints: 52695
3184.26/3193.42 c #Conflicts: 1727000 | #Constraints: 53695
3184.26/3193.42 c #Conflicts: 1728000 | #Constraints: 54695
3184.26/3193.42 c #Conflicts: 1729000 | #Constraints: 55695
3184.26/3193.42 c #Conflicts: 1730000 | #Constraints: 56695
3184.26/3193.42 c #Conflicts: 1731000 | #Constraints: 57695
3184.26/3193.42 c #Conflicts: 1732000 | #Constraints: 58695
3184.26/3193.42 c #Conflicts: 1733000 | #Constraints: 59695
3184.26/3193.42 c #Conflicts: 1734000 | #Constraints: 60695
3184.26/3193.42 c #Conflicts: 1735000 | #Constraints: 61695
3184.26/3193.42 c #Conflicts: 1736000 | #Constraints: 62695
3184.26/3193.42 c #Conflicts: 1737000 | #Constraints: 63695
3184.26/3193.42 c #Conflicts: 1738000 | #Constraints: 64695
3184.26/3193.42 c #Conflicts: 1739000 | #Constraints: 65695
3184.26/3193.42 c #Conflicts: 1740000 | #Constraints: 66695
3184.26/3193.42 c #Conflicts: 1741000 | #Constraints: 67695
3184.26/3193.42 c #Conflicts: 1742000 | #Constraints: 68695
3184.26/3193.42 c #Conflicts: 1743000 | #Constraints: 69695
3184.26/3193.42 c INPROCESSING
3184.26/3193.42 c GARBAGE COLLECT
3184.26/3193.42 c #Conflicts: 1744000 | #Constraints: 39470
3184.26/3193.42 c #Conflicts: 1745000 | #Constraints: 40470
3184.26/3193.42 c #Conflicts: 1746000 | #Constraints: 41470
3184.26/3193.42 c #Conflicts: 1747000 | #Constraints: 42470
3184.26/3193.42 c #Conflicts: 1748000 | #Constraints: 43470
3184.26/3193.42 c #Conflicts: 1749000 | #Constraints: 44470
3184.26/3193.42 c #Conflicts: 1750000 | #Constraints: 45470
3184.26/3193.42 c #Conflicts: 1751000 | #Constraints: 46470
3184.26/3193.42 c #Conflicts: 1752000 | #Constraints: 47470
3184.26/3193.42 c #Conflicts: 1753000 | #Constraints: 48470
3184.26/3193.42 c #Conflicts: 1754000 | #Constraints: 49470
3184.26/3193.42 c #Conflicts: 1755000 | #Constraints: 50470
3184.26/3193.42 c #Conflicts: 1756000 | #Constraints: 51470
3184.26/3193.42 c #Conflicts: 1757000 | #Constraints: 52470
3184.26/3193.42 c #Conflicts: 1758000 | #Constraints: 53470
3184.26/3193.42 c #Conflicts: 1759000 | #Constraints: 54470
3184.26/3193.42 c #Conflicts: 1760000 | #Constraints: 55470
3184.26/3193.42 c #Conflicts: 1761000 | #Constraints: 56470
3184.26/3193.42 c #Conflicts: 1762000 | #Constraints: 57470
3184.26/3193.42 c #Conflicts: 1763000 | #Constraints: 58470
3184.26/3193.42 c #Conflicts: 1764000 | #Constraints: 59470
3184.26/3193.42 c #Conflicts: 1765000 | #Constraints: 60470
3184.26/3193.42 c #Conflicts: 1766000 | #Constraints: 61470
3184.26/3193.42 c #Conflicts: 1767000 | #Constraints: 62470
3184.26/3193.42 c #Conflicts: 1768000 | #Constraints: 63470
3184.26/3193.42 c #Conflicts: 1769000 | #Constraints: 64470
3184.26/3193.42 c #Conflicts: 1770000 | #Constraints: 65470
3184.26/3193.42 c #Conflicts: 1771000 | #Constraints: 66470
3184.26/3193.42 c #Conflicts: 1772000 | #Constraints: 67470
3184.26/3193.42 c INPROCESSING
3184.26/3193.42 c GARBAGE COLLECT
3184.26/3193.42 c #Conflicts: 1773000 | #Constraints: 38089
3184.26/3193.42 c #Conflicts: 1774000 | #Constraints: 39089
3184.26/3193.42 c #Conflicts: 1775000 | #Constraints: 40089
3184.26/3193.42 c #Conflicts: 1776000 | #Constraints: 41089
3184.26/3193.42 c #Conflicts: 1777000 | #Constraints: 42089
3184.26/3193.42 c #Conflicts: 1778000 | #Constraints: 43089
3184.26/3193.42 c #Conflicts: 1779000 | #Constraints: 44089
3184.26/3193.42 c #Conflicts: 1780000 | #Constraints: 45089
3184.26/3193.42 c #Conflicts: 1781000 | #Constraints: 46089
3184.26/3193.42 c #Conflicts: 1782000 | #Constraints: 47089
3184.26/3193.42 c #Conflicts: 1783000 | #Constraints: 48089
3184.26/3193.42 c #Conflicts: 1784000 | #Constraints: 49089
3184.26/3193.42 c #Conflicts: 1785000 | #Constraints: 50089
3184.26/3193.42 c #Conflicts: 1786000 | #Constraints: 51089
3184.26/3193.42 c #Conflicts: 1787000 | #Constraints: 52089
3184.26/3193.42 c #Conflicts: 1788000 | #Constraints: 53089
3184.26/3193.42 c #Conflicts: 1789000 | #Constraints: 54089
3184.26/3193.42 c #Conflicts: 1790000 | #Constraints: 55089
3184.26/3193.42 c #Conflicts: 1791000 | #Constraints: 56089
3485.67/3495.64 c #Conflicts: 1792000 | #Constraints: 57089
3485.67/3495.64 c #Conflicts: 1793000 | #Constraints: 58089
3485.67/3495.64 c #Conflicts: 1794000 | #Constraints: 59089
3485.67/3495.64 c #Conflicts: 1795000 | #Constraints: 60089
3485.67/3495.64 c #Conflicts: 1796000 | #Constraints: 61089
3485.67/3495.64 c #Conflicts: 1797000 | #Constraints: 62089
3485.67/3495.64 c #Conflicts: 1798000 | #Constraints: 63089
3485.67/3495.64 c #Conflicts: 1799000 | #Constraints: 64089
3485.67/3495.64 c #Conflicts: 1800000 | #Constraints: 65089
3485.67/3495.64 c #Conflicts: 1801000 | #Constraints: 66089
3485.67/3495.64 c #Conflicts: 1802000 | #Constraints: 67089
3485.67/3495.64 c #Conflicts: 1803000 | #Constraints: 68089
3485.67/3495.64 c #Conflicts: 1804000 | #Constraints: 69089
3485.67/3495.64 c #Conflicts: 1805000 | #Constraints: 70089
3485.67/3495.64 c #Conflicts: 1806000 | #Constraints: 71089
3485.67/3495.64 c #Conflicts: 1807000 | #Constraints: 72089
3485.67/3495.64 c #Conflicts: 1808000 | #Constraints: 73089
3485.67/3495.64 c #Conflicts: 1809000 | #Constraints: 74089
3485.67/3495.64 c #Conflicts: 1810000 | #Constraints: 75089
3485.67/3495.64 c #Conflicts: 1811000 | #Constraints: 76089
3485.67/3495.64 c #Conflicts: 1812000 | #Constraints: 77089
3485.67/3495.64 c #Conflicts: 1813000 | #Constraints: 78089
3485.67/3495.64 c #Conflicts: 1814000 | #Constraints: 79089
3485.67/3495.64 c #Conflicts: 1815000 | #Constraints: 80089
3485.67/3495.64 c #Conflicts: 1816000 | #Constraints: 81089
3485.67/3495.64 c #Conflicts: 1817000 | #Constraints: 82089
3485.67/3495.64 c #Conflicts: 1818000 | #Constraints: 83089
3485.67/3495.64 c #Conflicts: 1819000 | #Constraints: 84089
3485.67/3495.64 c #Conflicts: 1820000 | #Constraints: 85089
3485.67/3495.64 c #Conflicts: 1821000 | #Constraints: 86089
3485.67/3495.64 c #Conflicts: 1822000 | #Constraints: 87089
3485.67/3495.64 c #Conflicts: 1823000 | #Constraints: 88089
3485.67/3495.64 c #Conflicts: 1824000 | #Constraints: 89089
3485.67/3495.64 c #Conflicts: 1825000 | #Constraints: 90089
3485.67/3495.64 c #Conflicts: 1826000 | #Constraints: 91089
3485.67/3495.64 c #Conflicts: 1827000 | #Constraints: 92089
3485.67/3495.64 c #Conflicts: 1828000 | #Constraints: 93089
3485.67/3495.64 c #Conflicts: 1829000 | #Constraints: 94089
3485.67/3495.64 c #Conflicts: 1830000 | #Constraints: 95089
3485.67/3495.64 c #Conflicts: 1831000 | #Constraints: 96089
3485.67/3495.64 c #Conflicts: 1832000 | #Constraints: 97089
3485.67/3495.64 c #Conflicts: 1833000 | #Constraints: 98089
3485.67/3495.64 c #Conflicts: 1834000 | #Constraints: 99089
3485.67/3495.64 c #Conflicts: 1835000 | #Constraints: 100089
3485.67/3495.64 c #Conflicts: 1836000 | #Constraints: 101089
3485.67/3495.64 c #Conflicts: 1837000 | #Constraints: 102089
3485.67/3495.64 c #Conflicts: 1838000 | #Constraints: 103089
3485.67/3495.64 c #Conflicts: 1839000 | #Constraints: 104089
3485.67/3495.64 c #Conflicts: 1840000 | #Constraints: 105089
3485.67/3495.64 c #Conflicts: 1841000 | #Constraints: 106089
3485.67/3495.64 c #Conflicts: 1842000 | #Constraints: 107089
3485.67/3495.64 c #Conflicts: 1843000 | #Constraints: 108089
3485.67/3495.64 c #Conflicts: 1844000 | #Constraints: 109089
3485.67/3495.64 c #Conflicts: 1845000 | #Constraints: 110089
3485.67/3495.64 c #Conflicts: 1846000 | #Constraints: 111089
3485.67/3495.64 c #Conflicts: 1847000 | #Constraints: 112089
3485.67/3495.64 c #Conflicts: 1848000 | #Constraints: 113089
3485.67/3495.64 c #Conflicts: 1849000 | #Constraints: 114089
3485.67/3495.64 c #Conflicts: 1850000 | #Constraints: 115089
3485.67/3495.64 c #Conflicts: 1851000 | #Constraints: 116089
3485.67/3495.64 c #Conflicts: 1852000 | #Constraints: 117089
3485.67/3495.64 c #Conflicts: 1853000 | #Constraints: 118089
3485.67/3495.64 c #Conflicts: 1854000 | #Constraints: 119089
3485.67/3495.64 c #Conflicts: 1855000 | #Constraints: 120089
3485.67/3495.64 c #Conflicts: 1856000 | #Constraints: 121089
3485.67/3495.64 c #Conflicts: 1857000 | #Constraints: 122089
3485.67/3495.64 c #Conflicts: 1858000 | #Constraints: 123089
3485.67/3495.64 c #Conflicts: 1859000 | #Constraints: 124089
3485.67/3495.64 c #Conflicts: 1860000 | #Constraints: 125089
3485.67/3495.64 c #Conflicts: 1861000 | #Constraints: 126089
3485.67/3495.64 c #Conflicts: 1862000 | #Constraints: 127089
3485.67/3495.64 c #Conflicts: 1863000 | #Constraints: 128089
3485.67/3495.64 c #Conflicts: 1864000 | #Constraints: 129089
3485.67/3495.64 c #Conflicts: 1865000 | #Constraints: 130089
3485.67/3495.64 c #Conflicts: 1866000 | #Constraints: 131089
3485.67/3495.64 c #Conflicts: 1867000 | #Constraints: 132089
3485.67/3495.64 c #Conflicts: 1868000 | #Constraints: 133089
3485.67/3495.64 c #Conflicts: 1869000 | #Constraints: 134089
3485.67/3495.64 c #Conflicts: 1870000 | #Constraints: 135089
3543.52/3553.67 c #Conflicts: 1871000 | #Constraints: 136089
3543.52/3553.67 c #Conflicts: 1872000 | #Constraints: 137089
3543.52/3553.67 c #Conflicts: 1873000 | #Constraints: 138089
3543.52/3553.67 c #Conflicts: 1874000 | #Constraints: 139089
3543.52/3553.67 c #Conflicts: 1875000 | #Constraints: 140089
3543.52/3553.67 c #Conflicts: 1876000 | #Constraints: 141089
3543.52/3553.67 c #Conflicts: 1877000 | #Constraints: 142089
3543.52/3553.67 c #Conflicts: 1878000 | #Constraints: 143089
3543.52/3553.67 c INPROCESSING
3543.52/3553.67 c GARBAGE COLLECT
3543.52/3553.67 c rational objective 92
3600.08/3610.30 c #Conflicts: 1879000 | #Constraints: 75862
3600.08/3610.30 c #Conflicts: 1880000 | #Constraints: 76862
3600.08/3610.30 c #Conflicts: 1881000 | #Constraints: 77862
3600.08/3610.30 c #Conflicts: 1882000 | #Constraints: 78862
3600.08/3610.30 c #Conflicts: 1883000 | #Constraints: 79862
3600.08/3610.30 c #Conflicts: 1884000 | #Constraints: 80862
3600.08/3610.30 c #Conflicts: 1885000 | #Constraints: 81862
3600.08/3610.30 c #Conflicts: 1886000 | #Constraints: 82862
3600.08/3610.30 c #Conflicts: 1887000 | #Constraints: 83862
3600.08/3610.30 c #Conflicts: 1888000 | #Constraints: 84862
3600.08/3610.30 c #Conflicts: 1889000 | #Constraints: 85862
3600.08/3610.30 c #Conflicts: 1890000 | #Constraints: 86862
3600.08/3610.30 c #Conflicts: 1891000 | #Constraints: 87862
3600.08/3610.30 c #Conflicts: 1892000 | #Constraints: 88862
3600.08/3610.30 c #Conflicts: 1893000 | #Constraints: 89862
3600.08/3610.30 c #Conflicts: 1894000 | #Constraints: 90862
3600.08/3610.30 c #Conflicts: 1895000 | #Constraints: 91862
3600.08/3610.30 c #Conflicts: 1896000 | #Constraints: 92862
3600.08/3610.30 c #Conflicts: 1897000 | #Constraints: 93862
3600.08/3610.30 c #Conflicts: 1898000 | #Constraints: 94862
3600.08/3610.30 c #Conflicts: 1899000 | #Constraints: 95862
3600.08/3610.30 c cpu time 3582.02 s
3600.08/3610.30 c deterministic time 266890732325 2.67e+11
3600.08/3610.30 c optimization time 55.2225 s
3600.08/3610.30 c total solve time 3526.71 s
3600.08/3610.30 c core-guided solve time 0 s
3600.08/3610.30 c propagation time 2033.28 s
3600.08/3610.30 c conflict analysis time 1341.72 s
3600.08/3610.30 c propagations 927643791
3600.08/3610.30 c resolve steps 84596321
3600.08/3610.30 c decisions 13844602
3600.08/3610.30 c conflicts 1899666
3600.08/3610.30 c restarts 3674
3600.08/3610.30 c inprocessing phases 85
3600.08/3610.30 c garbage collections 85 ,( 100.00 )
3600.08/3610.30 c input clauses 6350 ,( 98.57 )
3600.08/3610.30 c input cardinalities 92 ,( 1.43 )
3600.08/3610.30 c input general constraints 0 ,( 0.00 )
3600.08/3610.30 c input average constraint length 6.23
3600.08/3610.30 c input average constraint degree 1.94
3600.08/3610.30 c learned clauses 1461274 ,( 76.92 )
3600.08/3610.30 c learned cardinalities 30944 ,( 1.63 )
3600.08/3610.30 c learned general constraints 407480 ,( 21.45 )
3600.08/3610.30 c learned average constraint length 682.12
3600.08/3610.30 c learned average constraint degree 9433168.01
3600.08/3610.30 c watched CF 32, 64, 128, Arb: 132342 , 0 , 0 , 0
3600.08/3610.30 c counting CF 32, 64, 128, Arb: 275138 , 0 , 0 , 0
3600.08/3610.30 c watched constraints 132342 ,( 32.48 )
3600.08/3610.30 c counting constraints 275138 ,( 67.52 )
3600.08/3610.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1505639687 , 677064851 , 3352861031 ,( 152438070 , 3200422961 )
3600.08/3610.30 c gcd simplifications 1188
3600.08/3610.30 c detected cardinalities 1897
3600.08/3610.30 c weakened non-implied lits 370952203
3600.08/3610.30 c weakened non-implying lits 263540
3600.08/3610.30 c original variables 6256
3600.08/3610.30 c clausal propagations 346486542
3600.08/3610.30 c cardinality propagations 349751873
3600.08/3610.30 c watched propagations 4834517
3600.08/3610.30 c counting propagations 220114684
3600.08/3610.30 c watch lookups 145769270085
3600.08/3610.30 c watch backjump lookups 0
3600.08/3610.30 c watch checks 39678641819
3600.08/3610.30 c propagation checks 75035382015
3600.08/3610.30 c constraint additions 4522189617
3600.08/3610.30 c trail pops 943382240
3600.08/3610.30 c formula constraints 6442
3600.08/3610.30 c learned constraints 1899653
3600.08/3610.30 c bound constraints 0
3600.08/3610.30 c core-guided constraints 0
3600.08/3610.30 c encountered formula constraints 50106263
3600.08/3610.30 c encountered learned constraints 36389623
3600.08/3610.30 c encountered bound constraints 0
3600.08/3610.30 c encountered core-guided constraints 0
3600.08/3610.30 c LP total time 162.315 s
3600.08/3610.30 c LP solve time 140.43 s
3600.08/3610.30 c LP constraints added 8443
3600.08/3610.30 c LP constraints removed 1878
3600.08/3610.30 c LP pivots internal 192250
3600.08/3610.30 c LP pivots root 185905
3600.08/3610.30 c LP calls 50
3600.08/3610.30 c LP optimalities 33
3600.08/3610.30 c LP no pivot count 2
3600.08/3610.30 c LP infeasibilities 12
3600.08/3610.30 c LP valid Farkas constraints 12
3600.08/3610.30 c LP learned Farkas constraints 12
3600.08/3610.30 c LP basis resets 0
3600.08/3610.30 c LP cycling count 0
3600.08/3610.30 c LP singular count 0
3600.08/3610.30 c LP no primal count 0
3600.08/3610.30 c LP no farkas count 0
3600.08/3610.30 c LP other issue count 0
3600.08/3610.30 c LP Gomory cuts 21
3600.08/3610.30 c LP learned cuts 2060
3600.08/3610.30 c LP deleted cuts 1988
3600.08/3610.30 c LP encountered Gomory constraints 28
3600.08/3610.30 c LP encountered Farkas constraints 50
3600.08/3610.30 c LP encountered learned Farkas constraints 11
3600.08/3610.30 c CG auxiliary variables introduced 0
3600.08/3610.30 c CG solutions found 0
3600.08/3610.30 c CG cores constructed 0
3600.08/3610.30 c CG core cardinality constraints returned 0
3600.08/3610.30 c CG unit cores 0
3600.08/3610.30 c CG single cores 0
3600.08/3610.30 c CG blocks removed during cardinality reduction 0
3600.08/3610.30 c CG first core best 0
3600.08/3610.30 c CG decision core best 0
3600.08/3610.30 c CG core reduction tie 0
3600.08/3610.30 c CG core degree average 0.00
3600.08/3610.30 c CG core slack average 0.00
3600.08/3610.30 c CG core upper bound improvements 0
3600.08/3610.30 c STR number of successful calls 0
3600.08/3610.30 c STR number of unsuccessful calls 0
3600.08/3610.30 c STR number of inconclusive calls 0
3600.08/3610.30 c STR number of successful attempts 0
3600.08/3610.30 c STR number of unsuccessful attempts 0
3600.08/3610.30 c STR number of inconclusive attempts 0
3600.08/3610.30 c STR average degree increase per successful call inf
3600.08/3610.30 c STR average degree increase per successful attempt inf
3600.08/3610.30 c STR total number of conflicts for successful attempts 0
3600.08/3610.30 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.30 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.30 c STR average number of conflicts per successful attempt inf
3600.08/3610.30 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.30 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.30 c AVG.sumWPerc 59.52
3600.08/3610.30 c bigint constraints 0
3600.08/3610.30 s UNKNOWN
3600.08/3610.30 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: 63794 MiB (62260 MiB free)
memory of node 1: 64507 MiB (63945 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507302-1751176273/watcher-4507302-1751176273 -o /tmp/evaluation-result-4507302-1751176273/solver-4507302-1751176273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20702 --watchdog 3760 run-dec-ls.sh HOME/instance-4507302-1751176273.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21540, runsolver pid=21537
[startup+0.100072 s]*
/proc/loadavg: 4.10 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129232100/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=62692 memory=18216 CPUtime=0.08 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 2297 0 0 0 6 2 0 0 20 0 1 0 33306218 64196608 4554 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 15673 4554 2240 1147 0 3100 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66884 KiB
Current children cumulated memory: 21160 KiB
[startup+0.214779 s]*
/proc/loadavg: 4.10 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129226556/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=72684 memory=27252 CPUtime=0.18 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 4866 0 0 0 15 3 0 0 20 0 1 0 33306218 74428416 6813 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 18171 6813 2272 1147 0 5598 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 76876 KiB
Current children cumulated memory: 30196 KiB
[startup+0.313557 s]*
/proc/loadavg: 4.10 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129226308/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=73384 memory=27892 CPUtime=0.28 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 5046 0 0 0 25 3 0 0 20 0 1 0 33306218 75145216 6973 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 18346 6973 2272 1147 0 5773 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77576 KiB
Current children cumulated memory: 30836 KiB
[startup+0.700391 s]
/proc/loadavg: 4.10 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129226308/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=73384 memory=28276 CPUtime=0.65 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 5137 0 0 0 61 4 0 0 20 0 1 0 33306218 75145216 7069 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 18346 7069 2272 1147 0 5773 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 77576 KiB
Current children cumulated memory: 31220 KiB
[startup+1.50042 s]
/proc/loadavg: 4.10 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129216052/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=73900 memory=28532 CPUtime=1.45 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 5207 0 0 0 141 4 0 0 20 0 1 0 33306218 75673600 7133 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 18475 7133 2272 1147 0 5902 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 78092 KiB
Current children cumulated memory: 31476 KiB
[startup+3.11303 s]
/proc/loadavg: 4.10 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129205852/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=77532 memory=34404 CPUtime=3.06 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 6110 0 0 0 298 8 0 0 20 0 1 0 33306218 79392768 8601 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 19383 8601 2336 1147 0 6810 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 81724 KiB
Current children cumulated memory: 37348 KiB
[startup+6.30041 s]
/proc/loadavg: 4.09 4.28 4.25 5/254 21542
/proc/meminfo: memFree=129194764/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=86784 memory=43248 CPUtime=6.24 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 7788 0 0 0 607 17 0 0 20 0 1 0 33306218 88866816 10812 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 21696 10812 2336 1147 0 9123 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 90976 KiB
Current children cumulated memory: 46192 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129178160/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=94212 memory=49484 CPUtime=12.61 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 8865 0 0 0 1233 28 0 0 20 0 1 0 33306218 96473088 12371 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 23553 12371 2336 1147 0 10980 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 98404 KiB
Current children cumulated memory: 52428 KiB
[startup+25.5004 s]
/proc/loadavg: 4.21 4.29 4.25 5/254 21542
/proc/meminfo: memFree=129156240/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=99100 memory=54860 CPUtime=25.38 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 10161 0 0 0 2487 51 0 0 20 0 1 0 33306218 101478400 13715 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 24775 13715 2368 1147 0 12202 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 103292 KiB
Current children cumulated memory: 57804 KiB
[startup+51.1131 s]
/proc/loadavg: 4.14 4.27 4.24 5/254 21543
/proc/meminfo: memFree=129069484/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=133496 memory=85956 CPUtime=50.93 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 14886 0 0 0 4994 99 0 0 20 0 1 0 33306218 136699904 21489 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 33374 21489 2368 1147 0 20801 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 137688 KiB
Current children cumulated memory: 88900 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.24 4.23 5/254 21545
/proc/meminfo: memFree=128902720/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=175444 memory=130324 CPUtime=101.98 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 20868 0 0 0 10042 156 0 0 20 0 1 0 33306218 179654656 32581 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 43861 32581 2368 1147 0 31288 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 179636 KiB
Current children cumulated memory: 133268 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.23 4.23 5/254 21547
/proc/meminfo: memFree=128802640/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=240052 memory=184348 CPUtime=161.81 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 29272 0 0 0 15965 216 0 0 20 0 1 0 33306218 245813248 46087 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 60013 46087 2368 1147 0 47440 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 244244 KiB
Current children cumulated memory: 187292 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.20 4.22 5/254 21549
/proc/meminfo: memFree=128661692/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=303056 memory=235808 CPUtime=221.64 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 32973 0 0 0 21904 260 0 0 20 0 1 0 33306218 310329344 58952 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 75764 58952 2368 1147 0 63191 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/21542/statm: 231734 184559 2368 1147 0 219161 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 931128 KiB
Current children cumulated memory: 741180 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.14 4.16 5/253 21746
/proc/meminfo: memFree=126820404/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=928072 memory=739132 CPUtime=3153.24 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 75890 0 0 0 313648 1676 0 0 20 0 1 0 33306218 950345728 184783 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 232018 184783 2368 1147 0 219445 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 932264 KiB
Current children cumulated memory: 742076 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/253 21748
/proc/meminfo: memFree=126788080/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=928072 memory=739260 CPUtime=3213.08 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 75917 0 0 0 319596 1712 0 0 20 0 1 0 33306218 950345728 184815 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 232018 184815 2368 1147 0 219445 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 932264 KiB
Current children cumulated memory: 742204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/253 21750
/proc/meminfo: memFree=126746164/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=928072 memory=739260 CPUtime=3272.93 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 75917 0 0 0 325557 1736 0 0 20 0 1 0 33306218 950345728 184815 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 232018 184815 2368 1147 0 219445 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 932264 KiB
Current children cumulated memory: 742204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/253 21752
/proc/meminfo: memFree=126734324/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=928204 memory=739516 CPUtime=3332.77 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 75965 0 0 0 331527 1750 0 0 20 0 1 0 33306218 950480896 184879 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 232051 184879 2368 1147 0 219478 0
Current children cumulated CPU time: 3332.77 s
Current children cumulated vsize: 932396 KiB
Current children cumulated memory: 742460 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/254 21757
/proc/meminfo: memFree=126743612/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=941296 memory=747324 CPUtime=3392.61 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 78057 0 0 0 337499 1762 0 0 20 0 1 0 33306218 963887104 186831 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 235324 186831 2368 1147 0 222751 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 945488 KiB
Current children cumulated memory: 750268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/254 21763
/proc/meminfo: memFree=126730032/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=950128 memory=752828 CPUtime=3452.46 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 79471 0 0 0 343474 1772 0 0 20 0 1 0 33306218 972931072 188207 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 237532 188207 2368 1147 0 224959 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 954320 KiB
Current children cumulated memory: 755772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/255 21766
/proc/meminfo: memFree=126709472/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=971636 memory=766012 CPUtime=3512.3 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 82795 0 0 0 349450 1780 0 0 20 0 1 0 33306218 994955264 191503 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 242909 191503 2368 1147 0 230336 0
Current children cumulated CPU time: 3512.3 s
Current children cumulated vsize: 975828 KiB
Current children cumulated memory: 768956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/255 21768
/proc/meminfo: memFree=126685328/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=987660 memory=777532 CPUtime=3572.15 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 85681 0 0 0 355417 1798 0 0 20 0 1 0 33306218 1011363840 194383 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 246915 194383 2368 1147 0 234342 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 991852 KiB
Current children cumulated memory: 780476 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/244 21829
/proc/meminfo: memFree=128895336/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=987660 memory=777532 CPUtime=3600.08 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 85681 0 0 0 358202 1806 0 0 20 0 1 0 33306218 1011363840 194383 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 246915 194383 2368 1147 0 234342 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 991852 KiB
Current children cumulated memory: 780476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 21540 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.002413 s
[startup+3610.31 s]
# the end of solver process 21542 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.02 s, system=18.0718 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/244 21829
/proc/meminfo: memFree=128895336/131382112 swapFree=33010684/33010684
[pid=21540] ppid=21537 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/21540/stat : 21540 (run-dec-ls.sh) S 21537 21540 20691 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 33306217 4292608 736 18446744073709551615 94657179791360 94657180685893 140732737320528 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94657180924944 94657180972688 94657192443904 140732737325415 140732737325541 140732737325541 140732737331143 0
/proc/21540/statm: 1048 736 672 219 0 110 0
[pid=21542] ppid=21540 vsize=987660 memory=777532 CPUtime=3600.08 cores=4,6
/proc/21542/stat : 21542 (roundingsat) R 21540 21540 20691 0 -1 4194304 85681 0 0 0 358202 1806 0 0 20 0 1 0 33306218 1011363840 194383 18446744073709551615 4227072 8923433 140725427653408 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 15519744 140725427661216 140725427661352 140725427661352 140725427666922 0
/proc/21542/statm: 246915 194383 2368 1147 0 234342 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 991852 KiB
Current children cumulated memory: 780476 KiB
Child status: 2
Real time (s): 3610.31
CPU time (s): 3600.09
CPU user time (s): 3582.02
CPU system time (s): 18.0718
CPU usage (%): 99.717
Max. virtual memory (cumulated for all children) (KiB): 991852
Max. memory (cumulated for all children) (KiB): 780476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.02
system time used= 18.0718
maximum resident set size= 777916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85909
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= 324
involuntary context switches= 2584
# summary of solver processes directly reported to runsolver:
# pid: 21540,21542
# total CPU time (s): 3600.09
# total CPU user time (s): 3582.02
# total CPU system time (s): 18.0718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6318 second user time and 35.9434 second system time
The end
Begin job on nodeC001 at 2025-06-29 07:51:13
IDJOB=4507302
IDBENCH=158341
IDSOLVER=3353
FILE ID=nodeC001/4507302-1751176273
RUNJOBID= nodeC001-1751169047-20702
SLURM_JOB_ID= 9587516
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507302-1751176273/watcher-4507302-1751176273 -o /tmp/evaluation-result-4507302-1751176273/solver-4507302-1751176273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751169047-20702 --watchdog 3760 run-dec-ls.sh HOME/instance-4507302-1751176273.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bf652578c2f1d207084d270794d0d34
RANDOM SEED=1035645472
nodeC001 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 : 0xb00001f
cpu MHz : 3612.618
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 2394.336
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.370
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1198.168
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3491.747
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 3491.945
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.685
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
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 : 0xb00001f
cpu MHz : 1197.304
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129236116 kB
MemAvailable: 128889684 kB
Buffers: 3280 kB
Cached: 464900 kB
SwapCached: 0 kB
Active: 1336016 kB
Inactive: 219956 kB
Active(anon): 1105756 kB
Inactive(anon): 0 kB
Active(file): 230260 kB
Inactive(file): 219956 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 24176 kB
Writeback: 0 kB
AnonPages: 1089500 kB
Mapped: 115164 kB
Shmem: 17960 kB
KReclaimable: 85572 kB
Slab: 165996 kB
SReclaimable: 85572 kB
SUnreclaim: 80424 kB
KernelStack: 4140 kB
PageTables: 5476 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1586244 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 516096 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433044 MiB
End job on nodeC001 at 2025-06-29 08:51:24