(1,29) (2,28) (3,16) (6,27) (7,20) (8,30) (9,19) (10,18) (11,25) (12,22) (13,26) (14,21) (15,17) 
nodes: 1706  conflicts: 52  modelTime: 663  solveTime: 2118  totalTime: 2787  modelSize: 41293  readTime: 6 size: 13