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