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