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