(2,24) (3,13) (4,7) (5,15) (6,28) (8,18) (9,19) (10,29) (11,26) (12,22) (14,23) (16,25) (17,27) (20,30) 
nodes: 125099  conflicts: 24  modelTime: 1194  solveTime: 498431  totalTime: 499644  modelSize: 72269  readTime: 19 size: 14