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