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