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