(1,6) (2,15) (3,28) (4,17) (5,13) (7,18) (8,19) (9,21) (10,12) (11,26) (14,29) (16,22) (20,23) (24,30) (25,27) 
nodes: 140799  conflicts: 7  modelTime: 1380  solveTime: 791084  totalTime: 792479  modelSize: 72264  readTime: 15 size: 15