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