(1,4) (2,17) (3,20) (5,19) (7,25) (8,12) (9,24) (11,18) (14,23) (15,22) (16,28) (26,30) (27,29) 
nodes: 827  conflicts: 63  modelTime: 950  solveTime: 3959  totalTime: 4920  modelSize: 72263  readTime: 11 size: 13