(1,9) (4,18) (5,8) (6,22) (7,26) (10,21) (11,30) (12,13) (15,17) (19,24) (20,25) (23,28) 
nodes: 460  conflicts: 132  modelTime: 1562  solveTime: 5204  totalTime: 6786  modelSize: 72262  readTime: 20 size: 12