(1,3) (2,26) (4,16) (5,14) (6,25) (7,15) (8,21) (9,30) (10,22) (11,20) (12,19) (17,27) (23,29) (24,28) 
nodes: 8483  conflicts: 52  modelTime: 1758  solveTime: 34991  totalTime: 36769  modelSize: 72262  readTime: 20 size: 14