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