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