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