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