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