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