(1,30) (2,21) (4,24) (5,26) (6,29) (7,28) (8,25) (9,16) (11,27) (12,23) (13,22) (14,18) (15,19) 
nodes: 6217  conflicts: 43  modelTime: 660  solveTime: 11059  totalTime: 11725  modelSize: 41298  readTime: 6 size: 13