(1,30) (2,16) (4,28) (5,25) (6,18) (7,29) (8,24) (9,19) (10,21) (11,27) (12,20) (13,22) (14,17) (15,23) 
nodes: 5283  conflicts: 33  modelTime: 660  solveTime: 8583  totalTime: 9249  modelSize: 41293  readTime: 6 size: 14