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