(1,27) (2,24) (3,16) (4,19) (5,22) (6,30) (7,29) (8,28) (9,23) (10,25) (11,18) (14,21) (15,17) 
nodes: 2324  conflicts: 48  modelTime: 981  solveTime: 5446  totalTime: 6435  modelSize: 41293  readTime: 8 size: 13