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