(1,28) (2,17) (3,20) (4,19) (5,23) (6,21) (7,14) (8,25) (10,22) (11,26) (12,13) (15,29) (18,24) (27,30) 
nodes: 7309  conflicts: 51  modelTime: 954  solveTime: 20783  totalTime: 21748  modelSize: 72263  readTime: 11 size: 14