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