(1,24) (2,22) (3,16) (5,28) (6,26) (7,21) (8,20) (9,18) (10,19) (11,23) (12,29) (13,30) (14,27) (15,25) 
nodes: 18443  conflicts: 31  modelTime: 688  solveTime: 49899  totalTime: 50593  modelSize: 41293  readTime: 6 size: 14