(1,24) (2,29) (3,17) (4,25) (5,27) (6,19) (8,22) (9,23) (10,21) (11,20) (12,30) (13,16) (14,26) (15,18) 
nodes: 6856  conflicts: 27  modelTime: 660  solveTime: 11457  totalTime: 12123  modelSize: 41293  readTime: 6 size: 14