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