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