(1,25) (2,7) (3,12) (4,28) (5,20) (6,22) (8,29) (9,15) (10,13) (11,17) (14,18) (16,30) (19,24) (21,27) (23,26) 
nodes: 84578  conflicts: 37  modelTime: 1713  solveTime: 371666  totalTime: 373399  modelSize: 72268  readTime: 19 size: 15