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