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