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