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