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