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