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