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