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