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