(1,5) (2,20) (3,30) (4,6) (7,14) (8,15) (9,18) (10,24) (11,22) (12,21) (16,28) (17,29) (26,27) 
nodes: 1269  conflicts: 88  modelTime: 939  solveTime: 3875  totalTime: 4825  modelSize: 72266  readTime: 11 size: 13