(1,23) (2,26) (3,19) (5,21) (6,17) (7,28) (8,20) (9,25) (11,30) (12,29) (14,18) (15,27) 
nodes: 1496  conflicts: 59  modelTime: 663  solveTime: 2128  totalTime: 2798  modelSize: 41292  readTime: 7 size: 12