(1,16) (2,9) (3,28) (5,21) (6,27) (8,14) (11,29) (12,25) (17,23) (18,20) (19,22) (24,30) 
nodes: 3241  conflicts: 100  modelTime: 934  solveTime: 7784  totalTime: 8749  modelSize: 72262  readTime: 31 size: 12