(1,9) (2,15) (3,10) (4,7) (5,12) (6,18) (8,27) (11,13) (14,23) (16,29) (17,20) (19,21) (22,24) (25,26) (28,30) 
nodes: 6411  conflicts: 69  modelTime: 1717  solveTime: 27173  totalTime: 28911  modelSize: 72262  readTime: 21 size: 15