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