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