(1,2) (3,29) (4,12) (5,14) (6,28) (7,21) (8,20) (9,16) (10,27) (11,15) (13,25) (17,30) (18,22) (19,24) (23,26) 
nodes: 6107  conflicts: 61  modelTime: 945  solveTime: 18507  totalTime: 19463  modelSize: 72265  readTime: 11 size: 15