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