(2,6) (3,13) (5,21) (7,15) (8,14) (9,22) (10,28) (11,19) (12,25) (16,30) (17,29) (18,20) (23,27) (24,26) 
nodes: 120471  conflicts: 47  modelTime: 1730  solveTime: 556378  totalTime: 558128  modelSize: 72272  readTime: 20 size: 14