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