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