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