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