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