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