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