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