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