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