(1,30) (3,23) (4,27) (5,21) (6,29) (7,17) (8,25) (9,28) (10,16) (12,20) (14,18) 
nodes: 531  conflicts: 54  modelTime: 722  solveTime: 581  totalTime: 1311  modelSize: 41300  readTime: 8 size: 11