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