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