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