(1,10) (2,21) (3,17) (4,15) (5,14) (6,7) (9,27) (11,24) (12,13) (16,18) (19,20) (22,30) (23,29) (25,26) 
nodes: 102490  conflicts: 47  modelTime: 1725  solveTime: 377854  totalTime: 379597  modelSize: 72269  readTime: 18 size: 14