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