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