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