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