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