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