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