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