(1,23) (2,26) (3,17) (4,28) (5,20) (6,27) (7,24) (8,18) (9,16) (10,29) (11,21) (12,19) (13,30) (14,22) (15,25) 
nodes: 32867  conflicts: 13  modelTime: 1195  solveTime: 106304  totalTime: 107508  modelSize: 41292  readTime: 9 size: 15