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