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