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