(1,29) (4,20) (5,25) (6,27) (7,24) (8,18) (9,17) (12,26) (13,28) (15,30) 
nodes: 315  conflicts: 80  modelTime: 666  solveTime: 584  totalTime: 1257  modelSize: 41300  readTime: 7 size: 10