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