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