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