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