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