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