(1,27) (4,24) (5,22) (6,18) (7,30) (10,26) (11,29) (12,28) (13,16) (14,25) (15,21) 
nodes: 1512  conflicts: 48  modelTime: 663  solveTime: 1387  totalTime: 2056  modelSize: 41293  readTime: 6 size: 11