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