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