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