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