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