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