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