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