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