(1,3) (2,29) (4,28) (6,25) (7,30) (8,16) (9,19) (10,24) (11,26) (12,21) (13,27) (14,18) (15,20) 
nodes: 6233  conflicts: 50  modelTime: 941  solveTime: 19880  totalTime: 20833  modelSize: 72262  readTime: 12 size: 13