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