(1,18) (2,26) (4,25) (5,10) (6,7) (9,30) (11,22) (12,24) (13,14) (15,20) (16,17) (19,23) (21,29) (27,28) 
nodes: 421397  conflicts: 55  modelTime: 1724  solveTime: 1934142  totalTime: 1935886  modelSize: 72262  readTime: 19 size: 14