(1,2) (3,27) (4,5) (6,28) (7,9) (8,16) (10,11) (12,24) (13,14) (15,29) (17,22) (18,23) (19,21) (20,25) (26,30) 
nodes: 93738  conflicts: 4  modelTime: 1091  solveTime: 503734  totalTime: 504833  modelSize: 72264  readTime: 8 size: 15