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