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