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