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