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