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