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