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