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