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