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