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