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