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