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