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