(1,2) (3,16) (4,9) (5,14) (6,24) (7,12) (8,15) (10,29) (11,27) (13,23) (18,28) (19,22) (20,21) (25,26) 
nodes: 160153  conflicts: 60  modelTime: 953  solveTime: 918423  totalTime: 919387  modelSize: 72275  readTime: 11 size: 14