(1,17) (3,25) (4,19) (5,22) (6,16) (7,23) (8,30) (9,29) (10,28) (12,21) (13,20) (14,27) (15,26) 
nodes: 2563  conflicts: 41  modelTime: 666  solveTime: 7094  totalTime: 7767  modelSize: 41298  readTime: 7 size: 13