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