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