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