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