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