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