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