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