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