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