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