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