(1,30) (2,13) (3,24) (4,18) (5,17) (6,7) (8,9) (10,19) (11,16) (12,22) (14,27) (15,20) (21,29) (23,25) (26,28) 
nodes: 21016  conflicts: 48  modelTime: 927  solveTime: 79931  totalTime: 80869  modelSize: 72266  readTime: 11 size: 15