(1,26) (2,24) (4,18) (5,17) (6,30) (7,21) (8,23) (9,19) (10,27) (11,29) (13,20) (14,16) (15,22) 
nodes: 16106  conflicts: 36  modelTime: 656  solveTime: 28197  totalTime: 28859  modelSize: 41293  readTime: 6 size: 13