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