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