(2,20) (3,28) (4,26) (5,25) (6,22) (7,17) (8,18) (9,16) (10,29) (12,27) (13,21) (14,24) (15,30) 
nodes: 92432  conflicts: 28  modelTime: 661  solveTime: 164510  totalTime: 165176  modelSize: 41293  readTime: 5 size: 13