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