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