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