(1,8) (2,30) (4,7) (5,18) (9,14) (11,22) (12,29) (13,15) (17,21) (19,24) (20,23) (26,28) 
nodes: 1865  conflicts: 98  modelTime: 936  solveTime: 5520  totalTime: 6467  modelSize: 72266  readTime: 11 size: 12