(2,14) (3,7) (4,16) (5,12) (6,19) (9,13) (10,27) (15,24) (17,28) (21,22) (23,26) (25,29) 
nodes: 4093  conflicts: 92  modelTime: 1730  solveTime: 17247  totalTime: 19001  modelSize: 72262  readTime: 24 size: 12