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