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