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