(2,27) (3,14) (4,6) (7,12) (8,30) (9,21) (10,18) (11,22) (13,15) (16,20) (17,28) (19,26) (23,25) (24,29) 
nodes: 62676  conflicts: 31  modelTime: 1749  solveTime: 305896  totalTime: 307665  modelSize: 72269  readTime: 19 size: 14