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