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