(1,26) (2,22) (3,21) (4,27) (5,20) (6,29) (7,17) (8,28) (9,19) (10,16) (11,23) (12,25) (13,24) (14,18) (15,30) 
nodes: 1137  conflicts: 0  modelTime: 1096  solveTime: 1345  totalTime: 2448  modelSize: 41293  readTime: 6 size: 15