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