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