(1,29) (2,13) (4,24) (5,15) (6,25) (7,9) (8,12) (11,30) (14,16) (17,21) (18,23) (22,26) (27,28) 
nodes: 10419  conflicts: 87  modelTime: 1097  solveTime: 39761  totalTime: 40879  modelSize: 72266  readTime: 21 size: 13