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