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