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