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