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