(1,29) (2,25) (3,28) (4,19) (5,27) (6,21) (7,16) (9,18) (10,30) (11,17) (13,24) (14,22) (15,23) 
nodes: 8904  conflicts: 36  modelTime: 656  solveTime: 15464  totalTime: 16126  modelSize: 41292  readTime: 6 size: 13