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