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