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