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