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