(1,22) (2,29) (3,19) (5,24) (6,26) (7,21) (8,27) (9,17) (10,18) (11,16) (12,23) (13,25) (14,30) (15,20) 
nodes: 4268  conflicts: 32  modelTime: 657  solveTime: 7410  totalTime: 8073  modelSize: 41293  readTime: 6 size: 14