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