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