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