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