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