(2,8) (3,19) (4,16) (5,29) (6,23) (7,21) (9,26) (10,27) (11,17) (12,20) (14,25) (15,28) (18,22) (24,30) 
nodes: 85041  conflicts: 54  modelTime: 971  solveTime: 376352  totalTime: 377334  modelSize: 72269  readTime: 11 size: 14