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