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