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