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