(1,11) (2,6) (3,4) (5,27) (7,13) (8,9) (12,15) (14,28) (17,24) (18,19) (20,21) (22,26) (23,30) (25,29) 
nodes: 88520  conflicts: 34  modelTime: 949  solveTime: 312945  totalTime: 313905  modelSize: 72268  readTime: 11 size: 14