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