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