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