(1,20) (2,28) (3,22) (4,17) (5,23) (6,30) (8,26) (9,18) (10,29) (11,21) (13,19) (14,27) 
nodes: 4631  conflicts: 48  modelTime: 657  solveTime: 6899  totalTime: 7563  modelSize: 41293  readTime: 7 size: 12