(1,3) (2,17) (5,21) (6,14) (7,20) (8,29) (9,26) (11,15) (13,22) (16,24) (18,28) (19,25) (27,30) 
nodes: 3234  conflicts: 53  modelTime: 1724  solveTime: 13391  totalTime: 15137  modelSize: 72264  readTime: 22 size: 13