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