(1,2) (3,4) (5,26) (6,9) (7,13) (8,15) (10,12) (11,30) (14,18) (16,22) (17,23) (19,29) (20,25) (21,28) (24,27) 
nodes: 126567  conflicts: 48  modelTime: 967  solveTime: 537649  totalTime: 538628  modelSize: 72262  readTime: 11 size: 15