(1,3) (4,17) (5,27) (7,22) (8,19) (10,24) (11,28) (12,16) (13,25) (14,21) (15,20) (23,30) (26,29) 
nodes: 13519  conflicts: 105  modelTime: 926  solveTime: 45204  totalTime: 46173  modelSize: 72266  readTime: 43 size: 13