(1,17) (2,23) (4,20) (5,18) (7,22) (8,25) (9,29) (10,28) (11,21) (12,26) (13,30) (14,16) (15,27) 
nodes: 4402  conflicts: 30  modelTime: 686  solveTime: 12555  totalTime: 13247  modelSize: 41298  readTime: 6 size: 13