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