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