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