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