(1,29) (2,16) (3,28) (4,19) (6,27) (7,24) (8,18) (9,17) (10,21) (11,25) (12,30) (13,23) (14,20) (15,22) 
nodes: 3526  conflicts: 17  modelTime: 1186  solveTime: 9569  totalTime: 10764  modelSize: 41292  readTime: 9 size: 14