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