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