(1,6) (2,9) (4,16) (7,22) (8,15) (10,28) (11,23) (12,26) (13,29) (17,25) (18,19) (24,27) 
nodes: 2973  conflicts: 88  modelTime: 1378  solveTime: 17626  totalTime: 19024  modelSize: 72262  readTime: 20 size: 12