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