(1,24) (2,7) (3,18) (5,27) (8,28) (9,26) (10,20) (11,15) (12,14) (16,21) (17,23) (19,29) 
nodes: 2627  conflicts: 95  modelTime: 1166  solveTime: 7256  totalTime: 8437  modelSize: 72262  readTime: 14 size: 12