(1,3) (2,27) (5,13) (7,19) (8,21) (9,15) (11,29) (12,28) (14,22) (18,23) (20,30) (24,25) 
nodes: 887  conflicts: 76  modelTime: 948  solveTime: 4340  totalTime: 5300  modelSize: 72266  readTime: 12 size: 12