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