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