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