(1,11) (2,3) (4,10) (5,6) (7,13) (8,18) (9,29) (12,28) (14,19) (15,30) (17,26) (21,22) (23,27) (24,25) 
nodes: 46253  conflicts: 37  modelTime: 1657  solveTime: 255033  totalTime: 256709  modelSize: 72275  readTime: 18 size: 14