(1,9) (2,14) (3,18) (4,17) (5,29) (6,21) (7,22) (8,24) (11,15) (12,27) (13,16) (20,30) (23,26) (25,28) 
nodes: 3586  conflicts: 42  modelTime: 989  solveTime: 11252  totalTime: 12252  modelSize: 72262  readTime: 11 size: 14