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