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