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