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