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