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