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