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