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