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