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