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