(1,14) (2,24) (4,5) (6,11) (7,18) (8,20) (9,10) (12,15) (16,28) (17,29) (19,23) (22,27) (25,26) 
nodes: 2559  conflicts: 70  modelTime: 948  solveTime: 7816  totalTime: 8796  modelSize: 72263  readTime: 32 size: 13