(1,26) (2,27) (3,21) (4,29) (5,22) (6,23) (7,19) (8,18) (9,28) (11,16) (12,24) (13,25) (14,30) (15,20) 
nodes: 1042  conflicts: 21  modelTime: 659  solveTime: 1383  totalTime: 2048  modelSize: 41293  readTime: 6 size: 14