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