(1,3) (2,25) (4,23) (5,6) (7,17) (8,16) (9,20) (10,19) (11,27) (12,21) (13,28) (14,30) (15,22) (18,26) (24,29) 
nodes: 17968  conflicts: 34  modelTime: 1716  solveTime: 87200  totalTime: 88933  modelSize: 72274  readTime: 17 size: 15