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