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