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