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