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