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