(1,15) (2,4) (3,6) (5,23) (7,12) (8,28) (9,29) (10,17) (11,24) (16,20) (18,25) (19,26) (21,30) 
nodes: 3671  conflicts: 78  modelTime: 2037  solveTime: 15275  totalTime: 17332  modelSize: 72264  readTime: 20 size: 13