(1,16) (2,4) (3,27) (5,20) (6,7) (8,26) (9,19) (10,13) (11,28) (15,22) (17,29) (18,24) (21,30) (23,25) 
nodes: 12805  conflicts: 27  modelTime: 1704  solveTime: 68612  totalTime: 70334  modelSize: 72265  readTime: 18 size: 14