(1,16) (2,28) (3,15) (4,29) (5,8) (6,30) (7,21) (9,11) (10,27) (12,22) (13,14) (17,20) (18,19) (23,26) (24,25) 
nodes: 10605  conflicts: 35  modelTime: 938  solveTime: 32956  totalTime: 33904  modelSize: 72275  readTime: 10 size: 15