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