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