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