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