(1,12) (2,26) (3,8) (4,16) (5,17) (6,14) (7,22) (9,24) (10,27) (11,13) (15,30) (18,21) (19,28) (20,25) (23,29) 
nodes: 4143  conflicts: 3  modelTime: 1666  solveTime: 28808  totalTime: 30488  modelSize: 72264  readTime: 14 size: 15