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