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