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