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