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