(1,13) (2,3) (4,8) (5,10) (7,14) (9,28) (11,22) (12,30) (15,25) (16,21) (17,19) (20,27) (23,29) (24,26) 
nodes: 2538  conflicts: 30  modelTime: 1697  solveTime: 10541  totalTime: 12360  modelSize: 72265  readTime: 122 size: 14