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