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