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