(1,19) (2,21) (3,16) (4,22) (6,30) (7,25) (8,24) (9,23) (10,17) (11,18) (12,26) (13,28) (14,20) (15,27) 
nodes: 1451  conflicts: 25  modelTime: 659  solveTime: 2647  totalTime: 3312  modelSize: 41298  readTime: 6 size: 14