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