(1,2) (3,27) (4,21) (5,30) (6,8) (7,14) (9,28) (10,22) (11,18) (12,20) (13,29) (15,26) (16,19) (17,25) (23,24) 
nodes: 34439  conflicts: 47  modelTime: 1700  solveTime: 133496  totalTime: 135216  modelSize: 72271  readTime: 20 size: 15