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