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