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