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