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