(1,3) (2,8) (4,13) (6,21) (7,25) (9,14) (10,20) (11,27) (15,26) (17,30) (18,28) (19,22) (24,29) 
nodes: 12681  conflicts: 72  modelTime: 936  solveTime: 42426  totalTime: 43373  modelSize: 72262  readTime: 11 size: 13