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