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