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