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