(1,2) (3,5) (4,6) (7,17) (8,11) (9,28) (10,21) (12,23) (13,29) (14,16) (18,22) (19,30) (24,26) (25,27) 
nodes: 37185  conflicts: 44  modelTime: 940  solveTime: 132709  totalTime: 133659  modelSize: 72265  readTime: 10 size: 14